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: remaining_miles(36, 25, Candidate Variable_0)4 2: Searching: remaining_miles(36, 25, Candidate Variable_0)
53: Searching: _14540 is 25-75 3: Searching: _16520 is 25-7
64: Found: 18 is 25-76 4: Found: 18 is 25-7
75: Searching: _15772 is 25+187 5: Searching: _17824 is 25+18
86: Found: 43 is 25+188 6: Found: 43 is 25+18
9 7: Searching: _18976 is 9
10 8: Found: 9 is 9
97: Searching: _17010 is 36-911 9: Searching: _7828 is 36-9
108: Found: 27 is 36-912 10: Found: 27 is 36-9
119: Found: remaining_miles(36, 25, 27)13 11: Found: remaining_miles(36, 25, 27)
1210: Found: query(27) | {'Result': 'RemainingMiles = 27'}14 12: Found: query(27) | {'Result': 'RemainingMiles = 27'}
15 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op