f | [Path 1]: | f | [Path 1]: |
t | 0: Start of execution: Beginning Search | t | 0: Start of execution: Beginning Search |
| 1: Searching: query(TinaAge, TomAge) | | 1: Searching: query(Candidate Variable_0, Candidate Variable_1) |
| 2: Searching: find_ages(TinaAge, TomAge) | | 2: Searching: find_ages(Candidate Variable_0, Candidate Variable_1) |
| 3: Searching: _1452 is 2/3 | | 3: Searching: _14520 is 2/3 |
| 4: Found: Ratio is 2/3 | | 4: Found: 0.6666666666666666 is 2/3 |
| 5: Searching: _16968 is 6*2//3 | | 5: Searching: _15758 is 6 |
| 6: Found: 4 is 6*2//3 | | 6: Found: 6 is 6 |
| | | 7: Searching: _16984 is 0.6666666666666666*6 |
| | | 8: Found: 4.0 is 0.6666666666666666*6 |
| 7: Searching: _18210 is 6*3//2 | | 9: Searching: _18222 is 6 |
| | | 10: Found: 6 is 6 |
| | | 11: Searching: _5830 is 4.0-3 |
| | | 12: Found: 1.0 is 4.0-3 |
| | | 13: Searching: _5832 is 6+3 |
| 8: Found: 9 is 6*3//2 | | 14: Found: 9 is 6+3 |
| 9: Searching: TinaAge is 12-3 | | |
| 10: Found: TinaAge is 9 | | |
| 11: Searching: TomAge is 12+3 | | |
| 12: Found: TomAge is 15 | | |
| 13: Found: find_ages(9, 15) | | 15: Found: find_ages(1.0, 9) |
| 14: Found: query(9, 15) | {'Result': 'TinaAge = 9, TomAge = 15'} | | 16: Found: query(1.0, 9) | {'Result': 'TinaAge = 1.0, TomAge = 9'} |
| | | |