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: additional_weeks_needed(Candidate Variable_0) | | 2: Searching: additional_weeks_needed(Candidate Variable_0) |
n | 3: Searching: _14512=200 | n | 3: Searching: _14508=200 |
| 4: Found: 200=200 | | 4: Found: 200=200 |
n | 5: Searching: _15738=12 | n | 5: Searching: _15734=12 |
| 6: Found: 12=12 | | 6: Found: 12=12 |
n | 7: Searching: _16964=10 | n | 7: Searching: _16960=10 |
| 8: Found: 10=10 | | 8: Found: 10=10 |
| 9: Searching: toothpicks_saved(12, 10, Candidate Variable_1) | | 9: Searching: toothpicks_saved(12, 10, Candidate Variable_1) |
n | 10: Searching: _18206 is 12*10 | n | 10: Searching: _18186 is 12*10 |
| 11: Found: 120 is 12*10 | | 11: Found: 120 is 12*10 |
| 12: Found: toothpicks_saved(12, 10, 120) | | 12: Found: toothpicks_saved(12, 10, 120) |
| 13: Searching: toothpicks_needed(200, 120, Candidate Variable_2) | | 13: Searching: toothpicks_needed(200, 120, Candidate Variable_2) |
n | 14: Searching: _21896 is 200-120 | n | 14: Searching: _20650 is 200-120 |
| 15: Found: 80 is 200-120 | | 15: Found: 80 is 200-120 |
| 16: Found: toothpicks_needed(200, 120, 80) | | 16: Found: toothpicks_needed(200, 120, 80) |
| 17: Searching: weeks_needed(80, 10, Candidate Variable_0) | | 17: Searching: weeks_needed(80, 10, Candidate Variable_0) |
n | 18: Searching: _25598 is ceil(80/10) | n | 18: Searching: _5830 is ceil |
| 19: Found: 8 is ceil(80/10) | | 19: Found: 8 is ceil |
| 20: Found: weeks_needed(80, 10, 8) | | 20: Found: weeks_needed(80, 10, 8) |
| 21: Found: additional_weeks_needed(8) | | 21: Found: additional_weeks_needed(8) |
| 22: Found: query(8) | {'Result': 'WeeksNeeded = 8'} | | 22: Found: query(8) | {'Result': 'WeeksNeeded = 8'} |
t | | t | |