f1[Path 1]:f1[Path 1]:
t20: Start of execution: Beginning Searcht2 0: Start of execution: Beginning Search
31: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
42: Searching: calculate_change(4.2, 9.45, 1.35, 20, Candidate Variable_0)4 2: Searching: calculate_change(4.2, 9.45, 1.35, 20, Candidate Variable_0)
53: Searching: _14520 is 4.2+9.45+1.355 3: Searching: _14542 is 4.2+9.45+1.35
64: Found: 15.0 is 4.2+9.45+1.356 4: Found: 14.999999999999998 is 4.2+9.45+1.35
75: Searching: _15772 is 20.0-15.07 5: Searching: _5830 is 20-14.999999999999998
86: Found: 5.0 is 20.0-15.08 6: Found: 5.000000000000002 is 20-14.999999999999998
9 7: Searching: 5.000000000000002>=0
10 8: Found: 5.000000000000002>=0
97: Found: calculate_change(4.2, 9.45, 1.35, 20, 5.0)11 9: Found: calculate_change(4.2, 9.45, 1.35, 20, 5.000000000000002)
108: Found: query(5.0) | {'Result': 'Change = 5.0'}12 10: Found: query(5.000000000000002) | {'Result': 'Change = 5.000000000000002'}
13 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op