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 |
n | 2: Searching: total_weight_thirty_clones(_3874) | n | 2: Searching: total_weight_thirty_clones(Candidate Variable_0) |
| 3: Searching: weight_of_clone(big_john_studd_clone, _4004) | | 3: Searching: weight_of_clone(big_john_studd_clone, Candidate Variable_1) |
| 4: Found: weight_of_clone(big_john_studd_clone, 100) | | 4: Found: weight_of_clone(big_john_studd_clone, 100) |
n | 5: Searching: _3874 is 100*30 | n | 5: Searching: _15498 is 100*30 |
| 6: Found: 3000 is 100*30 | | 6: Found: 3000 is 100*30 |
n | | n | 7: Found: total_weight_thirty_clones(3000) |
| 7: Searching: can_support_weight(toyota_hilux_2019, 3000) | | 8: Searching: can_support_weight(toyota_hilux_2019, 3000) |
| 8: Searching: weight_capacity(toyota_hilux_2019, _4154) | | 9: Searching: weight_capacity(toyota_hilux_2019, Candidate Variable_2) |
| 9: Found: weight_capacity(toyota_hilux_2019, 2000) | | 10: Found: weight_capacity(toyota_hilux_2019, 2000) |
| 10: Searching: 3000=<2000 | | 11: Searching: 3000=<2000 |
| 11: Fail: 3000=<2000 | {'Result': 'Search Failed'} | | 12: Fail: 3000=<2000 | {'Result': 'Search Failed'} |
| 12: Fail: can_support_weight(toyota_hilux_2019, 3000) | {'Result': 'Search Failed'} | | 13: Fail: can_support_weight(toyota_hilux_2019, 3000) | {'Result': 'Search Failed'} |
| 13: Fail: total_weight_thirty_clones(_3874) | {'Result': 'Search Failed'} | | |
| 14: Fail: query | {'Result': 'Search Failed'} | | 14: Fail: query | {'Result': 'Search Failed'} |
t | | t | |