f1[Path 1]:f1[Path 1]:
nn2 0: Start of execution: Beginning Search
3 1: Searching: query(Candidate Variable_0)
4 2: Searching: initial_money(Candidate Variable_1)
5 3: Found: initial_money(54)
6 4: Searching: remaining_money(Candidate Variable_2)
7 5: Found: remaining_money(29)
8 6: Searching: supermarket_spending(54, 29, Candidate Variable_0)
9 7: Fail: supermarket_spending(54, 29, Candidate Variable_0) | {'Result': 'Search Failed'}
10 8: Fail: query(Candidate Variable_0) | {'Result': 'Search Failed'}
211
t30: Start of execution: Beginning Searcht
41: Searching: query(Candidate Variable_0)
52: Searching: initial_money(Candidate Variable_1)
63: Found: initial_money(54)
74: Searching: remaining_money(Candidate Variable_2)
85: Found: remaining_money(29)
96: Searching: supermarket_spending(54, 29, Candidate Variable_0)
107: Searching: _14524 is 54-29
118: Found: 25 is 54-29
129: Found: supermarket_spending(54, 29, 25)
1310: Found: query(25) | {'Result': 'AmountSpent = 25'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op