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_spending(Candidate Variable_0)4 2: Call: total_spending(Candidate Variable_0)
53: Searching: tank_top_cost(Candidate Variable_1)5 3: Call: tank_top_cost(Candidate Variable_1)
64: Found: tank_top_cost(10)6 4: Exit: tank_top_cost(10)
75: Searching: running_shorts_cost(Candidate Variable_2)7 5: Call: running_shorts_cost(Candidate Variable_2)
86: Searching: tank_top_cost(Candidate Variable_3)8 6: Call: tank_top_cost(Candidate Variable_3)
97: Found: tank_top_cost(10)9 7: Exit: tank_top_cost(10)
108: Searching: _15734 is 10+510 8: Call: _15726 is 10+5
119: Found: 15 is 10+511 9: Exit: 15 is 10+5
1210: Found: running_shorts_cost(15)12 10: Exit: running_shorts_cost(15)
1311: Searching: tennis_shoes_cost(Candidate Variable_4)13 11: Call: tennis_shoes_cost(Candidate Variable_4)
1412: Searching: _16976 is 48//214 12: Call: _20002 is 48
1513: Found: 24 is 48//215 13: Exit: 48 is 48
16 14: Call: _19392 is 48//2
17 15: Exit: 24 is 48//2
1614Found: tennis_shoes_cost(24)18 16Exit: tennis_shoes_cost(24)
1715Searching: athletic_socks_cost(Candidate Variable_5)19 17Call: athletic_socks_cost(Candidate Variable_5)
1816: Searching: _18810 is 8-220 18: Call: _23676 is 8
1917: Found: 6 is 8-221 19: Exit: 8 is 8
22 20: Call: _24902 is 2
23 21: Exit: 2 is 2
24 22: Call: _23066 is 8-2
25 23: Exit: 6 is 8-2
2018Found: athletic_socks_cost(6)26 24Exit: athletic_socks_cost(6)
2119: Searching: _18196 is 10+15+24+627 25: Call: _5830 is 10+15+24+6
2220Found: 55 is 10+15+24+628 26Exit: 55 is 10+15+24+6
2321Found: total_spending(55)29 27Exit: total_spending(55)
2422Found: query(55) | {'Result': 'TotalSpending = 55'}30 28Exit: query(55) | {'Result': 'TotalSpending = 55'}
31 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op