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: query_net_earnings(Candidate Variable_0)4 2: Searching: query_net_earnings(Candidate Variable_0)
53: Searching: net_earnings(Candidate Variable_0)5 3: Searching: net_earnings(Candidate Variable_0)
64: Searching: cupcake_sales(20, Candidate Variable_1)6 4: Searching: cupcake_sales(20, Candidate Variable_1)
75: Searching: _14512 is 20*27 5: Searching: _15116 is 20*2
86: Found: 40 is 20*28 6: Found: 40 is 20*2
97: Found: cupcake_sales(20, 40)9 7: Found: cupcake_sales(20, 40)
108: Searching: cookie_sales(40, Candidate Variable_2)10 8: Searching: cookie_sales(40, Candidate Variable_2)
119: Searching: _16976 is 40*111 9: Searching: _17572 is 40*1
1210: Found: 40 is 40*112 10: Found: 40 is 40*1
1311: Found: cookie_sales(40, 40)13 11: Found: cookie_sales(40, 40)
1412: Searching: tray_expense(5, Candidate Variable_3)14 12: Searching: tray_expense(5, Candidate Variable_3)
1513: Searching: _21896 is 5*415 13: Searching: _20028 is 5*4
1614: Found: 20 is 5*416 14: Found: 20 is 5*4
1715: Found: tray_expense(5, 20)17 15: Found: tray_expense(5, 20)
1816: Searching: _5834 is 40+40-2018 16: Searching: _5830 is 40+40-20
1917: Found: 60 is 40+40-2019 17: Found: 60 is 40+40-20
2018: Found: net_earnings(60)20 18: Found: net_earnings(60)
2119: Found: query_net_earnings(60)21 19: Found: query_net_earnings(60)
2220: Found: query(60) | {'Result': 'NetEarnings = 60'}22 20: Found: query(60) | {'Result': 'NetEarnings = 60'}
23 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op