f1[Path 1]:f1[Path 1]:
2 0: Start of execution: Beginning Search2 0: Start of execution: Beginning Search
3 1: Searching: query3 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)
n10 8: Searching: _14512 is 60*20n10 8: Searching: _14488 is 60*20
11 9: Found: 1200 is 60*2011 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)
n15 13: Searching: _18184 is 1200/10n15 13: Searching: _13878 is 1200/10
16 14: Found: 120.0 is 1200/1016 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)
tt22 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-6035 33: Searching: _22428 is 120-60
24 22: Found: 60.0 is 120.0-6036 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