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) |
| 2: Searching: more_movies_than_books(17, 11, 13, 63, Candidate Variable_0) | | 2: Searching: more_movies_than_books(17, 11, 13, 63, Candidate Variable_0) |
n | 3: Searching: remaining_items(17, 11, 13, 63, _14524, _5834) | n | 3: Searching: remaining_items(17, 11, 13, 63, Candidate Variable_1, Candidate Variable_2) |
| 4: Searching: _14524 is 17-63 | | 4: Searching: _14524 is 17-63 |
| 5: Found: -46 is 17-63 | | 5: Found: -46 is 17-63 |
n | 6: Searching: _5834 is 11-13 | n | 6: Searching: _14526 is 11-13 |
| 7: Found: -2 is 11-13 | | 7: Found: -2 is 11-13 |
| 8: Found: remaining_items(17, 11, 13, 63, -46, -2) | | 8: Found: remaining_items(17, 11, 13, 63, -46, -2) |
t | 9: Searching: Candidate Variable_0 is -46--2 | t | 9: Searching: _5830 is -46- -2 |
| 10: Found: 44 is -46--2 | | 10: Found: -44 is -46- -2 |
| 11: Found: more_movies_than_books(17, 11, 13, 63, 44) | | 11: Found: more_movies_than_books(17, 11, 13, 63, -44) |
| 12: Found: query(44) | {'Result': 'Difference = 44'} | | 12: Found: query(-44) | {'Result': 'Difference = -44'} |
| | | |