f | [Path 1]: | f | [Path 1]: |
n | 0: Start of execution: Begining Search | n | 0: Start of execution: Beginning Search |
| 1: Searching: query | | 1: Searching: query |
| 2: Searching: can_fit_in_specific_car("Toyota Camry", 5, 3) | | 2: Searching: can_fit_in_specific_car("Toyota Camry", 5, 3) |
| 3: Searching: average_car_height(Candidate Variable_0, Candidate Variable_1, Candidate Variable_2) | | 3: Searching: average_car_height(Candidate Variable_0, Candidate Variable_1, Candidate Variable_2) |
n | 4: Searching: average_car_height(5, 5, 6) | n | 4: Found: average_car_height(5, 5, 6) |
| 5: Searching: average_car_length(Candidate Variable_3, Candidate Variable_4, Candidate Variable_5) | | 5: Searching: average_car_length(Candidate Variable_3, Candidate Variable_4, Candidate Variable_5) |
n | 6: Searching: average_car_length(15, 0, 20) | n | 6: Found: average_car_length(15, 0, 20) |
| 7: Searching: average_car_width(Candidate Variable_6, Candidate Variable_7, Candidate Variable_8) | | 7: Searching: average_car_width(Candidate Variable_6, Candidate Variable_7, Candidate Variable_8) |
n | 8: Searching: average_car_width(6, 0, 7) | n | 8: Found: average_car_width(6, 0, 7) |
| 9: Searching: can_fit_in_car(5, 3, 5, 15, 6) | | 9: Searching: can_fit_in_car(5, 3, 5, 15, 6) |
| 10: Searching: 5=<5 | | 10: Searching: 5=<5 |
n | 11: Searching: 5=<5 | n | 11: Found: 5=<5 |
| 12: Searching: 3=<15*6 | | 12: Searching: 3=<15*6 |
t | 13: Searching: 3=<15*6 | t | 13: Found: 3=<15*6 |
| 14: Fail: 3=<15*6 | {'Result': 'Search Failed'} | | 14: Found: can_fit_in_car(5, 3, 5, 15, 6) |
| 15: Fail: can_fit_in_car(5, 3, 5, 15, 6) | {'Result': 'Search Failed'} | | 15: Found: can_fit_in_specific_car("Toyota Camry", 5, 3) |
| 16: Fail: can_fit_in_specific_car("Toyota Camry", 5, 3) | {'Result': 'Search Failed'} | | 16: Found: query | {'Result': 'Yes'} |
| 17: Fail: query | {'Result': 'Search Failed'} | | |