f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 0: Start of execution: Beginning Search
3 1: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
tt4 2: Searching: graduates(Candidate Variable_1)
5 3: Found: graduates(950)
4 2: Searching: tickets_per_graduate(950, Candidate Variable_0)6 4: Searching: tickets_per_graduate(950, Candidate Variable_0)
5 3: Searching: total_available_tickets(_, Candidate Variable_1)7 5: Searching: total_available_tickets(Candidate Variable_2, Candidate Variable_0)
6 4: Searching: total_capacity(Candidate Variable_2)8 6: Searching: total_capacity(Candidate Variable_3)
7 5: Found: total_capacity(6000)9 7: Found: total_capacity(6000)
8 6: Searching: Graduates is 95010 8: Searching: _17560 is 950
9 7: Found: Graduates=95011 9: Found: 950 is 950
10 8: Searching: Faculty is 30012 10: Searching: _18786 is 300
11 9: Found: Faculty=30013 11: Found: 300 is 300
12 10: Searching: _14520 is 6000-(950+300)14 12: Searching: _20012 is 6000-
13 11: Found: 4750 is 6000-(950+300)15 13: Found: 4750 is 6000-
16 14: Searching: _5830 is 4750
17 15: Found: 4750 is 4750
14 12: Found: total_available_tickets(6000, 4750)18 16: Found: total_available_tickets(6000, 4750)
15 13: Searching: _5834 is floor(4750/950)19 17: Searching: _23086 is floor
16 14: Found: 5 is floor(4750/950)20 18: Found: 5 is floor
17 15: Found: tickets_per_graduate(950, 5)21 19: Searching: 4750 is 5
18 16: Found: query(5) | {'Result': 'Tickets = 5'}22 20: Fail: 4750 is 5 | {'Result': 'Search Failed'}
23 21: Fail: tickets_per_graduate(950, Candidate Variable_0) | {'Result': 'Search Failed'}
24 22: Fail: query(Candidate Variable_0) | {'Result': 'Search Failed'}
25 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op