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_total_goals(Candidate Variable_0) | | 2: Searching: calculate_total_goals(Candidate Variable_0) |
n | 3: Searching: _14512=4 | n | 3: Searching: _14508=4 |
| 4: Found: 4=4 | | 4: Found: 4=4 |
| 5: Searching: goals_first_half_teamB(4, Candidate Variable_1) | | 5: Searching: goals_first_half_teamB(4, Candidate Variable_1) |
n | 6: Searching: _15738 is 4-2 | n | 6: Searching: _15734 is 4-2 |
| 7: Found: 2 is 4-2 | | 7: Found: 2 is 4-2 |
| 8: Found: goals_first_half_teamB(4, 2) | | 8: Found: goals_first_half_teamB(4, 2) |
| 9: Searching: goals_second_half_teamB(2, Candidate Variable_2) | | 9: Searching: goals_second_half_teamB(2, Candidate Variable_2) |
n | 10: Searching: _16964 is 4*2 | n | 10: Searching: _18190 is 4*2 |
| 11: Found: 8 is 4*2 | | 11: Found: 8 is 4*2 |
| 12: Found: goals_second_half_teamB(2, 8) | | 12: Found: goals_second_half_teamB(2, 8) |
| 13: Searching: total_goals_teamB(2, 8, Candidate Variable_3) | | 13: Searching: total_goals_teamB(2, 8, Candidate Variable_3) |
n | 14: Searching: _18190 is 2+8 | n | 14: Searching: _20646 is 2+8 |
| 15: Found: 10 is 2+8 | | 15: Found: 10 is 2+8 |
| 16: Found: total_goals_teamB(2, 8, 10) | | 16: Found: total_goals_teamB(2, 8, 10) |
| 17: Searching: total_goals_teamA(8, Candidate Variable_4) | | 17: Searching: total_goals_teamA(8, Candidate Variable_4) |
n | 18: Searching: _19416 is 8/4 | n | 18: Searching: _23110 is 8/4 |
| 19: Found: 2 is 8/4 | | 19: Found: 2 is 8/4 |
| 20: Found: total_goals_teamA(8, 2) | | 20: Found: total_goals_teamA(8, 2) |
| 21: Searching: total_goals_match(2, 10, Candidate Variable_0) | | 21: Searching: total_goals_match(2, 10, Candidate Variable_0) |
n | 22: Searching: _20642 is 2+10 | n | 22: Searching: _5830 is 2+10 |
| 23: Found: 12 is 2+10 | | 23: Found: 12 is 2+10 |
| 24: Found: total_goals_match(2, 10, 12) | | 24: Found: total_goals_match(2, 10, 12) |
| 25: Found: calculate_total_goals(12) | | 25: Found: calculate_total_goals(12) |
| 26: Found: query(12) | {'Result': 'TotalGoals = 12'} | | 26: Found: query(12) | {'Result': 'TotalGoals = 12'} |
t | | t | |