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: new_speed(Candidate Variable_0) | | 2: Searching: new_speed(Candidate Variable_0) |
| 3: Searching: distance(Candidate Variable_1) | | 3: Searching: distance(Candidate Variable_1) |
| 4: Searching: original_speed(Candidate Variable_2) | | 4: Searching: original_speed(Candidate Variable_2) |
| 5: Found: original_speed(60) | | 5: Found: original_speed(60) |
| 6: Searching: original_time(Candidate Variable_3) | | 6: Searching: original_time(Candidate Variable_3) |
| 7: Found: original_time(20) | | 7: Found: original_time(20) |
n | 8: Searching: _14512 is 60*20 | n | 8: Searching: _14488 is 60*20 |
| 9: Found: 1200 is 60*20 | | 9: Found: 1200 is 60*20 |
| 10: Found: distance(1200) | | 10: Found: distance(1200) |
| 11: Searching: new_time(Candidate Variable_4) | | 11: Searching: new_time(Candidate Variable_4) |
| 12: Found: new_time(10) | | 12: Found: new_time(10) |
n | 13: Searching: _18184 is 1200/10 | n | 13: Searching: _13878 is 1200/10 |
| 14: Found: 120.0 is 1200/10 | | 14: Found: 120 is 1200/10 |
| 15: Found: new_speed(120.0) | | 15: Found: new_speed(120) |
| 16: Searching: speed_gain(Candidate Variable_5) | | 16: Searching: speed_gain(Candidate Variable_5) |
| 17: Searching: original_speed(Candidate Variable_6) | | 17: Searching: original_speed(Candidate Variable_6) |
| 18: Found: original_speed(60) | | 18: Found: original_speed(60) |
| 19: Searching: new_speed(Candidate Variable_7) | | 19: Searching: new_speed(Candidate Variable_7) |
t | | t | 20: Searching: distance(Candidate Variable_8) |
| | | 21: Searching: original_speed(Candidate Variable_9) |
| | | 22: Found: original_speed(60) |
| | | 23: Searching: original_time(Candidate Variable_10) |
| | | 24: Found: original_time(20) |
| | | 25: Searching: _24866 is 60*20 |
| | | 26: Found: 1200 is 60*20 |
| | | 27: Found: distance(1200) |
| | | 28: Searching: new_time(Candidate Variable_11) |
| | | 29: Found: new_time(10) |
| | | 30: Searching: _24256 is 1200/10 |
| | | 31: Found: 120 is 1200/10 |
| 20: Found: new_speed(120.0) | | 32: Found: new_speed(120) |
| 21: Searching: _20634 is 120.0-60 | | 33: Searching: _22428 is 120-60 |
| 22: Found: 60.0 is 120.0-60 | | 34: Found: 60 is 120-60 |
| 23: Found: speed_gain(60.0) | | 35: Found: speed_gain(60) |
| 24: Found: query | {'Result': 'New Speed: 120.0 km/hr, Speed Gain: 60.0 km/hr'} | | 36: Comment: New Speed: 120 km/hr, Speed Gain: 60 km/hr |
| | | 37: Found: query | {'Result': 'truth = True'} |
| | | |