f | [Path 1]: | f | [Path 1]: |
| 0: Start of execution: Beginning Search | | 0: Start of execution: Beginning Search |
| 1: Searching: query | | 1: Searching: query |
| 2: Searching: time(Candidate Variable_0) | | 2: Searching: time(Candidate Variable_0) |
| 3: Searching: distance(Candidate Variable_1) | | 3: Searching: distance(Candidate Variable_1) |
| 4: Found: distance(15) | | 4: Found: distance(15) |
| 5: Searching: relative_speed(Candidate Variable_2) | | 5: Searching: relative_speed(Candidate Variable_2) |
| 6: Searching: speed_car1(Candidate Variable_3) | | 6: Searching: speed_car1(Candidate Variable_3) |
| 7: Found: speed_car1(55) | | 7: Found: speed_car1(55) |
| 8: Searching: speed_car2(Candidate Variable_4) | | 8: Searching: speed_car2(Candidate Variable_4) |
| 9: Found: speed_car2(52) | | 9: Found: speed_car2(52) |
n | 10: Searching: _14512 is 55-52 | n | 10: Searching: _17332 is 55-52 |
| 11: Found: 3 is 55-52 | | 11: Found: 3 is 55-52 |
| 12: Found: relative_speed(3) | | 12: Found: relative_speed(3) |
t | 13: Searching: _5834 is 15/3 | t | 13: Searching: _13878 is 15/3 |
| 14: Found: 5.0 is 15/3 | | 14: Found: 5 is 15/3 |
| 15: Found: time(5.0) | | 15: Found: time(5) |
| | | 16: Comment: The time is 5 hours. |
| 16: Found: query | {'Result': 'truth = true'} | | 17: Found: query | {'Result': 'truth = True'} |
| ``` | | |