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: mitchel_times(30) | | 2: Searching: mitchel_times(Candidate Variable_1) |
| 3: Found: 30=30 | | 3: Found: mitchel_times(30) |
| 4: Searching: calculate_anne_times(30, Candidate Variable_1) | | 4: Searching: calculate_anne_times(30, Candidate Variable_2) |
| 5: Searching: _14512 is 30-(0.30*30) | | 5: Searching: _15118 is 30-0.3*30 |
| 6: Found: 21.0 is 30-(0.30*30) | | 6: Found: 21.0 is 30-0.3*30 |
| 7: Found: calculate_anne_times(30, 21.0) | | 7: Found: calculate_anne_times(30, 21.0) |
| 8: Searching: calculate_robert_times(21.0, Candidate Variable_0) | | 8: Searching: calculate_robert_times(21.0, Candidate Variable_0) |
| 9: Searching: _16976 is 4*21.0 | | 9: Searching: _5830 is 4*21.0 |
| 10: Found: 84.0 is 4*21.0 | | 10: Found: 84.0 is 4*21.0 |
| 11: Found: calculate_robert_times(21.0, 84.0) | | 11: Found: calculate_robert_times(21.0, 84.0) |
| 12: Found: query(84.0) | {'Result': 'Robert = 84.0'} | | 12: Found: query(84.0) | {'Result': 'Robert = 84.0'} |
| | | |