f | 1 | [Path 1]: | f | 1 | [Path 1]:
t | 2 | 0: Start of execution: Begining Search | t | 2 | 0: Start of execution: Beginning Search
| 3 | 1: Searching: query(Candidate Variable_0) |  | 3 | 1: Searching: query(Candidate Variable_0)
| 4 | 2: Searching: max_students_in_row(Candidate Variable_0) |  | 4 | 2: Searching: max_students_in_row(Candidate Variable_0)
| 5 | 3: Searching: boys(60) |  | 5 | 3: Searching: boys(Candidate Variable_1)
| 6 | 4: Found: boys(60) |  | 6 | 4: Found: boys(60)
| 7 | 5: Searching: girls(72) |  | 7 | 5: Searching: girls(Candidate Variable_2)
| 8 | 6: Found: girls(72) |  | 8 | 6: Found: girls(72)
| 9 | 7: Searching: gcd(60, 72, Candidate Variable_1) |  | 9 | 7: Searching: gcd(60, 72, Candidate Variable_0)
| 10 | 8: Searching: 72>0 |  | 10 | 8: Searching: 72>0
|  |  |  | 11 | 9: Found: 72>0
| 11 | 9: Searching: _15132 is 60 mod 72 |  | 12 | 10: Searching: _18784 is 60 mod 72
| 12 | 10: Found: 60 is 60 mod 72 |  | 13 | 11: Found: 60 is 60 mod 72
| 13 | 11: Searching: gcd(72, 60, Candidate Variable_1) |  | 14 | 12: Searching: gcd(72, 60, Candidate Variable_0)
| 14 | 12: Searching: 60>0 |  | 15 | 13: Searching: 60>0
|  |  |  | 16 | 14: Found: 60>0
| 15 | 13: Searching: _15132 is 72 mod 60 |  | 17 | 15: Searching: _21856 is 72 mod 60
| 16 | 14: Found: 12 is 72 mod 60 |  | 18 | 16: Found: 12 is 72 mod 60
| 17 | 15: Searching: gcd(60, 12, Candidate Variable_1) |  | 19 | 17: Searching: gcd(60, 12, Candidate Variable_0)
| 18 | 16: Searching: 12>0 |  | 20 | 18: Searching: 12>0
|  |  |  | 21 | 19: Found: 12>0
| 19 | 17: Searching: _15132 is 60 mod 12 |  | 22 | 20: Searching: _24928 is 60 mod 12
| 20 | 18: Found: 0 is 60 mod 12 |  | 23 | 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)
| 21 | 19: 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)
| 22 | 20: Found: max_students_in_row(12) |  | 31 | 29: Found: max_students_in_row(12)
| 23 | 21: Found: query(12) | {'Result': 'MaxStudents = 12'} |  | 32 | 30: Found: query(12) | {'Result': 'MaxStudents = 12'}
|  |  |  | 33 |
|  |  |  | 34 | Looking 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