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(10, 16, 1924)=date(10, 16, 1924)5 3: Found: date(10, 16, 1924)=date(10, 16, 1924)
6 4: Searching: add_one_day(date(10, 16, 1924), Candidate Variable_0)6 4: Searching: add_one_day(date(10, 16, 1924), Candidate Variable_0)
n7 5: Searching: _19022 is 16+1n7 5: Searching: _17178 is 16+1
8 6: Found: 17 is 16+18 6: Found: 17 is 16+1
n9 7: Searching: _16564=daten9 7: Searching: _16558=date
10 8: Found: date(10, 17, 1924)=date(10, 17, 1924)10 8: Found: date(10, 17, 1924)=date(10, 17, 1924)
11 9: Found: add_one_day(date(10, 16, 1924), date(10, 17, 1924))11 9: Found: add_one_day(date(10, 16, 1924), date(10, 17, 1924))
n12 10: Comment: The date 24 hours later is: _23944/_23950/_23956n12 10: Comment: The date 24 hours later is: _20264/_20270/_20276
13 11: Searching: date(10, 17, 1924)=date(_23944, Candidate Variable_1, Candidate Variable_2)13 11: Searching: date(10, 17, 1924)=date(_20264, Candidate Variable_1, Candidate Variable_2)
14 12: Found: date(10, 17, 1924)=date(10, 17, 1924)14 12: Found: date(10, 17, 1924)=date(10, 17, 1924)
15 13: Found: query | {'Result': 'truth = True'}15 13: Found: query | {'Result': 'truth = True'}
1616
t17Looking for other paths: There are no more paths to explore.t
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op