f | [Path 1]: | f | [Path 1]: |
| 0: Start of execution: Beginning Search | | 0: Start of execution: Beginning Search |
n | 1: Searching: query(ActualNumber) | n | 1: Searching: query(Candidate Variable_0) |
| 2: Searching: bookmark_sold(72, 9/2) | | 2: Searching: bookmark_sold(72, 9/2) |
n | 3: Searching: _14540 is 9/2 / 72 | n | 3: Fail: bookmark_sold(72, 9/2) | {'Result': 'Search Failed'} |
| 4: Found: 0.25 is 9/2 / 72 | | 4: Fail: query(Candidate Variable_0) | {'Result': 'Search Failed'} |
| 5: Searching: _15772 is 72*0.25 | | |
| 6: Found: 18 is 72*0.25 | | |
| 7: Found: bookmark_sold(72, 9/2) = 18 | | |
| 8: Found: query(18) | {'Result': 'ActualNumber = 18'} | | |
| | | |
t | The search paths and the respective answers are checked and found to be correct. | t | |