f | [Path 1]: | f | [Path 1]: |
| 0: Start of execution: Beginning Search | | 0: Start of execution: Beginning Search |
| 1: Searching: query(Candidate Variable_0) | | 1: Searching: query(Candidate Variable_0) |
t | | t | 2: Searching: _13900=700 |
| | | 3: Found: 700=700 |
| | | 4: Searching: _15126=0.05 |
| | | 5: Found: 0.05=0.05 |
| | | 6: Searching: _16358=2 |
| | | 7: Found: 2=2 |
| | | 8: Searching: _17584=0.15 |
| | | 9: Found: 0.15=0.15 |
| 2: Searching: small_coupon_cost(700, 0.05, Candidate Variable_1) | | 10: Searching: small_coupon_cost(700, 0.05, Candidate Variable_1) |
| 3: Searching: _14512 is 700*0.05 | | 11: Searching: _18816 is 700*0.05 |
| 4: Found: 35.0 is 700*0.05 | | 12: Found: 35.0 is 700*0.05 |
| 5: Found: small_coupon_cost(700, 0.05, 35.0) | | 13: Found: small_coupon_cost(700, 0.05, 35.0) |
| 6: Searching: large_coupon_cost(2, 700, 0.15, Candidate Variable_2) | | 14: Searching: large_coupon_cost(2, 700, 0.15, Candidate Variable_2) |
| 7: Searching: _16994 is 700*2 | | 15: Searching: _21908 is 700*2 |
| 8: Found: 1400 is 700*2 | | 16: Found: 1400 is 700*2 |
| 9: Searching: _18232 is 1400*0.15 | | 17: Searching: _21286 is 1400*0.15 |
| 10: Found: 210.0 is 1400*0.15 | | 18: Found: 210.0 is 1400*0.15 |
| 11: Found: large_coupon_cost(2, 700, 0.15, 210.0) | | 19: Found: large_coupon_cost(2, 700, 0.15, 210.0) |
| 12: Searching: total_postage_cost(35.0, 210.0, Candidate Variable_0) | | 20: Searching: total_postage_cost(35.0, 210.0, Candidate Variable_0) |
| 13: Searching: _5834 is 35.0+210.0 | | 21: Searching: _5830 is 35.0+210.0 |
| 14: Found: 245.0 is 35.0+210.0 | | 22: Found: 245.0 is 35.0+210.0 |
| 15: Found: total_postage_cost(35.0, 210.0, 245.0) | | 23: Found: total_postage_cost(35.0, 210.0, 245.0) |
| 16: Found: query(245.0) | {'Result': 'OverallPostageExpenditure = 245.0'} | | 24: Found: query(245.0) | {'Result': 'OverallPostageExpenditure = 245.0'} |
| | | |