f | [Path 1]: | f | [Path 1]: |
t | 0: Start of execution: Begining Search | t | 0: Start of execution: Beginning Search |
| 1: Searching: query(Candidate Variable_0) | | 1: Searching: query(Candidate Variable_0) |
| 2: Searching: predict_power_drill_orders(may, Candidate Variable_0) | | 2: Searching: predict_power_drill_orders(may, Candidate Variable_0) |
| | | 3: Searching: _16602 is 6-5 |
| 3: Found: Diff1 is 6 - 5 | | 4: Found: 1 is 6-5 |
| | | 5: Searching: _17832 is 8-6 |
| 4: Found: Diff2 is 8 - 6 | | 6: Found: 2 is 8-6 |
| | | 7: Searching: _18984 is 11-8 |
| 5: Found: Diff3 is 11 - 8 | | 8: Found: 3 is 11-8 |
| | | 9: Searching: _7842 is 11+3 |
| 6: Found: 14 is 11 + 3 | | 10: Found: 14 is 11+3 |
| 7: Found: predict_power_drill_orders(may, 14) | | 11: Found: predict_power_drill_orders(may, 14) |
| 8: Found: query(14) | {'Result': 'PredictedDrills = 14'} | | 12: Found: query(14) | {'Result': 'PredictedDrills = 14'} |
| | | |