f | [Path 1]: | f | [Path 1]: |
| 0: Start of execution: Beginning Search | | 0: Start of execution: Beginning Search |
| 1: Searching: query(Candidate Variable_0) | | 1: Searching: query(Candidate Variable_0) |
| 2: Searching: knitting_requirements(2, 4, 12, 1, 2, Candidate Variable_0) | | 2: Searching: knitting_requirements(2, 4, 12, 1, 2, Candidate Variable_0) |
n | | n | 3: Searching: _14528 is 5 |
| | | 4: Found: 5 is 5 |
| | | 5: Searching: _15754 is 3 |
| | | 6: Found: 3 is 3 |
| 3: Searching: _18810 is 5*3 | | 7: Searching: _16980 is 5*3 |
| | | 8: Found: 15 is 5*3 |
| | | 9: Searching: _18212 is 5*3 |
| | | 10: Found: 15 is 5*3 |
| | | 11: Searching: _19444 is 5*3 |
| | | 12: Found: 15 is 5*3 |
| | | 13: Searching: _20676 is 5*3 |
| 4: Found: 15 is 5*3 | | 14: Found: 15 is 5*3 |
| 5: Searching: _18816 is 15*2 | | 15: Searching: _21908 is 5*3 |
| | | 16: Found: 15 is 5*3 |
| | | 17: Searching: _23140 is 2*15 |
| | | 18: Found: 30 is 2*15 |
| | | 19: Searching: _24372 is 4*15 |
| | | 20: Found: 60 is 4*15 |
| | | 21: Searching: _25604 is 12*15 |
| | | 22: Found: 180 is 12*15 |
| | | 23: Searching: _26836 is 1*15 |
| | | 24: Found: 15 is 1*15 |
| | | 25: Searching: _28068 is 2*15 |
| 6: Found: 30 is 15*2 | | 26: Found: 30 is 2*15 |
| 7: Searching: _18822 is 15*4 | | 27: Searching: _5830 is 30+60+180+15+30 |
| 8: Found: 60 is 15*4 | | 28: Found: 315 is 30+60+180+15+30 |
| 9: Searching: _18838 is 15*12 | | |
| 10: Found: 180 is 15*12 | | |
| 11: Searching: _18844 is 15*1+15*2 | | |
| 12: Found: 39 is 15*1+15*2 | | |
| 13: Found: knitting_requirements(2, 4, 12, 1, 2, 30+60+180+39) | | |
| 14: Found: knitting_requirements(2, 4, 12, 1, 2, 279) | | 29: Found: knitting_requirements(2, 4, 12, 1, 2, 315) |
| 15: Found: query(279) | {'Result': 'TotalSkeins = 279'} | | 30: Found: query(315) | {'Result': 'X = 315'} |
| | | |
t | [Path 2]: No solution found. | t | |
| | | |
| [Path 3]: No solution found. | | |
| | | |
| ##### | | |
| The code successfully finds the correct path and answer in the first path. | | |