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: calculate_boxes_for_peas(Candidate Variable_0) | | 2: Searching: calculate_boxes_for_peas(Candidate Variable_0) |
| 3: Searching: calculate_boxes(810, 4, Candidate Variable_0) | | 3: Searching: calculate_boxes(810, 4, Candidate Variable_0) |
| 4: Searching: _14520 is 810//4 | | 4: Searching: _5830 is 810//4 |
| 5: Found: 202 is 810//4 | | 5: Found: 202 is 810//4 |
| 6: Found: calculate_boxes(810, 4, 202) | | 6: Found: calculate_boxes(810, 4, 202) |
| 7: Found: calculate_boxes_for_peas(202) | | 7: Found: calculate_boxes_for_peas(202) |
| 8: Found: query(202) | {'Result': 'BoxesNeeded = 202'} | | 8: Found: query(202) | {'Result': 'BoxesNeeded = 202'} |
| | | |