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: subtract_days(date(10, 16, 1924), 10, Candidate Variable_0) | | 4: Searching: subtract_days(date(10, 16, 1924), 10, Candidate Variable_0) |
| 5: Searching: 10>0 | | 5: Searching: 10>0 |
| 6: Found: 10>0 | | 6: Found: 10>0 |
| 7: Searching: subtract_one_day(date(10, 16, 1924), Candidate Variable_1) | | 7: Searching: subtract_one_day(date(10, 16, 1924), Candidate Variable_1) |
| 8: Searching: 16>1 | | 8: Searching: 16>1 |
| 9: Found: 16>1 | | 9: Found: 16>1 |
n | 10: Searching: _21476 is 16-1 | n | 10: Searching: _19018 is 16-1 |
| 11: Found: 15 is 16-1 | | 11: Found: 15 is 16-1 |
| 12: Found: subtract_one_day(date(10, 16, 1924), date(10, 15, 1924)) | | 12: Found: subtract_one_day(date(10, 16, 1924), date(10, 15, 1924)) |
n | 13: Searching: _24552 is 10+ -1 | n | 13: Searching: _22094 is 10+ -1 |
| 14: Found: 9 is 10+ -1 | | 14: Found: 9 is 10+ -1 |
| 15: Searching: subtract_days(date(10, 15, 1924), 9, Candidate Variable_0) | | 15: Searching: subtract_days(date(10, 15, 1924), 9, Candidate Variable_0) |
| 16: Searching: 9>0 | | 16: Searching: 9>0 |
| 17: Found: 9>0 | | 17: Found: 9>0 |
| 18: Searching: subtract_one_day(date(10, 15, 1924), Candidate Variable_2) | | 18: Searching: subtract_one_day(date(10, 15, 1924), Candidate Variable_2) |
| 19: Searching: 15>1 | | 19: Searching: 15>1 |
| 20: Found: 15>1 | | 20: Found: 15>1 |
n | 21: Searching: _30688 is 15-1 | n | 21: Searching: _25778 is 15-1 |
| 22: Found: 14 is 15-1 | | 22: Found: 14 is 15-1 |
| 23: Found: subtract_one_day(date(10, 15, 1924), date(10, 14, 1924)) | | 23: Found: subtract_one_day(date(10, 15, 1924), date(10, 14, 1924)) |
n | 24: Searching: _33764 is 9+ -1 | n | 24: Searching: _28854 is 9+ -1 |
| 25: Found: 8 is 9+ -1 | | 25: Found: 8 is 9+ -1 |
| 26: Searching: subtract_days(date(10, 14, 1924), 8, Candidate Variable_0) | | 26: Searching: subtract_days(date(10, 14, 1924), 8, Candidate Variable_0) |
| 27: Searching: 8>0 | | 27: Searching: 8>0 |
| 28: Found: 8>0 | | 28: Found: 8>0 |
| 29: Searching: subtract_one_day(date(10, 14, 1924), Candidate Variable_3) | | 29: Searching: subtract_one_day(date(10, 14, 1924), Candidate Variable_3) |
| 30: Searching: 14>1 | | 30: Searching: 14>1 |
| 31: Found: 14>1 | | 31: Found: 14>1 |
n | 32: Searching: _39900 is 14-1 | n | 32: Searching: _32538 is 14-1 |
| 33: Found: 13 is 14-1 | | 33: Found: 13 is 14-1 |
| 34: Found: subtract_one_day(date(10, 14, 1924), date(10, 13, 1924)) | | 34: Found: subtract_one_day(date(10, 14, 1924), date(10, 13, 1924)) |
n | 35: Searching: _42976 is 8+ -1 | n | 35: Searching: _35614 is 8+ -1 |
| 36: Found: 7 is 8+ -1 | | 36: Found: 7 is 8+ -1 |
| 37: Searching: subtract_days(date(10, 13, 1924), 7, Candidate Variable_0) | | 37: Searching: subtract_days(date(10, 13, 1924), 7, Candidate Variable_0) |
| 38: Searching: 7>0 | | 38: Searching: 7>0 |
| 39: Found: 7>0 | | 39: Found: 7>0 |
| 40: Searching: subtract_one_day(date(10, 13, 1924), Candidate Variable_4) | | 40: Searching: subtract_one_day(date(10, 13, 1924), Candidate Variable_4) |
| 41: Searching: 13>1 | | 41: Searching: 13>1 |
| 42: Found: 13>1 | | 42: Found: 13>1 |
n | 43: Searching: _49112 is 13-1 | n | 43: Searching: _39298 is 13-1 |
| 44: Found: 12 is 13-1 | | 44: Found: 12 is 13-1 |
| 45: Found: subtract_one_day(date(10, 13, 1924), date(10, 12, 1924)) | | 45: Found: subtract_one_day(date(10, 13, 1924), date(10, 12, 1924)) |
n | 46: Searching: _52188 is 7+ -1 | n | 46: Searching: _42374 is 7+ -1 |
| 47: Found: 6 is 7+ -1 | | 47: Found: 6 is 7+ -1 |
| 48: Searching: subtract_days(date(10, 12, 1924), 6, Candidate Variable_0) | | 48: Searching: subtract_days(date(10, 12, 1924), 6, Candidate Variable_0) |
| 49: Searching: 6>0 | | 49: Searching: 6>0 |
| 50: Found: 6>0 | | 50: Found: 6>0 |
| 51: Searching: subtract_one_day(date(10, 12, 1924), Candidate Variable_5) | | 51: Searching: subtract_one_day(date(10, 12, 1924), Candidate Variable_5) |
| 52: Searching: 12>1 | | 52: Searching: 12>1 |
t | 53: Found: 12 | t | 53: Found: 12>1 |
| | | 54: Searching: _46058 is 12-1 |
| | | 55: Found: 11 is 12-1 |
| | | 56: Found: subtract_one_day(date(10, 12, 1924), date(10, 11, 1924)) |
| | | 57: Searching: _49134 is 6+ -1 |
| | | 58: Found: 5 is 6+ -1 |
| | | 59: Searching: subtract_days(date(10, 11, 1924), 5, Candidate Variable_0) |
| | | 60: Searching: 5>0 |
| | | 61: Found: 5>0 |
| | | 62: Searching: subtract_one_day(date(10, 11, 1924), Candidate Variable_6) |
| | | 63: Searching: 11>1 |
| | | 64: Found: 11>1 |
| | | 65: Searching: _52818 is 11-1 |
| | | 66: Found: 10 is 11-1 |
| | | 67: Found: subtract_one_day(date(10, 11, 1924), date(10, 10, 1924)) |
| | | 68: Searching: _55894 is 5+ -1 |
| | | 69: Found: 4 is 5+ -1 |
| | | 70: Searching: subtract_days(date(10, 10, 1924), 4, Candidate Variable_0) |
| | | 71: Searching: 4>0 |
| | | 72: Found: 4>0 |
| | | 73: Searching: subtract_one_day(date(10, 10, 1924), Candidate Variable_7) |
| | | 74: Searching: 10>1 |
| | | 75: Found: 10>1 |
| | | 76: Searching: _59578 is 10-1 |
| | | 77: Found: 9 is 10-1 |
| | | 78: Found: subtract_one_day(date(10, 10, 1924), date(10, 9, 1924)) |
| | | 79: Searching: _62654 is 4+ -1 |
| | | 80: Found: 3 is 4+ -1 |
| | | 81: Searching: subtract_days(date(10, 9, 1924), 3, Candidate Variable_0) |
| | | 82: Searching: 3>0 |
| | | 83: Found: 3>0 |
| | | 84: Searching: subtract_one_day(date(10, 9, 1924), Candidate Variable_8) |
| | | 85: Searching: 9>1 |
| | | 86: Found: 9>1 |
| | | 87: Searching: _1340 is 9-1 |
| | | 88: Found: 8 is 9-1 |
| | | 89: Found: subtract_one_day(date(10, 9, 1924), date(10, 8, 1924)) |
| | | 90: Searching: _4416 is 3+ -1 |
| | | 91: Found: 2 is 3+ -1 |
| | | 92: Searching: subtract_days(date(10, 8, 1924), 2, Candidate Variable_9) |
| | | 93: Searching: 2>0 |
| | | 94: Found: 2>0 |
| | | 95: Searching: subtract_one_day(date(10, 8, 1924), Candidate Variable_10) |
| | | 96: Searching: 8>1 |
| | | 97: Found: 8>1 |
| | | 98: Searching: _8100 is 8-1 |
| | | 99: Found: 7 is 8-1 |
| | | 100: Found: subtract_one_day(date(10, 8, 1924), date(10, 7, 1924)) |
| | | 101: Searching: _11176 is 2+ -1 |
| | | 102: Found: 1 is 2+ -1 |
| | | 103: Searching: subtract_days(date(10, 7, 1924), 1, Candidate Variable_9) |
| | | 104: Searching: 1>0 |
| | | 105: Found: 1>0 |
| | | 106: Searching: subtract_one_day(date(10, 7, 1924), Candidate Variable_11) |
| | | 107: Searching: 7>1 |
| | | 108: Found: 7>1 |
| | | 109: Searching: _14860 is 7-1 |
| | | 110: Found: 6 is 7-1 |
| | | 111: Found: subtract_one_day(date(10, 7, 1924), date(10, 6, 1924)) |
| | | 112: Searching: _17936 is 1+ -1 |
| | | 113: Found: 0 is 1+ -1 |
| | | 114: Searching: subtract_days(date(10, 6, 1924), 0, Candidate Variable_9) |
| | | 115: Found: subtract_days(date(10, 6, 1924), 0, date(10, 6, 1924)) |
| | | 116: Found: subtract_days(date(10, 7, 1924), 1, date(10, 6, 1924)) |
| | | 117: Found: subtract_days(date(10, 8, 1924), 2, date(10, 6, 1924)) |
| | | 118: Found: subtract_days(date(10, 9, 1924), 3, date(10, 6, 1924)) |
| | | 119: Found: subtract_days(date(10, 10, 1924), 4, date(10, 6, 1924)) |
| | | 120: Found: subtract_days(date(10, 11, 1924), 5, date(10, 6, 1924)) |
| | | 121: Found: subtract_days(date(10, 12, 1924), 6, date(10, 6, 1924)) |
| | | 122: Found: subtract_days(date(10, 13, 1924), 7, date(10, 6, 1924)) |
| | | 123: Found: subtract_days(date(10, 14, 1924), 8, date(10, 6, 1924)) |
| | | 124: Found: subtract_days(date(10, 15, 1924), 9, date(10, 6, 1924)) |
| | | 125: Found: subtract_days(date(10, 16, 1924), 10, date(10, 6, 1924)) |
| | | 126: Comment: The date 10 days ago was: _26556/_26562/_26568 |
| | | 127: Searching: date(10, 6, 1924)=date(_26556, Candidate Variable_12, Candidate Variable_13) |
| | | 128: Found: date(10, 6, 1924)=date(10, 6, 1924) |
| | | 129: Found: query | {'Result': 'truth = True'} |
| | | |
| | | Looking for other paths: Redo: subtract_days(date(10, 6, 1924), 0, Candidate Variable_9) |
| | | |
| | | |
| | | [Path 2]: |
| | | 130: Searching: 0>0 |
| | | 131: Fail: 0>0 | {'Result': 'Search Failed'} |
| | | 132: Fail: subtract_days(date(10, 6, 1924), 0, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 133: Fail: subtract_days(date(10, 7, 1924), 1, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 134: Fail: subtract_days(date(10, 8, 1924), 2, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 135: Fail: subtract_days(date(10, 9, 1924), 3, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 136: Fail: subtract_days(date(10, 10, 1924), 4, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 137: Fail: subtract_days(date(10, 11, 1924), 5, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 138: Fail: subtract_days(date(10, 12, 1924), 6, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 139: Fail: subtract_days(date(10, 13, 1924), 7, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 140: Fail: subtract_days(date(10, 14, 1924), 8, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 141: Fail: subtract_days(date(10, 15, 1924), 9, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 142: Fail: subtract_days(date(10, 16, 1924), 10, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 143: Fail: query | {'Result': 'Search Failed'} |
| | | |