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

Legends
Colors
Added
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op