f1[Path 1]:f1[Path 1]:
t20: Start of execution: Begining Searcht2 0: Start of execution: Beginning Search
31: Searching: smallest_pens_needed(Candidate Variable_0)3 1: Searching: smallest_pens_needed(Candidate Variable_0)
42: Searching: total_pencils_and_pens(Candidate Variable_1, Candidate Variable_2)4 2: Searching: total_pencils_and_pens(Candidate Variable_1, Candidate Variable_2)
5 3: Searching: _16324 is 18
53: Found: 18 is 186 4: Found: 18 is 18
7 5: Searching: _16326 is 14
64: Found: 14 is 148 6: Found: 14 is 14
75: Found: total_pencils_and_pens(18, 14)9 7: Found: total_pencils_and_pens(18, 14)
86: Searching: equal_pencils_and_pens(18, 14)10 8: Searching: equal_pencils_and_pens(18, 14)
11 9: Searching: 18=:=14
12 10: Fail: 18=:=14 | {'Result': 'Search Failed'}
13 11: Fail: equal_pencils_and_pens(18, 14) | {'Result': 'Search Failed'}
14 
15Looking for other paths: Redo: total_pencils_and_pens(Candidate Variable_1, Candidate Variable_2)
16 
17 
18[Path 2]:
97: Found: equal_pencils_and_pens(18, 14)19 12: Found: total_pencils_and_pens(18, 14)
108: Found: smallest_pens_needed(14) | {'Result': 'SmallestPens = 14'}20 13: Searching: equal_pencils_and_pens(18, 14)
21 14: Searching: 18=:=14
22 15: Fail: 18=:=14 | {'Result': 'Search Failed'}
23 16: Fail: equal_pencils_and_pens(18, 14) | {'Result': 'Search Failed'}
24 17: Fail: smallest_pens_needed(Candidate Variable_0) | {'Result': 'Search Failed'}
25 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op