f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 0: Start of execution: Beginning Search
3 1: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
4 2: Searching: get_well_soon_kits(10, 15, Candidate Variable_0)4 2: Searching: get_well_soon_kits(10, 15, Candidate Variable_0)
5 3: Searching: gcd(10, 15, Candidate Variable_0)5 3: Searching: gcd(10, 15, Candidate Variable_0)
6 4: Searching: 10=:=06 4: Searching: 10=:=0
n7 5: Failed: 10=:=0n7 5: Fail: 10=:=0 | {'Result': 'Search Failed'}
8 
9Looking for other paths: Redo: gcd(10, 15, Candidate Variable_0)
10 
11 
12[Path 2]:
8 6: Searching: 15=:=013 6: Searching: 15=:=0
n9 7: Failed: 15=:=0n14 7: Fail: 15=:=0 | {'Result': 'Search Failed'}
15 
16Looking for other paths: Redo: gcd(10, 15, Candidate Variable_0)
17 
18 
19[Path 3]:
10 8: Searching: 15>1020 8: Searching: 15>10
11 9: Found: 15>1021 9: Found: 15>10
n12 10: Searching: _14520 is 15 mod 10n22 10: Searching: _20036 is 15 mod 10
13 11: Found: 5 is 15 mod 1023 11: Found: 5 is 15 mod 10
14 12: Searching: gcd(10, 5, Candidate Variable_0)24 12: Searching: gcd(10, 5, Candidate Variable_0)
15 13: Searching: 10=:=025 13: Searching: 10=:=0
n16 14: Failed: 10=:=0n26 14: Fail: 10=:=0 | {'Result': 'Search Failed'}
27 
28Looking for other paths: Redo: gcd(10, 5, Candidate Variable_0)
29 
30 
31[Path 4]:
17 15: Searching: 5=:=032 15: Searching: 5=:=0
n18 16: Failed: 5=:=0n33 16: Fail: 5=:=0 | {'Result': 'Search Failed'}
34 
35Looking for other paths: Redo: gcd(10, 5, Candidate Variable_0)
36 
37 
38[Path 5]:
19 17: Searching: 5>1039 17: Searching: 5>10
t20 18: Failed: 5>10t40 18: Fail: 5>10 | {'Result': 'Search Failed'}
21 19: Searching: _16982 is 10 mod 541 19: Fail: gcd(10, 5, Candidate Variable_0) | {'Result': 'Search Failed'}
22 20: Found: 0 is 10 mod 542 20: Fail: gcd(10, 15, Candidate Variable_0) | {'Result': 'Search Failed'}
23 21: Searching: gcd(5, 0, Candidate Variable_0)43 21: Fail: get_well_soon_kits(10, 15, Candidate Variable_0) | {'Result': 'Search Failed'}
24 22: Found: 5=:=044 22: Fail: query(Candidate Variable_0) | {'Result': 'Search Failed'}
25 23: Found: gcd(5, 0, 5)45 
26 24: Found: gcd(10, 5, 5)
27 25: Found: get_well_soon_kits(10, 15, 5)
28 26: Found: query(5) | {'Result': 'MaxKits = 5'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op