f1[Path 1]:f1[Path 1]:
t20: Start of execution: Begining Searcht2 0: Start of execution: Beginning Search
31: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
42: Searching: total_spent(Candidate Variable_0)4 2: Searching: total_spent(Candidate Variable_0)
53: Searching: total_cost_before_discount(Candidate Variable_1)5 3: Searching: total_cost_before_discount(Candidate Variable_1)
64: Searching: fireworks_cost(package1, Candidate Variable_2)6 4: Searching: fireworks_cost(package1, Candidate Variable_2)
75: Found: fireworks_cost(package1, 400)7 5: Found: fireworks_cost(package1, 400)
86: Searching: fireworks_cost(package2, Candidate Variable_3)8 6: Searching: fireworks_cost(package2, Candidate Variable_3)
97: Found: fireworks_cost(package2, 800)9 7: Found: fireworks_cost(package2, 2*400)
108: Searching: _14512 is 400+80010 8: Searching: _14508 is 400+2*400
119: Found: 1200 is 400+80011 9: Found: 1200 is 400+2*400
1210: Found: total_cost_before_discount(1200)12 10: Found: total_cost_before_discount(1200)
1311: Searching: total_cost_after_discount(1200, Candidate Variable_0)13 11: Searching: total_cost_after_discount(1200, Candidate Variable_4)
1412: Searching: _16976 is 1200*0.814 12: Searching: _19414 is 1200*0.8
1513: Found: 960.0 is 1200*0.815 13: Found: 960.0 is 1200*0.8
1614: Found: total_cost_after_discount(1200, 960.0)16 14: Found: total_cost_after_discount(1200, 960.0)
1715: Searching: fireworks_cost(finale_firework, Candidate Variable_1)17 15: Searching: fireworks_cost(finale_firework, Candidate Variable_5)
1816: Found: fireworks_cost(finale_firework, 150)18 16: Found: fireworks_cost(finale_firework, 150)
1917: Searching: _21896 is 960.0+15019 17: Searching: _5830 is 960.0+150
2018: Found: 1110.0 is 960.0+15020 18: Found: 1110.0 is 960.0+150
2119: Found: total_spent(1110.0)21 19: Found: total_spent(1110.0)
2220: Found: query(1110.0) | {'Result': 'TotalSpent = 1110.0'}22 20: Found: query(1110.0) | {'Result': 'TotalSpent = 1110.0'}
23 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op