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_money_made(BarsSold, 4, Candidate Variable_0)4 2: Searching: _16922=4
5 3: Found: 4=4
6 4: Searching: total_money_made(Candidate Variable_1, 4, Candidate Variable_0)
53: Searching: _14512=117 5: Searching: _18764=11
64: Found: 11=118 6: Found: 11=11
75: Searching: _15738=4*119 7: Searching: true
86: Found: 44=4*1110 8: Found: true
97: Searching: _16964=7
108: Found: 7=7
119: Searching: _18190=11-711 9: Searching: _21190=7
1210: Found: 4=11-712 10: Found: 7=7
1311: Searching: _19416=4*413 11: Searching: _22416 is 11-7
14 12: Found: 4 is 11-7
15 13: Searching: _8852 is 4*4
1412: Found: 16=4*416 14: Found: 16 is 4*4
1513: Found: total_money_made(4, 4, 16)17 15: Found: total_money_made(4, 4, 16)
1614: Found: query(16) | {'Result': 'TotalMoney = 16'}18 16: Found: query(16) | {'Result': 'TotalMoney = 16'}
19 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op