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: cats_left_on_rock(50, Candidate Variable_0)4 2: Searching: cats_left_on_rock(50, Candidate Variable_0)
tt5 3: Searching: initial_cats(50)
6 4: Found: initial_cats(50)
5 3: Searching: cats_taken_by_boats(20, Candidate Variable_1)7 5: Searching: cats_taken_by_boats(Candidate Variable_1, Candidate Variable_2)
6 4: Searching: _14514 is 4*58 6: Searching: _18054 is 4*5
7 5: Found: 20 is 4*59 7: Found: 20 is 4*5
10 8: Searching: initial_cats(Candidate Variable_3)
11 9: Found: initial_cats(50)
8 6: Searching: _15734 is 50-2012 10: Searching: _17440 is 50-20
9 7: Found: 30 is 50-2013 11: Found: 30 is 50-20
10 8: Found: cats_taken_by_boats(20, 30)14 12: Found: cats_taken_by_boats(20, 30)
11 9: Searching: chased_mouse(30, Candidate Variable_2, Candidate Variable_0)15 13: Searching: chased_mouse(30, Candidate Variable_4, Candidate Variable_0)
12 10: Searching: _18206 is 3/5*3016 14: Searching: _22962 is 3/5*30
13 11: Found: 18 is 3/5*3017 15: Found: 18.0 is 3/5*30
14 12: Searching: _19432 is 30-1818 16: Searching: _7542 is 30-18.0
15 13: Found: 12 is 30-1819 17: Found: 12.0 is 30-18.0
16 14: Found: chased_mouse(30, 18, 12)20 18: Found: chased_mouse(30, 18.0, 12.0)
17 15: Found: cats_left_on_rock(50, 12)21 19: Found: cats_left_on_rock(50, 12.0)
18 16: Found: query(12) | {'Result': 'RemainingAfter = 12'}22 20: Found: query(12.0) | {'Result': 'RemainingAfter = 12.0'}
23 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op