f1[Path 1]:f1[Path 1]:
nn2 0: Start of execution: Beginning Search
3 1: Searching: query(Candidate Variable_0)
4 2: Searching: current_games(Candidate Variable_1)
5 3: Found: current_games(22)
6 4: Searching: desired_total_games(Candidate Variable_2)
7 5: Found: desired_total_games(140)
8 6: Searching: buy_games(22, 140, Candidate Variable_0)
9 7: Fail: buy_games(22, 140, 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: current_games(Candidate Variable_1)
63: Found: current_games(22)
74: Searching: desired_total_games(Candidate Variable_2)
85: Found: desired_total_games(140)
96: Searching: buy_games(22, 140, Candidate Variable_0)
107: Searching: _18202 is 140-22
118: Found: 118 is 140-22
129: Found: buy_games(22, 140, 118)
1310: Found: query(118) | {'Result': 'GamesToBuy = 118'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op