f | [Path 1]: | f | [Path 1]: |
n | 0: Start of execution: Begining Search | n | 0: Start of execution: Beginning Search |
| 1: Searching: query(Candidate Variable_0) | | 1: Searching: query(Candidate Variable_0) |
| 2: Searching: calculate_roses(Candidate Variable_0) | | 2: Searching: calculate_roses(Candidate Variable_0) |
| 3: Searching: initial_roses(Candidate Variable_1) | | 3: Searching: initial_roses(Candidate Variable_1) |
| 4: Found: initial_roses(37) | | 4: Found: initial_roses(37) |
| 5: Searching: roses_sold(Candidate Variable_2) | | 5: Searching: roses_sold(Candidate Variable_2) |
| 6: Found: roses_sold(16) | | 6: Found: roses_sold(16) |
| 7: Searching: roses_picked(Candidate Variable_3) | | 7: Searching: roses_picked(Candidate Variable_3) |
| 8: Found: roses_picked(19) | | 8: Found: roses_picked(19) |
n | 9: Searching: _14516 is 37-16+19 | n | 9: Searching: _18162 is 37-16+19 |
| 10: Found: 40 is 37-16+19 | | 10: Found: 40 is 37-16+19 |
t | | t | 11: Searching: _5830 is 40 |
| | | 12: Found: 40 is 40 |
| 11: Found: calculate_roses(40) | | 13: Found: calculate_roses(40) |
| 12: Found: query(40) | {'Result': 'TotalRoses = 40'} | | 14: Found: query(40) | {'Result': 'TotalRoses = 40'} |
| | | |