f1[Path 1]:f1[Path 1]:
t20: Start of execution: Begining Searcht2 0: Start of execution: Beginning Search
31: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
42: Searching: max_students_in_row(Candidate Variable_0)4 2: Searching: max_students_in_row(Candidate Variable_0)
53: Searching: boys(60)5 3: Searching: boys(Candidate Variable_1)
64: Found: boys(60)6 4: Found: boys(60)
75: Searching: girls(72)7 5: Searching: girls(Candidate Variable_2)
86: Found: girls(72)8 6: Found: girls(72)
97: Searching: gcd(60, 72, Candidate Variable_1)9 7: Searching: gcd(60, 72, Candidate Variable_0)
108: Searching: 72>010 8: Searching: 72>0
11 9: Found: 72>0
119: Searching: _15132 is 60 mod 7212 10: Searching: _18784 is 60 mod 72
1210: Found: 60 is 60 mod 7213 11: Found: 60 is 60 mod 72
1311: Searching: gcd(72, 60, Candidate Variable_1)14 12: Searching: gcd(72, 60, Candidate Variable_0)
1412: Searching: 60>015 13: Searching: 60>0
16 14: Found: 60>0
1513: Searching: _15132 is 72 mod 6017 15: Searching: _21856 is 72 mod 60
1614: Found: 12 is 72 mod 6018 16: Found: 12 is 72 mod 60
1715: Searching: gcd(60, 12, Candidate Variable_1)19 17: Searching: gcd(60, 12, Candidate Variable_0)
1816: Searching: 12>020 18: Searching: 12>0
21 19: Found: 12>0
1917: Searching: _15132 is 60 mod 1222 20: Searching: _24928 is 60 mod 12
2018: Found: 0 is 60 mod 1223 21: Found: 0 is 60 mod 12
24 22: Searching: gcd(12, 0, Candidate Variable_0)
25 23: Searching: 12>0
26 24: Found: 12>0
27 25: Found: gcd(12, 0, 12)
2119: Found: gcd(60, 12, 12)28 26: Found: gcd(60, 12, 12)
29 27: Found: gcd(72, 60, 12)
30 28: Found: gcd(60, 72, 12)
2220: Found: max_students_in_row(12)31 29: Found: max_students_in_row(12)
2321: Found: query(12) | {'Result': 'MaxStudents = 12'}32 30: Found: query(12) | {'Result': 'MaxStudents = 12'}
33 
34Looking for other paths: Redo: gcd(12, 0, Candidate Variable_0)
35 
36 
37[Path 2]:
38 31: Searching: 0>0
39 32: Fail: 0>0 | {'Result': 'Search Failed'}
40 33: Fail: gcd(12, 0, Candidate Variable_0) | {'Result': 'Search Failed'}
41 34: Fail: gcd(60, 12, Candidate Variable_0) | {'Result': 'Search Failed'}
42 35: Fail: gcd(72, 60, Candidate Variable_0) | {'Result': 'Search Failed'}
43 36: Fail: gcd(60, 72, Candidate Variable_0) | {'Result': 'Search Failed'}
44 37: Fail: max_students_in_row(Candidate Variable_0) | {'Result': 'Search Failed'}
45 38: Fail: query(Candidate Variable_0) | {'Result': 'Search Failed'}
46 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op