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(3, 5, 1973)=date(3, 5, 1973)5 3: Found: date(3, 5, 1973)=date(3, 5, 1973)
6 4: Searching: increment_days(date(3, 5, 1973), Candidate Variable_0)6 4: Searching: increment_days(date(3, 5, 1973), Candidate Variable_0)
7 5: Searching: days_in_month(3, Candidate Variable_1)7 5: Searching: days_in_month(3, Candidate Variable_1)
8 6: Found: days_in_month(3, 31)8 6: Found: days_in_month(3, 31)
n9 7: Searching: _19022 is 5+24n9 7: Searching: _18404 is 5+24
10 8: Found: 29 is 5+2410 8: Found: 29 is 5+24
11 9: Searching: 29=<3111 9: Searching: 29=<31
12 10: Found: 29=<3112 10: Found: 29=<31
n13 11: Searching: _16564=daten13 11: Searching: _16558=date
14 12: Found: date(3, 29, 1973)=date(3, 29, 1973)14 12: Found: date(3, 29, 1973)=date(3, 29, 1973)
15 13: Found: increment_days(date(3, 5, 1973), date(3, 29, 1973))15 13: Found: increment_days(date(3, 5, 1973), date(3, 29, 1973))
n16 14: Comment: The date 24 hours later is _23944/_23950/_23956n16 14: Comment: The date 24 hours later is: _22700/_22706/_22712
17 15: Searching: date(3, 29, 1973)=date(_23944, Candidate Variable_2, Candidate Variable_3)17 15: Searching: date(3, 29, 1973)=date(_22700, Candidate Variable_2, Candidate Variable_3)
18 16: Found: date(3, 29, 1973)=date(3, 29, 1973)18 16: Found: date(3, 29, 1973)=date(3, 29, 1973)
19 17: Found: query | {'Result': 'truth = True'}19 17: Found: query | {'Result': 'truth = True'}
2020
t21Looking for other paths: Redo: increment_days(date(3, 5, 1973), Candidate Variable_0)t
22 
23[Path 2]:
24 18: Searching: days_in_month(3, 5)
25 19: Fail: days_in_month(3, 5) | {'Result': 'Search Failed'}
26 20: Fail: increment_days(date(3, 5, 1973), Candidate Variable_0) | {'Result': 'Search Failed'}
27 21: Fail: query | {'Result': 'Search Failed'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op