f | [Path 1]: | f | [Path 1]: |
| 0: Start of execution: Beginning Search | | 0: Start of execution: Beginning Search |
| 1: Searching: query(Candidate Variable_0) | | 1: Searching: query(Candidate Variable_0) |
| 2: Searching: car_trip_time(Candidate Variable_1) | | 2: Searching: car_trip_time(Candidate Variable_1) |
| 3: Searching: train_and_car_time(Candidate Variable_2) | | 3: Searching: train_and_car_time(Candidate Variable_2) |
| 4: Found: train_and_car_time(17) | | 4: Found: train_and_car_time(17) |
| 5: Searching: time_saved_by_car(Candidate Variable_3) | | 5: Searching: time_saved_by_car(Candidate Variable_3) |
| 6: Searching: train_only_extra_time(Candidate Variable_4) | | 6: Searching: train_only_extra_time(Candidate Variable_4) |
| 7: Found: train_only_extra_time(4) | | 7: Found: train_only_extra_time(4) |
n | 8: Searching: _15130 is 4 | n | 8: Searching: _17302 is 4 |
| 9: Found: 4=4 | | 9: Found: 4 is 4 |
| 10: Found: time_saved_by_car(4) | | 10: Found: time_saved_by_car(4) |
n | 11: Searching: _16356 is 17+4 | n | 11: Searching: _15474 is 17+4 |
| 12: Found: 21 is 17+4 | | 12: Found: 21 is 17+4 |
| 13: Found: car_trip_time(21) | | 13: Found: car_trip_time(21) |
t | 14: Found: query(21) | {'Result': 'Mr. Sam would have taken 21 hours traveling both ways by car.'} | t | 14: Comment: Mr. Sam would have taken 21 hours traveling both ways by car. |
| | | 15: Found: query(Candidate Variable_0) | {'Result': ['_7404']} |
| | | |