f1[Path 1]:f1[Path 1]:
nn2 0: Start of execution: Beginning Search
3 1: Searching: query(Candidate Variable_0)
4 2: Searching: query_new_price(Candidate Variable_0)
5 3: Searching: new_price(3, Candidate Variable_0)
6 4: Searching: _5830 is 3*3
7 5: Found: 9 is 3*3
8 6: Found: new_price(3, 9)
9 7: Found: query_new_price(9)
10 8: Found: query(9) | {'Result': 'Answer = 9'}
211
t30: Start of execution: Beginning Searcht
4 
51: Searching: query(Candidate Variable_0)
6 
72: Searching: query_new_price(Candidate Variable_0)
8 
93: Searching: new_price(3, Candidate Variable_0)
10 
114: Found: new_price(3, 9)
12 
135: Found: query_new_price(9)
14 
156: Found: query(9) | {'Result': 'Answer = 9'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op