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(5, 6, 2022)=date(5, 6, 2022) | | 3: Found: date(5, 6, 2022)=date(5, 6, 2022) |
| 4: Searching: increment_day(date(5, 6, 2022), Candidate Variable_0) | | 4: Searching: increment_day(date(5, 6, 2022), Candidate Variable_0) |
| 5: Searching: days_in_month(5, Candidate Variable_1) | | 5: Searching: days_in_month(5, Candidate Variable_1) |
| 6: Found: days_in_month(5, 31) | | 6: Found: days_in_month(5, 31) |
| 7: Searching: is_leap_year(2022) | | 7: Searching: is_leap_year(2022) |
| 8: Searching: 2022 mod 4=:=0 | | 8: Searching: 2022 mod 4=:=0 |
| 9: Fail: 2022 mod 4=:=0 | {'Result': 'Search Failed'} | | 9: Fail: 2022 mod 4=:=0 | {'Result': 'Search Failed'} |
| | | |
| Looking for other paths: Redo: is_leap_year(2022) | | Looking for other paths: Redo: is_leap_year(2022) |
| | | |
| | | |
| [Path 2]: | | [Path 2]: |
| 10: Searching: 2022 mod 400=:=0 | | 10: Searching: 2022 mod 400=:=0 |
| 11: Fail: 2022 mod 400=:=0 | {'Result': 'Search Failed'} | | 11: Fail: 2022 mod 400=:=0 | {'Result': 'Search Failed'} |
| 12: Fail: is_leap_year(2022) | {'Result': 'Search Failed'} | | 12: Fail: is_leap_year(2022) | {'Result': 'Search Failed'} |
| | | |
| Looking for other paths: Redo: increment_day(date(5, 6, 2022), Candidate Variable_0) | | Looking for other paths: Redo: increment_day(date(5, 6, 2022), Candidate Variable_0) |
| | | |
| | | |
| [Path 3]: | | [Path 3]: |
n | 13: Searching: _24426=31 | n | 13: Searching: _23294=31 |
| 14: Found: 31=31 | | 14: Found: 31=31 |
n | | n | 15: Searching: 6<31 |
| | | 16: Found: 6<31 |
| 15: Searching: _25658 is 6+1 | | 17: Searching: _25750 is 6+1 |
| 16: Found: 7 is 6+1 | | 18: Found: 7 is 6+1 |
| 17: Searching: 7=<31 | | |
| 18: Found: 7=<31 | | |
| 19: Searching: _17690=date | | 19: Searching: _16558=date |
| 20: Found: date(5, 7, 2022)=date(5, 7, 2022) | | 20: Found: date(5, 7, 2022)=date(5, 7, 2022) |
| 21: Found: increment_day(date(5, 6, 2022), date(5, 7, 2022)) | | 21: Found: increment_day(date(5, 6, 2022), date(5, 7, 2022)) |
n | 22: Comment: The date tomorrow is _29968/_29974/_29980 | n | 22: Comment: The date tomorrow is _28822/_28828/_28834 |
| 23: Searching: date(5, 7, 2022)=date(_29968, Candidate Variable_2, Candidate Variable_3) | | 23: Searching: date(5, 7, 2022)=date(_28822, Candidate Variable_2, Candidate Variable_3) |
| 24: Found: date(5, 7, 2022)=date(5, 7, 2022) | | 24: Found: date(5, 7, 2022)=date(5, 7, 2022) |
| 25: Found: query | {'Result': 'truth = True'} | | 25: Found: query | {'Result': 'truth = True'} |
t | | t | |