f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 0: Start of execution: Beginning Search
3 1: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
4 2: Searching: time_difference(Candidate Variable_0)4 2: Searching: time_difference(Candidate Variable_0)
5 3: Searching: hot_day_time(3, Candidate Variable_1)5 3: Searching: hot_day_time(3, Candidate Variable_1)
6 4: Searching: total_time(3, 34, Candidate Variable_1)6 4: Searching: total_time(3, 34, Candidate Variable_1)
n7 5: Searching: _14520 is 3*34n7 5: Searching: _14508 is 3*34
8 6: Found: 102 is 3*348 6: Found: 102 is 3*34
9 7: Found: total_time(3, 34, 102)9 7: Found: total_time(3, 34, 102)
10 8: Found: hot_day_time(3, 102)10 8: Found: hot_day_time(3, 102)
11 9: Searching: cold_day_time(3, Candidate Variable_2)11 9: Searching: cold_day_time(3, Candidate Variable_2)
12 10: Searching: total_time(3, 16, Candidate Variable_2)12 10: Searching: total_time(3, 16, Candidate Variable_2)
n13 11: Searching: _16976 is 3*16n13 11: Searching: _18196 is 3*16
14 12: Found: 48 is 3*1614 12: Found: 48 is 3*16
15 13: Found: total_time(3, 16, 48)15 13: Found: total_time(3, 16, 48)
16 14: Found: cold_day_time(3, 48)16 14: Found: cold_day_time(3, 48)
n17 15: Searching: _5834 is 102-48n17 15: Searching: _5830 is 102-48
18 16: Found: 54 is 102-4818 16: Found: 54 is 102-48
19 17: Found: time_difference(54)19 17: Found: time_difference(54)
20 18: Found: query(54) | {'Result': 'Difference = 54'}20 18: Found: query(54) | {'Result': 'Difference = 54'}
tt21 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op