f | [Path 1]: | f | [Path 1]: |
n | 0: Start of execution: Begining Search | n | 0: Start of execution: Beginning Search |
| 1: Searching: query(Candidate Variable_0) | | 1: Searching: query(Candidate Variable_0) |
| 2: Searching: johns_earnings | | 2: Searching: johns_earnings |
n | 3: Searching: usable_wood(80, 80, Candidate Variable_1) | n | 3: Searching: usable_wood(80, 80, wood_for_logs) |
| 4: Searching: _14512 is 80*80//100 | | 4: Searching: wood_for_logs is 80*80/100 |
| 5: Found: 48 is 80*80//100 | | 5: Fail: wood_for_logs is 80*80/100 | {'Result': 'Search Failed'} |
| 6: Found: usable_wood(80, 80, 48) | | 6: Fail: usable_wood(80, 80, wood_for_logs) | {'Result': 'Search Failed'} |
| 7: Searching: number_of_logs(48, 4, Candidate Variable_2) | | 7: Fail: johns_earnings | {'Result': 'Search Failed'} |
| 8: Searching: _16964 is 48//4 | | 8: Fail: query(Candidate Variable_0) | {'Result': 'Search Failed'} |
| 9: Found: 12 is 48//4 | | |
| 10: Found: number_of_logs(48, 4, 12) | | |
| 11: Searching: number_of_planks(12, Candidate Variable_3) | | |
| 12: Searching: _18190 is 12*5 | | |
| 13: Found: 60 is 12*5 | | |
| 14: Found: number_of_planks(12, 60) | | |
| 15: Searching: total_earnings(60, 1.2, Candidate Variable_0) | | |
| 16: Searching: _21868 is 60*1.2 | | |
| 17: Found: 72.0 is 60*1.2 | | |
| 18: Found: total_earnings(60, 1.2, 72.0) | | |
| 19: Found: johns_earnings | | |
| 20: Found: query(72.0) | {'Result': 'TotalEarnings = 72.0'} | | |
| | | |
t | | t | |
| [Path 2]: | | |
| 21: Failed attempt: number_of_logs(48, 4, 13) | | |
| 22: Failed: number_of_planks(13, Candidate Variable_3) | | |
| 23: Failed: total_earnings(65, 1.2, Candidate Variable_0) | | |