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) |
t | | t | 2: Searching: _13900=18 |
| | | 3: Found: 18=18 |
| | | 4: Searching: _15126=27 |
| | | 5: Found: 27=27 |
| | | 6: Searching: _16352=12 |
| | | 7: Found: 12=12 |
| 2: Searching: max_fruit_baskets(18, 27, 12, Candidate Variable_0) | | 8: Searching: max_fruit_baskets(18, 27, 12, Candidate Variable_0) |
| 3: Searching: gcd(18, 27, 12, Candidate Variable_1) | | 9: Searching: gcd(18, 27, 12, Candidate Variable_1) |
| 4: Searching: gcd(18, gcd(27, 12), Candidate Variable_1) | | 10: Searching: gcd(18, gcd(27, 12), Candidate Variable_1) |
| 5: Searching: gcd(27, 12, Candidate Variable_2) | | |
| 6: Searching: gcd(27, 12, Candidate Variable_2) | | |
| 7: Searching: _14532 is abs | | |
| 8: Found: 3 is abs | | |
| 9: Found: gcd(27, 12, 3) | | |
| 10: Found: gcd(18, 3, Candidate Variable_1) | | |
| 11: Searching: _16996 is abs | | 11: Searching: _18198 is abs |
| 12: Found: 3 is abs | | 12: Found: 6 is abs |
| | | 13: Found: gcd(18, gcd(27, 12), 6) |
| 13: Found: gcd(18, 3, 3) | | 14: Found: gcd(18, 27, 12, 6) |
| | | 15: Searching: _5830 is abs |
| | | 16: Found: 3 is abs |
| 14: Found: max_fruit_baskets(18, 27, 12, 3) | | 17: Found: max_fruit_baskets(18, 27, 12, 3) |
| 15: Searching: _5834 is abs | | |
| 16: Found: 6 is abs | | |
| 17: Found: query(6) | {'Result': 'MaxBaskets = 6'} | | 18: Found: query(3) | {'Result': 'MaxBaskets = 3'} |
| | | |