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: _16456=date | n | 2: Searching: _17290=date |
| 3: Found: date(4, 10, 1985)=date(4, 10, 1985) | | 3: Found: date(4, 10, 1985)=date(4, 10, 1985) |
n | | n | 4: Searching: _18524=date |
| | | 5: Found: date(4, 13, 1985)=date(4, 13, 1985) |
| 4: Searching: increment_days(date(4, 10, 1985), 3, Candidate Variable_0) | | 6: Searching: increment_days(date(4, 10, 1985), 3, date(4, 13, 1985)) |
| 5: Searching: 3>0 | | 7: Searching: 3>0 |
| 6: Found: 3>0 | | 8: Found: 3>0 |
| 7: Searching: _25658=3 | | 9: Searching: _21598 is 3 mod 30 |
| 8: Found: 3=3 | | 10: Found: 3 is 3 mod 30 |
| 9: Searching: increment_days_helper(date(4, 10, 1985), 3, Candidate Variable_1) | | 11: Searching: increment_days_helper(date(4, 10, 1985), 3, Candidate Variable_0) |
| 10: Searching: increment_days_helper(date(4, 10, 1985), 0, Candidate Variable_2) | | |
| 11: Searching: 10=30 | | 12: Searching: 3>0 |
| | | 13: Found: 3>0 |
| | | 14: Searching: _24686 is 10+1 |
| | | 15: Found: 11 is 10+1 |
| | | 16: Searching: 4=12 |
| 12: Fail: 10=30 | {'Result': 'Search Failed'} | | 17: Fail: 4=12 | {'Result': 'Search Failed'} |
| | | |
n | Looking for other paths: Redo: increment_days_helper(date(4, 10, 1985), 3, Candidate Variable_1) | n | Looking for other paths: Redo: increment_days_helper(date(4, 10, 1985), 3, Candidate Variable_0) |
| | | |
| | | |
| [Path 2]: | | [Path 2]: |
t | 13: Searching: _25664=27 | t | |
| 14: Found: 27=30 | | |
| 15: Searching: _27598 is 10+1 | | |
| 16: Found: 11 is 10+1 | | |
| 17: Searching: _18406=date | | 18: Searching: _22838=date |
| 18: Found: date(4, 11, 1985)=date(4, 11, 1985) | | 19: Found: date(4, 11, 1985)=date(4, 11, 1985) |
| 19: Found: increment_days_helper(date(4, 10, 1985), 3, date(4, 11, 1985)) | | 20: Searching: _28990 is 3+ -1 |
| | | 21: Found: 2 is 3+ -1 |
| 20: Searching: increment_days_helper(date(4, 11, 1985), 0, Candidate Variable_3) | | 22: Searching: increment_days_helper(date(4, 11, 1985), 2, Candidate Variable_1) |
| 21: Searching: 11=30 | | 23: Searching: 2>0 |
| 22: Found: 11=30 | | 24: Found: 2>0 |
| | | 25: Searching: _32062 is 11+1 |
| | | 26: Found: 12 is 11+1 |
| | | 27: Searching: 4=12 |
| | | 28: Fail: 4=12 | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: increment_days_helper(date(4, 11, 1985), 2, Candidate Variable_2) |
| | | |
| | | |
| | | [Path 3]: |
| 23: Searching: _20338=date | | 29: Searching: _35128=date |
| 24: Found: date(4, 11, 1985)=date(4, 11, 1985) | | 30: Found: date(4, 12, 1985)=date(4, 12, 1985) |
| 25: Found: increment_days_helper(date(4, 11, 1985), 0, date(4, 11, 1985)) | | |
| 26: Found: increment_days(date(4, 10, 1985), 3, date(4, 11, 1985)) | | |
| 27: Searching: increment_days(date(4, 11, 1985), 7, Candidate Variable_4) | | |
| 28: Searching: 7>0 | | |
| 29: Found: 7>0 | | |
| 30: Searching: _30674 is 7 | | 31: Searching: _36368 is 2+ -1 |
| 31: Found: 7 is 7 | | 32: Found: 1 is 2+ -1 |
| 32: Searching: increment_days_helper(date(4, 11, 1985), 7, Candidate Variable_5) | | |
| 33: Searching: increment_days_helper(date(4, 11, 1985), 0, Candidate Variable_6) | | 33: Searching: increment_days_helper(date(4, 12, 1985), 1, Candidate Variable_3) |
| 34: Searching: 11=30 | | 34: Searching: 1>0 |
| 35: Found: 11=30 | | 35: Found: 1>0 |
| | | 36: Searching: _39440 is 12+1 |
| | | 37: Found: 13 is 12+1 |
| | | 38: Searching: 4=12 |
| | | 39: Fail: 4=12 | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: increment_days_helper(date(4, 12, 1985), 1, Candidate Variable_4) |
| | | |
| | | |
| | | [Path 4]: |
| 36: Searching: _20338=date | | 40: Searching: _42506=date |
| 37: Found: date(4, 11, 1985)=date(4, 11, 1985) | | 41: Found: date(4, 13, 1985)=date(4, 13, 1985) |
| 38: Found: increment_days_helper(date(4, 11, 1985), 0, date(4, 11, 1985)) | | |
| 39: Found: increment_days(date(4, 11, 1985), 7, date(4, 11, 1985)) | | |
| 40: Found: increment_days(date(4, 10, 1985), 3, date(4, 11, 1985)) | | |
| 41: Searching: _46618 is 7+ -1 | | 42: Searching: _43746 is 1+ -1 |
| 42: Found: 6 is 7+ -1 | | 43: Found: 0 is 1+ -1 |
| 43: Searching: increment_days(date(4, 11, 1985), 6, Candidate Variable_7 | | 44: Searching: increment_days_helper(date(4, 13, 1985), 0, Candidate Variable_5) |
| | | 45: Searching: 0>0 |
| | | 46: Fail: 0>0 | {'Result': 'Search Failed'} |
| | | 47: Fail: increment_days_helper(date(4, 13, 1985), 0, Candidate Variable_6) | {'Result': 'Search Failed'} |
| | | 48: Fail: increment_days_helper(date(4, 12, 1985), 1, Candidate Variable_7) | {'Result': 'Search Failed'} |
| | | 49: Fail: increment_days_helper(date(4, 11, 1985), 2, Candidate Variable_8) | {'Result': 'Search Failed'} |
| | | 50: Fail: increment_days_helper(date(4, 10, 1985), 3, Candidate Variable_0) | {'Result': 'Search Failed'} |
| | | 51: Fail: increment_days(date(4, 10, 1985), 3, date(4, 13, 1985)) | {'Result': 'Search Failed'} |
| | | 52: Fail: query | {'Result': 'Search Failed'} |
| | | |