f | [Path 1]: | f | [Path 1]: |
| 0: Start of execution: Beginning Search | | 0: Start of execution: Beginning Search |
| 1: Searching: query | | 1: Searching: query |
n | 2: Searching: _15330=date | n | 2: Searching: _15324=date |
| 3: Found: date(10, 16, 1924)=date(10, 16, 1924) | | 3: Found: date(10, 16, 1924)=date(10, 16, 1924) |
| 4: Searching: add_one_day(date(10, 16, 1924), Candidate Variable_0) | | 4: Searching: add_one_day(date(10, 16, 1924), Candidate Variable_0) |
n | 5: Searching: _19022 is 16+1 | n | 5: Searching: _17178 is 16+1 |
| 6: Found: 17 is 16+1 | | 6: Found: 17 is 16+1 |
n | 7: Searching: _16564=date | n | 7: Searching: _16558=date |
| 8: Found: date(10, 17, 1924)=date(10, 17, 1924) | | 8: Found: date(10, 17, 1924)=date(10, 17, 1924) |
| 9: Found: add_one_day(date(10, 16, 1924), date(10, 17, 1924)) | | 9: Found: add_one_day(date(10, 16, 1924), date(10, 17, 1924)) |
n | 10: Comment: The date 24 hours later is: _23944/_23950/_23956 | n | 10: Comment: The date 24 hours later is: _20264/_20270/_20276 |
| 11: Searching: date(10, 17, 1924)=date(_23944, Candidate Variable_1, Candidate Variable_2) | | 11: Searching: date(10, 17, 1924)=date(_20264, Candidate Variable_1, Candidate Variable_2) |
| 12: Found: date(10, 17, 1924)=date(10, 17, 1924) | | 12: Found: date(10, 17, 1924)=date(10, 17, 1924) |
| 13: Found: query | {'Result': 'truth = True'} | | 13: Found: query | {'Result': 'truth = True'} |
| | | |
t | Looking for other paths: There are no more paths to explore. | t | |