f1[Path 1]:f1[Path 1]:
2 0: Start of execution: Beginning Search2 0: Start of execution: Beginning Search
3 1: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
tt4 2: Searching: _13900=700
5 3: Found: 700=700
6 4: Searching: _15126=0.05
7 5: Found: 0.05=0.05
8 6: Searching: _16358=2
9 7: Found: 2=2
10 8: Searching: _17584=0.15
11 9: Found: 0.15=0.15
4 2: Searching: small_coupon_cost(700, 0.05, Candidate Variable_1)12 10: Searching: small_coupon_cost(700, 0.05, Candidate Variable_1)
5 3: Searching: _14512 is 700*0.0513 11: Searching: _18816 is 700*0.05
6 4: Found: 35.0 is 700*0.0514 12: Found: 35.0 is 700*0.05
7 5: Found: small_coupon_cost(700, 0.05, 35.0)15 13: Found: small_coupon_cost(700, 0.05, 35.0)
8 6: Searching: large_coupon_cost(2, 700, 0.15, Candidate Variable_2)16 14: Searching: large_coupon_cost(2, 700, 0.15, Candidate Variable_2)
9 7: Searching: _16994 is 700*217 15: Searching: _21908 is 700*2
10 8: Found: 1400 is 700*218 16: Found: 1400 is 700*2
11 9: Searching: _18232 is 1400*0.1519 17: Searching: _21286 is 1400*0.15
1210: Found: 210.0 is 1400*0.1520 18: Found: 210.0 is 1400*0.15
1311: Found: large_coupon_cost(2, 700, 0.15, 210.0)21 19: Found: large_coupon_cost(2, 700, 0.15, 210.0)
1412: Searching: total_postage_cost(35.0, 210.0, Candidate Variable_0)22 20: Searching: total_postage_cost(35.0, 210.0, Candidate Variable_0)
1513: Searching: _5834 is 35.0+210.023 21: Searching: _5830 is 35.0+210.0
1614: Found: 245.0 is 35.0+210.024 22: Found: 245.0 is 35.0+210.0
1715: Found: total_postage_cost(35.0, 210.0, 245.0)25 23: Found: total_postage_cost(35.0, 210.0, 245.0)
1816: Found: query(245.0) | {'Result': 'OverallPostageExpenditure = 245.0'}26 24: Found: query(245.0) | {'Result': 'OverallPostageExpenditure = 245.0'}
27 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op