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: _16456=daten4 2: Searching: _17290=date
5 3: Found: date(4, 10, 1985)=date(4, 10, 1985)5 3: Found: date(4, 10, 1985)=date(4, 10, 1985)
nn6 4: Searching: _18524=date
7 5: Found: date(4, 13, 1985)=date(4, 13, 1985)
6 4: Searching: increment_days(date(4, 10, 1985), 3, Candidate Variable_0)8 6: Searching: increment_days(date(4, 10, 1985), 3, date(4, 13, 1985))
7 5: Searching: 3>09 7: Searching: 3>0
8 6: Found: 3>010 8: Found: 3>0
9 7: Searching: _25658=311 9: Searching: _21598 is 3 mod 30
10 8: Found: 3=312 10: Found: 3 is 3 mod 30
11 9: Searching: increment_days_helper(date(4, 10, 1985), 3, Candidate Variable_1)13 11: Searching: increment_days_helper(date(4, 10, 1985), 3, Candidate Variable_0)
12 10: Searching: increment_days_helper(date(4, 10, 1985), 0, Candidate Variable_2)
13 11: Searching: 10=3014 12: Searching: 3>0
15 13: Found: 3>0
16 14: Searching: _24686 is 10+1
17 15: Found: 11 is 10+1
18 16: Searching: 4=12
14 12: Fail: 10=30 | {'Result': 'Search Failed'}19 17: Fail: 4=12 | {'Result': 'Search Failed'}
1520
n16Looking for other paths: Redo: increment_days_helper(date(4, 10, 1985), 3, Candidate Variable_1)n21Looking for other paths: Redo: increment_days_helper(date(4, 10, 1985), 3, Candidate Variable_0)
1722
1823
19[Path 2]:24[Path 2]:
t20 13: Searching: _25664=27t
21 14: Found: 27=30
22 15: Searching: _27598 is 10+1
23 16: Found: 11 is 10+1
24 17: Searching: _18406=date25 18: Searching: _22838=date
25 18: Found: date(4, 11, 1985)=date(4, 11, 1985)26 19: Found: date(4, 11, 1985)=date(4, 11, 1985)
26 19: Found: increment_days_helper(date(4, 10, 1985), 3, date(4, 11, 1985))27 20: Searching: _28990 is 3+ -1
28 21: Found: 2 is 3+ -1
27 20: Searching: increment_days_helper(date(4, 11, 1985), 0, Candidate Variable_3)29 22: Searching: increment_days_helper(date(4, 11, 1985), 2, Candidate Variable_1)
28 21: Searching: 11=3030 23: Searching: 2>0
29 22: Found: 11=3031 24: Found: 2>0
32 25: Searching: _32062 is 11+1
33 26: Found: 12 is 11+1
34 27: Searching: 4=12
35 28: Fail: 4=12 | {'Result': 'Search Failed'}
36 
37Looking for other paths: Redo: increment_days_helper(date(4, 11, 1985), 2, Candidate Variable_2)
38 
39 
40[Path 3]:
30 23: Searching: _20338=date41 29: Searching: _35128=date
31 24: Found: date(4, 11, 1985)=date(4, 11, 1985)42 30: Found: date(4, 12, 1985)=date(4, 12, 1985)
32 25: Found: increment_days_helper(date(4, 11, 1985), 0, date(4, 11, 1985))
33 26: Found: increment_days(date(4, 10, 1985), 3, date(4, 11, 1985))
34 27: Searching: increment_days(date(4, 11, 1985), 7, Candidate Variable_4)
35 28: Searching: 7>0
36 29: Found: 7>0
37 30: Searching: _30674 is 743 31: Searching: _36368 is 2+ -1
38 31: Found: 7 is 744 32: Found: 1 is 2+ -1
39 32: Searching: increment_days_helper(date(4, 11, 1985), 7, Candidate Variable_5)
40 33: Searching: increment_days_helper(date(4, 11, 1985), 0, Candidate Variable_6)45 33: Searching: increment_days_helper(date(4, 12, 1985), 1, Candidate Variable_3)
41 34: Searching: 11=3046 34: Searching: 1>0
42 35: Found: 11=3047 35: Found: 1>0
48 36: Searching: _39440 is 12+1
49 37: Found: 13 is 12+1
50 38: Searching: 4=12
51 39: Fail: 4=12 | {'Result': 'Search Failed'}
52 
53Looking for other paths: Redo: increment_days_helper(date(4, 12, 1985), 1, Candidate Variable_4)
54 
55 
56[Path 4]:
43 36: Searching: _20338=date57 40: Searching: _42506=date
44 37: Found: date(4, 11, 1985)=date(4, 11, 1985)58 41: Found: date(4, 13, 1985)=date(4, 13, 1985)
45 38: Found: increment_days_helper(date(4, 11, 1985), 0, date(4, 11, 1985))
46 39: Found: increment_days(date(4, 11, 1985), 7, date(4, 11, 1985))
47 40: Found: increment_days(date(4, 10, 1985), 3, date(4, 11, 1985))
48 41: Searching: _46618 is 7+ -159 42: Searching: _43746 is 1+ -1
49 42: Found: 6 is 7+ -160 43: Found: 0 is 1+ -1
50 43: Searching: increment_days(date(4, 11, 1985), 6, Candidate Variable_761 44: Searching: increment_days_helper(date(4, 13, 1985), 0, Candidate Variable_5)
62 45: Searching: 0>0
63 46: Fail: 0>0 | {'Result': 'Search Failed'}
64 47: Fail: increment_days_helper(date(4, 13, 1985), 0, Candidate Variable_6) | {'Result': 'Search Failed'}
65 48: Fail: increment_days_helper(date(4, 12, 1985), 1, Candidate Variable_7) | {'Result': 'Search Failed'}
66 49: Fail: increment_days_helper(date(4, 11, 1985), 2, Candidate Variable_8) | {'Result': 'Search Failed'}
67 50: Fail: increment_days_helper(date(4, 10, 1985), 3, Candidate Variable_0) | {'Result': 'Search Failed'}
68 51: Fail: increment_days(date(4, 10, 1985), 3, date(4, 13, 1985)) | {'Result': 'Search Failed'}
69 52: Fail: query | {'Result': 'Search Failed'}
70 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op