f | [Path 1]: | f | [Path 1]: |
| 0: Start of execution: Beginning Search | | 0: Start of execution: Beginning Search |
| 1: Searching: query(Candidate Variable_0) | | 1: Searching: query(Candidate Variable_0) |
n | 2: Searching: _13904=7 | n | 2: Searching: _15690=7 |
| 3: Found: 7=7 | | 3: Found: 7=7 |
n | 4: Searching: _15130=148 | n | 4: Searching: _16916=148 |
| 5: Found: 148=148 | | 5: Found: 148=148 |
n | 6: Searching: _16356=15 | n | 6: Searching: _18142=15 |
| 7: Found: 15=15 | | 7: Found: 15=15 |
n | 8: Searching: _17582=103 | n | 8: Searching: _19368=103 |
| 9: Found: 103=103 | | 9: Found: 103=103 |
| 10: Searching: remaining_pastries(7, 148, 15, 103, Candidate Variable_0) | | 10: Searching: remaining_pastries(7, 148, 15, 103, Candidate Variable_0) |
n | 11: Searching: _19428 is 7-15 | n | 11: Searching: _21296 is 7-15 |
| 12: Found: -8 is 7-15 | | 12: Found: -8 is 7-15 |
n | 13: Searching: _19434 is 148-103 | n | 13: Searching: _7620 is 148-103 |
| 14: Found: 45 is 148-103 | | 14: Found: 45 is 148-103 |
t | 15: Found: remaining_pastries(7, 148, 15, 103, -8, 45) | t | 15: Found: remaining_pastries(7, 148, 15, 103, 45) |
| 16: Found: query(-8) | {'Result': 'RemainingPastries = 45'} | | 16: Found: query(45) | {'Result': 'RemainingPastries = 45'} |
| | | |