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