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: pizza_slices(6, Candidate Variable_1, Candidate Variable_2)4 2: Searching: pizza_slices(6, Candidate Variable_1, Candidate Variable_2)
nn5 3: Searching: 6>0
6 4: Found: 6>0
5 3: Searching: _14514 is 6*67 5: Searching: _15744 is 6*6
6 4: Found: 36 is 6*68 6: Found: 36 is 6*6
7 5: Searching: _16982 is 6*49 7: Searching: _16976 is 6*4
8 6: Found: 24 is 6*410 8: Found: 24 is 6*4
11 9: Searching: _13900 is 36
12 10: Found: 36 is 36
13 11: Searching: _13902 is 24
14 12: Found: 24 is 24
9 7: Found: pizza_slices(6, 36, 24)15 13: Found: pizza_slices(6, 36, 24)
10 8: Searching: lcm(12, 8, Candidate Variable_3)16 14: Searching: lcm(12, 8, Candidate Variable_3)
11 9: Searching: _18202 is 12*8//gcd(12, 8)17 15: Searching: _21272 is 12*8//gcd
12 10: Found: 96 is 12*8//218 16: Found: 24 is 12*8//gcd
13 11: Found: lcm(12, 8, 96)19 17: Found: lcm(12, 8, 24)
14 12: Searching: pizza_count(36+24, 96, Candidate Variable_0)20 18: Searching: pizza_count(36+24, 24, Candidate Variable_0)
15 13: Searching: _5834 is (36+24)//9621 19: Searching: _5830 is 
16 14: Found: 1 is (36+24)//9622 20: Found: 2 is 
17 15: Found: pizza_count(60961)23 21: Found: pizza_count(36+24242)
18 16: Found: query(1) | {'Result': 'NumberOfPizzas = 1'}24 22: Found: query(2) | {'Result': 'Ans = 2'}
1925
t20 t
21[Path 2]:
22 0: Start of execution: Multiple Calls
23 1: Call 1: pizza_slices(6, Candidate Variable_1, Candidate Variable_2)
24 2: Searching: _14514 is 6*6
25 3: Found: 36 is 6*6
26 4: Searching: _16982 is 6*4
27 5: Found: 24 is 6*4
28 6: Found: pizza_slices(6, 36, 24)
29 7: Call 2: lcm(12, 8, Candidate Variable_3)
30 8: Searching: _18202 is 12*8//gcd(12, 8)
31 9: Found: 96 is 12*8//4
32 10: Found: lcm(12, 8, 96)
33 11: Call 3: pizza_count(36+24, 96, Candidate Variable_4)
34 12: Searching: _5836 is (36+24)//96
35 13: Found: 1 is (36+24)//96
36 14: Found: pizza_count(60, 96, 1)
37 15: End of Call 3: Success
38 16: Success: pizza_slices(6, 36, 24), lcm(12, 8, 96), pizza_count(60, 96, 1)
39 
40 
41[Path 3]:
42 0: Call 1: query(Candidate Variable_0)
43 1: Success: query(1)
44 
45 
46[Path 4]:
47 0: Call 1: lcm(12, 8, Candidate Variable_3)
48 1: Searching: _18202 is 12*8//gcd(12, 8)
49 2: Found: 96 is 12*8//4
50 3: Found: lcm(12, 8, 96)
51 4: Call 2: pizza_count(36+24, 96, Candidate Variable_4)
52 5: Searching: _5836 is (36+24)//96
53 6: Found: 1 is (36+24)//96
54 7: Found: pizza_count(60, 96, 1)
55 8: End of Call 2: Success
56 9: Success: lcm(12, 8, 96), pizza_count(60, 96, 1)
57 
58 
59[Path 5]:
60 0: Call 1: pizza_slices(6, Candidate Variable_1, Candidate Variable_2)
61 1: Searching: _14514 is 6*6
62 2: Found: 36 is 6*6
63 3: Searching: _16982 is 6*4
64 4: Found: 24 is 6*4
65 5: Found: pizza_slices(6, 36, 24)
66 6: Call 2: lcm(12, 8, Candidate Variable_5)
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op