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: predict_power_drill_orders(may, Candidate Variable_0)4 2: Searching: predict_power_drill_orders(may, Candidate Variable_0)
5 3: Searching: _16602 is 6-5
53: Found: Diff1 is 6 - 56 4: Found: 1 is 6-5
7 5: Searching: _17832 is 8-6
64: Found: Diff2 is 8 - 68 6: Found: 2 is 8-6
9 7: Searching: _18984 is 11-8
75: Found: Diff3 is 11 - 810 8: Found: 3 is 11-8
11 9: Searching: _7842 is 11+3
86: Found: 14 is 11 + 312 10: Found: 14 is 11+3
97: Found: predict_power_drill_orders(may, 14)13 11: Found: predict_power_drill_orders(may, 14)
108: Found: query(14) | {'Result': 'PredictedDrills = 14'}14 12: Found: query(14) | {'Result': 'PredictedDrills = 14'}
15 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op