f | [Path 1]: | f | [Path 1]: |
n | 0: Start of execution: Begining Search | n | 0: Start of execution: Beginning Search |
| 1: Searching: query(Candidate Variable_0) | | 1: Searching: query(Candidate Variable_0) |
t | | t | 2: Searching: graduates(Candidate Variable_1) |
| | | 3: Found: graduates(950) |
| 2: Searching: tickets_per_graduate(950, Candidate Variable_0) | | 4: Searching: tickets_per_graduate(950, Candidate Variable_0) |
| 3: Searching: total_available_tickets(_, Candidate Variable_1) | | 5: Searching: total_available_tickets(Candidate Variable_2, Candidate Variable_0) |
| 4: Searching: total_capacity(Candidate Variable_2) | | 6: Searching: total_capacity(Candidate Variable_3) |
| 5: Found: total_capacity(6000) | | 7: Found: total_capacity(6000) |
| 6: Searching: Graduates is 950 | | 8: Searching: _17560 is 950 |
| 7: Found: Graduates=950 | | 9: Found: 950 is 950 |
| 8: Searching: Faculty is 300 | | 10: Searching: _18786 is 300 |
| 9: Found: Faculty=300 | | 11: Found: 300 is 300 |
| 10: Searching: _14520 is 6000-(950+300) | | 12: Searching: _20012 is 6000- |
| 11: Found: 4750 is 6000-(950+300) | | 13: Found: 4750 is 6000- |
| | | 14: Searching: _5830 is 4750 |
| | | 15: Found: 4750 is 4750 |
| 12: Found: total_available_tickets(6000, 4750) | | 16: Found: total_available_tickets(6000, 4750) |
| 13: Searching: _5834 is floor(4750/950) | | 17: Searching: _23086 is floor |
| 14: Found: 5 is floor(4750/950) | | 18: Found: 5 is floor |
| 15: Found: tickets_per_graduate(950, 5) | | 19: Searching: 4750 is 5 |
| 16: Found: query(5) | {'Result': 'Tickets = 5'} | | 20: Fail: 4750 is 5 | {'Result': 'Search Failed'} |
| | | 21: Fail: tickets_per_graduate(950, Candidate Variable_0) | {'Result': 'Search Failed'} |
| | | 22: Fail: query(Candidate Variable_0) | {'Result': 'Search Failed'} |
| | | |