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 | | n | 2: Searching: _15324=date |
| | | 3: Found: date(2, 2, 2020)=date(2, 2, 2020) |
| 2: Searching: subtract_year(date(2, 2, 2020), Candidate Variable_0) | | 4: Searching: subtract_year(date(2, 2, 2020), Candidate Variable_0) |
| 3: Searching: _16456 is 2020-1 | | 5: Searching: _17178 is 2020+ -1 |
| 4: Found: 2019 is 2020-1 | | 6: Found: 2019 is 2020+ -1 |
| 5: Searching: 2=2 | | 7: Searching: 2=2 |
| 6: Found: 2=2 | | 8: Found: 2=2 |
| 7: Searching: _19532 is 2+ -1 | | 9: Searching: 2>28 |
| 8: Found: 1 is 2+ -1 | | 10: Fail: 2>28 | {'Result': 'Search Failed'} |
| 9: Searching: _17690=date | | |
| 10: Found: date(2, 1, 2019)=date(2, 1, 2019) | | |
| 11: Found: subtract_year(date(2, 2, 2020), date(2, 1, 2019)) | | |
| 12: Comment: The date one year ago is: _23944/_23950/_23956 | | |
| 13: Searching: date(2, 1, 2019)=date(_23944, Candidate Variable_1, Candidate Variable_2) | | |
| 14: Found: date(2, 1, 2019)=date(2, 1, 2019) | | |
| 15: Found: query | {'Result': 'truth = True'} | | |
| | | |
| Looking for other paths: Redo: subtract_year(date(2, 2, 2020), Candidate Variable_0) | | Looking for other paths: Redo: subtract_year(date(2, 2, 2020), Candidate Variable_0) |
| | | |
| | | |
| [Path 2]: | | [Path 2]: |
t | 16: Searching: 1>1 | t | 11: Searching: _21464=2 |
| 17: Fail: 1>1 | {'Result': 'Search Failed'} | | 12: Found: 2=2 |
| 18: Fail: subtract_year(date(2, 2, 2020), Candidate Variable_0) | {'Result': 'Search Failed'} | | 13: Searching: _22690=2 |
| 19: Fail: query | {'Result': 'Search Failed'} | | 14: Found: 2=2 |
| | | 15: Searching: _16558=date |
| | | 16: Found: date(2, 2, 2019)=date(2, 2, 2019) |
| | | 17: Found: subtract_year(date(2, 2, 2020), date(2, 2, 2019)) |
| | | 18: Comment: The date one year ago is: _25762/_25768/_25774 |
| | | 19: Searching: date(2, 2, 2019)=date(_25762, Candidate Variable_1, Candidate Variable_2) |
| | | 20: Found: date(2, 2, 2019)=date(2, 2, 2019) |
| | | 21: Found: query | {'Result': 'truth = True'} |
| | | |