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_1, Candidate Variable_2)3 1: Searching: query(Candidate Variable_0, Candidate Variable_1)
4 2: Searching: jacks_dishes(Candidate Variable_3)4 2: Searching: jacks_dishes(Candidate Variable_2)
5 3: Found: jacks_dishes(60)5 3: Found: jacks_dishes(60)
n6 4: Searching: jack_socks(60, Candidate Variable_4)n6 4: Searching: jack_socks(60, Candidate Variable_3)
7 5: Searching: _14512 is 60/27 5: Searching: _15126 is 60/2
8 6: Found: 30 is 60/28 6: Found: 30 is 60/2
9 7: Found: jack_socks(60, 30)9 7: Found: jack_socks(60, 30)
n10 8: Searching: peter_socks(30, Candidate Variable_5)n10 8: Searching: peter_socks(30, Candidate Variable_4)
11 9: Searching: _16964 is 2*3011 9: Searching: _17582 is 2*30
12 10: Found: 60 is 2*3012 10: Found: 60 is 2*30
13 11: Found: peter_socks(30, 60)13 11: Found: peter_socks(30, 60)
n14 12: Searching: total_items(30, 60, 60, Candidate Variable_1, Candidate Variable_2)n14 12: Searching: total_items(30, 60, 60, Candidate Variable_0, Candidate Variable_1)
15 13: Searching: _20642 is 30+6015 13: Searching: _5830 is 30+60
16 14: Found: 90 is 30+6016 14: Found: 90 is 30+60
n17 15: Searching: _21868 is 60+2*60n17 15: Searching: _5832 is 60+2*60
18 16: Found: 150 is 60+2*6018 16: Found: 180 is 60+2*60
19 17: Found: total_items(30, 60, 60, 90, 150)19 17: Found: total_items(30, 60, 60, 90, 180)
20 18: Found: query(90, 150) | {'Result': 'TotalSocks = 90, TotalDishes = 150'}20 18: Found: query(90, 180) | {'Result': 'TotalDishes = 180, TotalSocks = 90'}
2121
t22 ###t
23 
24 Found the solution!
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op