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(5, 6, 2022)=date(5, 6, 2022)5 3: Found: date(5, 6, 2022)=date(5, 6, 2022)
6 4: Searching: increment_day(date(5, 6, 2022), Candidate Variable_0)6 4: Searching: increment_day(date(5, 6, 2022), Candidate Variable_0)
7 5: Searching: days_in_month(5, Candidate Variable_1)7 5: Searching: days_in_month(5, Candidate Variable_1)
8 6: Found: days_in_month(5, 31)8 6: Found: days_in_month(5, 31)
9 7: Searching: is_leap_year(2022)9 7: Searching: is_leap_year(2022)
10 8: Searching: 2022 mod 4=:=010 8: Searching: 2022 mod 4=:=0
11 9: Fail: 2022 mod 4=:=0 | {'Result': 'Search Failed'}11 9: Fail: 2022 mod 4=:=0 | {'Result': 'Search Failed'}
1212
13Looking for other paths: Redo: is_leap_year(2022)13Looking for other paths: Redo: is_leap_year(2022)
1414
1515
16[Path 2]:16[Path 2]:
17 10: Searching: 2022 mod 400=:=017 10: Searching: 2022 mod 400=:=0
18 11: Fail: 2022 mod 400=:=0 | {'Result': 'Search Failed'}18 11: Fail: 2022 mod 400=:=0 | {'Result': 'Search Failed'}
19 12: Fail: is_leap_year(2022) | {'Result': 'Search Failed'}19 12: Fail: is_leap_year(2022) | {'Result': 'Search Failed'}
2020
21Looking for other paths: Redo: increment_day(date(5, 6, 2022), Candidate Variable_0)21Looking for other paths: Redo: increment_day(date(5, 6, 2022), Candidate Variable_0)
2222
2323
24[Path 3]:24[Path 3]:
n25 13: Searching: _24426=31n25 13: Searching: _23294=31
26 14: Found: 31=3126 14: Found: 31=31
nn27 15: Searching: 6<31
28 16: Found: 6<31
27 15: Searching: _25658 is 6+129 17: Searching: _25750 is 6+1
28 16: Found: 7 is 6+130 18: Found: 7 is 6+1
29 17: Searching: 7=<31
30 18: Found: 7=<31
31 19: Searching: _17690=date31 19: Searching: _16558=date
32 20: Found: date(5, 7, 2022)=date(5, 7, 2022)32 20: Found: date(5, 7, 2022)=date(5, 7, 2022)
33 21: Found: increment_day(date(5, 6, 2022), date(5, 7, 2022))33 21: Found: increment_day(date(5, 6, 2022), date(5, 7, 2022))
n34 22: Comment: The date tomorrow is _29968/_29974/_29980n34 22: Comment: The date tomorrow is _28822/_28828/_28834
35 23: Searching: date(5, 7, 2022)=date(_29968, Candidate Variable_2, Candidate Variable_3)35 23: Searching: date(5, 7, 2022)=date(_28822, Candidate Variable_2, Candidate Variable_3)
36 24: Found: date(5, 7, 2022)=date(5, 7, 2022)36 24: Found: date(5, 7, 2022)=date(5, 7, 2022)
37 25: Found: query | {'Result': 'truth = True'}37 25: Found: query | {'Result': 'truth = True'}
tt38 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op