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=38 | n | 2: Searching: _13900=38 |
| 3: Found: 38=38 | | 3: Found: 38=38 |
n | 4: Searching: _15130=42 | n | 4: Searching: _15126=42 |
| 5: Found: 42=42 | | 5: Found: 42=42 |
n | 6: Searching: _16356=49 | n | 6: Searching: _16352=49 |
| 7: Found: 49=49 | | 7: Found: 49=49 |
| 8: Searching: total_sacks(38, 42, 49, Candidate Variable_0) | | 8: Searching: total_sacks(38, 42, 49, Candidate Variable_0) |
n | 9: Searching: _18202 is 38*42 | n | 9: Searching: _18198 is 38*42 |
| 10: Found: 1596 is 38*42 | | 10: Found: 1596 is 38*42 |
n | 11: Searching: _19328 is 1596/42 | n | 11: Searching: 38 is 1596/42 |
| 12: Found: 38 is 1596/42 | | 12: Found: 38 is 1596/42 |
n | 13: Searching: _20454 is 38*49 | n | 13: Searching: _5830 is 38*49 |
| 14: Found: 1862 is 38*49 | | 14: Found: 1862 is 38*49 |
| 15: Found: total_sacks(38, 42, 49, 1862) | | 15: Found: total_sacks(38, 42, 49, 1862) |
| 16: Found: query(1862) | {'Result': 'TotalSacks = 1862'} | | 16: Found: query(1862) | {'Result': 'TotalSacks = 1862'} |
t | | t | |