f | [Path 1]: | f | [Path 1]: |
t | 0: Start of execution: Begining Search | t | 0: Start of execution: Beginning Search |
| 1: Searching: smallest_pens_needed(Candidate Variable_0) | | 1: Searching: smallest_pens_needed(Candidate Variable_0) |
| 2: Searching: total_pencils_and_pens(Candidate Variable_1, Candidate Variable_2) | | 2: Searching: total_pencils_and_pens(Candidate Variable_1, Candidate Variable_2) |
| | | 3: Searching: _16324 is 18 |
| 3: Found: 18 is 18 | | 4: Found: 18 is 18 |
| | | 5: Searching: _16326 is 14 |
| 4: Found: 14 is 14 | | 6: Found: 14 is 14 |
| 5: Found: total_pencils_and_pens(18, 14) | | 7: Found: total_pencils_and_pens(18, 14) |
| 6: Searching: equal_pencils_and_pens(18, 14) | | 8: Searching: equal_pencils_and_pens(18, 14) |
| | | 9: Searching: 18=:=14 |
| | | 10: Fail: 18=:=14 | {'Result': 'Search Failed'} |
| | | 11: Fail: equal_pencils_and_pens(18, 14) | {'Result': 'Search Failed'} |
| | | |
| | | Looking for other paths: Redo: total_pencils_and_pens(Candidate Variable_1, Candidate Variable_2) |
| | | |
| | | |
| | | [Path 2]: |
| 7: Found: equal_pencils_and_pens(18, 14) | | 12: Found: total_pencils_and_pens(18, 14) |
| 8: Found: smallest_pens_needed(14) | {'Result': 'SmallestPens = 14'} | | 13: Searching: equal_pencils_and_pens(18, 14) |
| | | 14: Searching: 18=:=14 |
| | | 15: Fail: 18=:=14 | {'Result': 'Search Failed'} |
| | | 16: Fail: equal_pencils_and_pens(18, 14) | {'Result': 'Search Failed'} |
| | | 17: Fail: smallest_pens_needed(Candidate Variable_0) | {'Result': 'Search Failed'} |
| | | |