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(1, 1, 2007)=date(1, 1, 2007) | | 3: Found: date(1, 1, 2007)=date(1, 1, 2007) |
| 4: Searching: subtract_days(date(1, 1, 2007), 10, Candidate Variable_0) | | 4: Searching: subtract_days(date(1, 1, 2007), 10, Candidate Variable_0) |
| 5: Searching: 10>0 | | 5: Searching: 10>0 |
| 6: Found: 10>0 | | 6: Found: 10>0 |
| 7: Searching: subtract_day(date(1, 1, 2007), Candidate Variable_1) | | 7: Searching: subtract_day(date(1, 1, 2007), Candidate Variable_1) |
t | 8: Searching: 1>1 | t | 8: Searching: 1=:=1 |
| 9: Found: 1>1 | | 9: Found: 1=:=1 |
| | | 10: Searching: _19016=12 |
| | | 11: Found: 12=12 |
| 10: Searching: _19024 is 1-1 | | 12: Searching: _19020 is 2007-1 |
| 11: Found: 0 is 1-1 | | 13: Found: 2006 is 2007-1 |
| | | 14: Searching: days_in_month(12, Candidate Variable_2) |
| | | 15: Found: days_in_month(12, 31) |
| 12: Found: subtract_day(date(1, 1, 2007), date(12, 31, 2006)) | | 16: Found: subtract_day(date(1, 1, 2007), date(12, 31, 2006)) |
| 13: Searching: _22100 is 10+ -1 | | 17: Searching: _24542 is 10+ -1 |
| 14: Found: 9 is 10+ -1 | | 18: Found: 9 is 10+ -1 |
| 15: Searching: subtract_days(date(12, 31, 2006), 9, Candidate Variable_0) | | 19: Searching: subtract_days(date(12, 31, 2006), 9, Candidate Variable_0) |
| 16: Searching: 9>0 | | 20: Searching: 9>0 |
| 17: Found: 9>0 | | 21: Found: 9>0 |
| 18: Searching: subtract_day(date(12, 31, 2006), Candidate Variable_2) | | 22: Searching: subtract_day(date(12, 31, 2006), Candidate Variable_3) |
| 19: Searching: 31>1 | | 23: Searching: 31>1 |
| 20: Found: 31>1 | | 24: Found: 31>1 |
| 21: Searching: _25784 is 31-1 | | 25: Searching: _28226 is 31-1 |
| 22: Found: 30 is 31-1 | | 26: Found: 30 is 31-1 |
| 23: Found: subtract_day(date(12, 31, 2006), date(12, 30, 2006)) | | 27: Found: subtract_day(date(12, 31, 2006), date(12, 30, 2006)) |
| 24: Searching: _28860 is 9+ -1 | | 28: Searching: _31302 is 9+ -1 |
| 25: Found: 8 is 9+ -1 | | 29: Found: 8 is 9+ -1 |
| 26: Searching: subtract_days(date(12, 30, 2006), 8, Candidate Variable_0) | | 30: Searching: subtract_days(date(12, 30, 2006), 8, Candidate Variable_0) |
| 27: Searching: 8>0 | | 31: Searching: 8>0 |
| 28: Found: 8>0 | | 32: Found: 8>0 |
| 29: Searching: subtract_day(date(12, 30, 2006), Candidate Variable_3) | | 33: Searching: subtract_day(date(12, 30, 2006), Candidate Variable_4) |
| 30: Searching: 30>1 | | 34: Searching: 30>1 |
| 31: Found: 30>1 | | 35: Found: 30>1 |
| 32: Searching: _32544 is 30-1 | | 36: Searching: _34986 is 30-1 |
| 33: Found: 29 is 30-1 | | 37: Found: 29 is 30-1 |
| 34: Found: subtract_day(date(12, 30, 2006), date(12, 29, 2006)) | | 38: Found: subtract_day(date(12, 30, 2006), date(12, 29, 2006)) |
| 35: Searching: _35620 is 8+ -1 | | 39: Searching: _38062 is 8+ -1 |
| 36: Found: 7 is 8+ -1 | | 40: Found: 7 is 8+ -1 |
| 37: Searching: subtract_days(date(12, 29, 2006), 7, Candidate Variable_0) | | 41: Searching: subtract_days(date(12, 29, 2006), 7, Candidate Variable_0) |
| 38: Searching: 7>0 | | 42: Searching: 7>0 |
| 39: Found: 7>0 | | 43: Found: 7>0 |
| 40: Searching: subtract_day(date(12, 29, 2006), Candidate Variable_4) | | 44: Searching: subtract_day(date(12, 29, 2006), Candidate Variable_5) |
| 41: Searching: 29>1 | | 45: Searching: 29>1 |
| 42: Found: 29>1 | | 46: Found: 29>1 |
| 43: Searching: _39304 is 29-1 | | 47: Searching: _41746 is 29-1 |
| 44: Found: 28 is 29-1 | | 48: Found: 28 is 29-1 |
| 45: Found: subtract_day(date(12, 29, 2006), date(12, 28, 2006)) | | 49: Found: subtract_day(date(12, 29, 2006), date(12, 28, 2006)) |
| 46: Searching: _42380 is 7+ -1 | | 50: Searching: _44822 is 7+ -1 |
| 47: Found: 6 is 7+ -1 | | 51: Found: 6 is 7+ -1 |
| 48: Searching: subtract_days(date(12, 28, 2006), 6, Candidate Variable_0) | | 52: Searching: subtract_days(date(12, 28, 2006), 6, Candidate Variable_0) |
| 49: Searching: 6>0 | | 53: Searching: 6>0 |
| 50: Found: 6>0 | | 54: Found: 6>0 |
| 51: Searching: subtract_day(date(12, 28, 2006), Candidate Variable_5) | | 55: Searching: subtract_day(date(12, 28, 2006), Candidate Variable_6) |
| 52: Searching: 28>1 | | 56: Searching: 28>1 |
| 53: Found: 28>1 | | 57: Found: 28>1 |
| 54: Searching: _46064 is 28-1 | | 58: Searching: _48506 is 28-1 |
| 55: Found: 27 is 28-1 | | 59: Found: 27 is 28-1 |
| 56: Found: subtract_day(date(12, 28, 2006), date(12, 27, 2006)) | | 60: Found: subtract_day(date(12, 28, 2006), date(12, 27, 2006)) |
| 57: Searching: _49140 is 6+ -1 | | 61: Searching: _51582 is 6+ -1 |
| 58: Found: 5 is 6+ -1 | | 62: Found: 5 is 6+ -1 |
| 59: Searching: subtract_days(date(12, 27, 2006), 5, Candidate Variable_0) | | 63: Searching: subtract_days(date(12, 27, 2006), 5, Candidate Variable_0) |
| 60: Searching: 5>0 | | 64: Searching: 5>0 |
| 61: Found: 5>0 | | 65: Found: 5>0 |
| 62: Searching: subtract_day(date(12, 27, 2006), Candidate Variable_6) | | 66: Searching: subtract_day(date(12, 27, 2006), Candidate Variable_7) |
| 63: Searching: 27>1 | | 67: Searching: 27>1 |
| 64: Found: 27>1 | | 68: Found: 27>1 |
| | | 69: Searching: _55266 is 27-1 |
| | | 70: Found: 26 is 27-1 |
| | | 71: Found: subtract_day(date(12, 27, 2006), date(12, 26, 2006)) |
| | | 72: Searching: _58342 is 5+ -1 |
| | | 73: Found: 4 is 5+ -1 |
| | | 74: Searching: subtract_days(date(12, 26, 2006), 4, Candidate Variable_0) |
| 65: Searching: _ | | 75: Searching: 4>0 |
| | | 76: Found: 4>0 |
| | | 77: Searching: subtract_day(date(12, 26, 2006), Candidate Variable_8) |
| | | 78: Searching: 26>1 |
| | | 79: Found: 26>1 |
| | | 80: Searching: _62026 is 26-1 |
| | | 81: Found: 25 is 26-1 |
| | | 82: Found: subtract_day(date(12, 26, 2006), date(12, 25, 2006)) |
| | | 83: Searching: _250 is 4+ -1 |
| | | 84: Found: 3 is 4+ -1 |
| | | 85: Searching: subtract_days(date(12, 25, 2006), 3, Candidate Variable_9) |
| | | 86: Searching: 3>0 |
| | | 87: Found: 3>0 |
| | | 88: Searching: subtract_day(date(12, 25, 2006), Candidate Variable_10) |
| | | 89: Searching: 25>1 |
| | | 90: Found: 25>1 |
| | | 91: Searching: _3798 is 25-1 |
| | | 92: Found: 24 is 25-1 |
| | | 93: Found: subtract_day(date(12, 25, 2006), date(12, 24, 2006)) |
| | | 94: Searching: _6874 is 3+ -1 |
| | | 95: Found: 2 is 3+ -1 |
| | | 96: Searching: subtract_days(date(12, 24, 2006), 2, Candidate Variable_9) |
| | | 97: Searching: 2>0 |
| | | 98: Found: 2>0 |
| | | 99: Searching: subtract_day(date(12, 24, 2006), Candidate Variable_11) |
| | | 100: Searching: 24>1 |
| | | 101: Found: 24>1 |
| | | 102: Searching: _10558 is 24-1 |
| | | 103: Found: 23 is 24-1 |
| | | 104: Found: subtract_day(date(12, 24, 2006), date(12, 23, 2006)) |
| | | 105: Searching: _13634 is 2+ -1 |
| | | 106: Found: 1 is 2+ -1 |
| | | 107: Searching: subtract_days(date(12, 23, 2006), 1, Candidate Variable_9) |
| | | 108: Searching: 1>0 |
| | | 109: Found: 1>0 |
| | | 110: Searching: subtract_day(date(12, 23, 2006), Candidate Variable_12) |
| | | 111: Searching: 23>1 |
| | | 112: Found: 23>1 |
| | | 113: Searching: _17318 is 23-1 |
| | | 114: Found: 22 is 23-1 |
| | | 115: Found: subtract_day(date(12, 23, 2006), date(12, 22, 2006)) |
| | | 116: Searching: _20394 is 1+ -1 |
| | | 117: Found: 0 is 1+ -1 |
| | | 118: Searching: subtract_days(date(12, 22, 2006), 0, Candidate Variable_9) |
| | | 119: Found: subtract_days(date(12, 22, 2006), 0, date(12, 22, 2006)) |
| | | 120: Found: subtract_days(date(12, 23, 2006), 1, date(12, 22, 2006)) |
| | | 121: Found: subtract_days(date(12, 24, 2006), 2, date(12, 22, 2006)) |
| | | 122: Found: subtract_days(date(12, 25, 2006), 3, date(12, 22, 2006)) |
| | | 123: Found: subtract_days(date(12, 26, 2006), 4, date(12, 22, 2006)) |
| | | 124: Found: subtract_days(date(12, 27, 2006), 5, date(12, 22, 2006)) |
| | | 125: Found: subtract_days(date(12, 28, 2006), 6, date(12, 22, 2006)) |
| | | 126: Found: subtract_days(date(12, 29, 2006), 7, date(12, 22, 2006)) |
| | | 127: Found: subtract_days(date(12, 30, 2006), 8, date(12, 22, 2006)) |
| | | 128: Found: subtract_days(date(12, 31, 2006), 9, date(12, 22, 2006)) |
| | | 129: Found: subtract_days(date(1, 1, 2007), 10, date(12, 22, 2006)) |
| | | 130: Comment: The date 10 days ago was: _29014/_29020/_29026 |
| | | 131: Searching: date(12, 22, 2006)=date(_29014, Candidate Variable_13, Candidate Variable_14) |
| | | 132: Found: date(12, 22, 2006)=date(12, 22, 2006) |
| | | 133: Found: query | {'Result': 'truth = True'} |
| | | |
| | | Looking for other paths: Redo: subtract_days(date(12, 22, 2006), 0, Candidate Variable_9) |
| | | |
| | | |
| | | [Path 2]: |
| | | 134: Searching: 0>0 |
| | | 135: Fail: 0>0 | {'Result': 'Search Failed'} |
| | | 136: Fail: subtract_days(date(12, 22, 2006), 0, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 137: Fail: subtract_days(date(12, 23, 2006), 1, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 138: Fail: subtract_days(date(12, 24, 2006), 2, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 139: Fail: subtract_days(date(12, 25, 2006), 3, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 140: Fail: subtract_days(date(12, 26, 2006), 4, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 141: Fail: subtract_days(date(12, 27, 2006), 5, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 142: Fail: subtract_days(date(12, 28, 2006), 6, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 143: Fail: subtract_days(date(12, 29, 2006), 7, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 144: Fail: subtract_days(date(12, 30, 2006), 8, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 145: Fail: subtract_days(date(12, 31, 2006), 9, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 146: Fail: subtract_days(date(1, 1, 2007), 10, Candidate Variable_9) | {'Result': 'Search Failed'} |
| | | 147: Fail: query | {'Result': 'Search Failed'} |
| | | |