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(3, 5, 1973)=date(3, 5, 1973) | | 3: Found: date(3, 5, 1973)=date(3, 5, 1973) |
| 4: Searching: increment_days(date(3, 5, 1973), Candidate Variable_0) | | 4: Searching: increment_days(date(3, 5, 1973), Candidate Variable_0) |
| 5: Searching: days_in_month(3, Candidate Variable_1) | | 5: Searching: days_in_month(3, Candidate Variable_1) |
| 6: Found: days_in_month(3, 31) | | 6: Found: days_in_month(3, 31) |
n | 7: Searching: _19022 is 5+24 | n | 7: Searching: _18404 is 5+24 |
| 8: Found: 29 is 5+24 | | 8: Found: 29 is 5+24 |
| 9: Searching: 29=<31 | | 9: Searching: 29=<31 |
| 10: Found: 29=<31 | | 10: Found: 29=<31 |
n | 11: Searching: _16564=date | n | 11: Searching: _16558=date |
| 12: Found: date(3, 29, 1973)=date(3, 29, 1973) | | 12: Found: date(3, 29, 1973)=date(3, 29, 1973) |
| 13: Found: increment_days(date(3, 5, 1973), date(3, 29, 1973)) | | 13: Found: increment_days(date(3, 5, 1973), date(3, 29, 1973)) |
n | 14: Comment: The date 24 hours later is _23944/_23950/_23956 | n | 14: Comment: The date 24 hours later is: _22700/_22706/_22712 |
| 15: Searching: date(3, 29, 1973)=date(_23944, Candidate Variable_2, Candidate Variable_3) | | 15: Searching: date(3, 29, 1973)=date(_22700, Candidate Variable_2, Candidate Variable_3) |
| 16: Found: date(3, 29, 1973)=date(3, 29, 1973) | | 16: Found: date(3, 29, 1973)=date(3, 29, 1973) |
| 17: Found: query | {'Result': 'truth = True'} | | 17: Found: query | {'Result': 'truth = True'} |
| | | |
t | Looking for other paths: Redo: increment_days(date(3, 5, 1973), Candidate Variable_0) | t | |
| | | |
| [Path 2]: | | |
| 18: Searching: days_in_month(3, 5) | | |
| 19: Fail: days_in_month(3, 5) | {'Result': 'Search Failed'} | | |
| 20: Fail: increment_days(date(3, 5, 1973), Candidate Variable_0) | {'Result': 'Search Failed'} | | |
| 21: Fail: query | {'Result': 'Search Failed'} | | |