f1[Path 1]:f1[Path 1]:
2 0: Start of execution: Beginning Search2 0: Start of execution: Beginning Search
n3 1: Searching: query(ActualNumber)n3 1: Searching: query(Candidate Variable_0)
4 2: Searching: bookmark_sold(72, 9/2)4 2: Searching: bookmark_sold(72, 9/2)
n5 3: Searching: _14540 is 9/2 / 72n5 3: Fail: bookmark_sold(72, 9/2) | {'Result': 'Search Failed'}
6 4: Found: 0.25 is 9/2 / 726 4: Fail: query(Candidate Variable_0) | {'Result': 'Search Failed'}
7 5: Searching: _15772 is 72*0.25
8 6: Found: 18 is 72*0.25
9 7: Found: bookmark_sold(72, 9/2) = 18
10 8: Found: query(18) | {'Result': 'ActualNumber = 18'}
117
t12 The search paths and the respective answers are checked and found to be correct.t
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op