f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
4 2: Searching: can_fit_in_specific_car("Toyota Camry", 5, 3)4 2: Searching: can_fit_in_specific_car("Toyota Camry", 5, 3)
5 3: Searching: average_car_height(Candidate Variable_0, Candidate Variable_1, Candidate Variable_2)5 3: Searching: average_car_height(Candidate Variable_0, Candidate Variable_1, Candidate Variable_2)
n6 4: Searching: average_car_height(5, 5, 6)n6 4: Found: average_car_height(5, 5, 6)
7 5: Searching: average_car_length(Candidate Variable_3, Candidate Variable_4, Candidate Variable_5)7 5: Searching: average_car_length(Candidate Variable_3, Candidate Variable_4, Candidate Variable_5)
n8 6: Searching: average_car_length(15, 0, 20)n8 6: Found: average_car_length(15, 0, 20)
9 7: Searching: average_car_width(Candidate Variable_6, Candidate Variable_7, Candidate Variable_8)9 7: Searching: average_car_width(Candidate Variable_6, Candidate Variable_7, Candidate Variable_8)
n10 8: Searching: average_car_width(6, 0, 7)n10 8: Found: average_car_width(6, 0, 7)
11 9: Searching: can_fit_in_car(5, 3, 5, 15, 6)11 9: Searching: can_fit_in_car(5, 3, 5, 15, 6)
12 10: Searching: 5=<512 10: Searching: 5=<5
n13 11: Searching: 5=<5n13 11: Found: 5=<5
14 12: Searching: 3=<15*614 12: Searching: 3=<15*6
t15 13: Searching: 3=<15*6t15 13: Found: 3=<15*6
16 14: Fail: 3=<15*6 | {'Result': 'Search Failed'}16 14: Found: can_fit_in_car(5, 3, 5, 15, 6)
17 15: Fail: can_fit_in_car(5, 3, 5, 15, 6) | {'Result': 'Search Failed'}17 15: Found: can_fit_in_specific_car("Toyota Camry", 5, 3)
18 16: Fail: can_fit_in_specific_car("Toyota Camry", 5, 3) | {'Result': 'Search Failed'}18 16: Found: query | {'Result': 'Yes'}
19 17: Fail: query | {'Result': 'Search Failed'}19 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op