f | [Path 1]: | f | [Path 1]: |
t | 0: Start of execution: Beginning Search | t | 0: Start of execution: Beginning Search |
| 1: Searching: query(Candidate Variable_0) | | 1: Call: query(Candidate Variable_0) |
| 2: Searching: query_passenger_count(Candidate Variable_0) | | 2: Call: query_passenger_count(Candidate Variable_0) |
| 3: Searching: train_passenger_count(172, 13, 47, 38, Candidate Variable_0) | | 3: Call: train_passenger_count(172, 13, 47, 38, Candidate Variable_0) |
| 4: Searching: _14532 is 13-47 | | 4: Call: _15132 is 13-47 |
| 5: Found: -34 is 13-47 | | 5: Exit: -34 is 13-47 |
| 6: Searching: _16356 is 172+-34 | | 6: Call: _16364 is 172+ -34 |
| 7: Found: 138 is 172+-34 | | 7: Exit: 138 is 172+ -34 |
| 8: Searching: _16996 is 138-38 | | 8: Call: _17596 is 138-38 |
| 9: Found: 100 is 138-38 | | 9: Exit: 100 is 138-38 |
| | | 10: Call: _5830 is 100 |
| | | 11: Exit: 100 is 100 |
| 10: Found: train_passenger_count(172, 13, 47, 38, 100) | | 12: Exit: train_passenger_count(172, 13, 47, 38, 100) |
| 11: Found: query_passenger_count(100) | | 13: Exit: query_passenger_count(100) |
| 12: Found: query(100) | {'Result': 'Answer = 100'} | | 14: Exit: query(100) | {'Result': 'Answer = 100'} |
| | | |