f1[Path 1]:f1[Path 1]:
t20: Start of execution: Beginning Searcht2 0: Start of execution: Beginning Search
31: Searching: query(Candidate Variable_0)3 1: Call: query(Candidate Variable_0)
42: Searching: total_purchase_amount(4000, Candidate Variable_1)4 2: Call: total_purchase_amount(4000, Candidate Variable_1)
53: Searching: _15734 is 4000*3.55 3: Call: _13900 is 4000*3.5
64: Found: 14000.0 is 4000*3.56 4: Exit: 14000.0 is 4000*3.5
75: Found: total_purchase_amount(4000, 14000.0)7 5: Exit: total_purchase_amount(4000, 14000.0)
86: Searching: expired_milk_amount(14000.0, Candidate Variable_2)8 6: Call: expired_milk_amount(14000.0, Candidate Variable_2)
97: Searching: _18810 is 2/59 7: Call: _16982 is 2/5
108: Found: 0.4 is 2/510 8: Exit: 0.4 is 2/5
119: Searching: _22484 is 14000.0*0.411 9: Call: _16368 is 14000.0*0.4
1210: Found: 5600.0 is 14000.0*0.412 10: Exit: 5600.0 is 14000.0*0.4
1311: Found: expired_milk_amount(14000.0, 5600.0)13 11: Exit: expired_milk_amount(14000.0, 5600.0)
1412: Searching: refund_amount(5600.0, Candidate Variable_0)14 12: Call: refund_amount(5600.0, Candidate Variable_0)
1513: Searching: _23106 is 5600.0*3.515 13: Call: _20680=3.5
16 14: Exit: 3.5=3.5
17 15: Call: _5830 is 5600.0*3.5
1614Found: 19600.0 is 5600.0*3.518 16Exit: 19600.0 is 5600.0*3.5
1715Found: refund_amount(5600.0, 19600.0)19 17Exit: refund_amount(5600.0, 19600.0)
1816Found: query(19600.0) | {'Result': 'RefundAmount = 19600.0'}20 18Exit: query(19600.0) | {'Result': 'RefundAmount = 19600.0'}
21 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op