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: red_paint_used(Candidate Variable_0)4 2: Searching: red_paint_used(Candidate Variable_0)
53: Searching: total_paint_used(12)5 3: Searching: total_paint_used(Candidate Variable_1)
64: Found: total_paint_used(12)6 4: Found: total_paint_used(12)
75: Searching: _14512 is 12/67 5: Searching: _5830 is 12/6
86: Found: 2 is 12/68 6: Found: 2 is 12/6
97: Found: red_paint_used(2)9 7: Found: red_paint_used(2)
108: Found: query(2) | {'Result': 'Red = 2'}10 8: Found: query(2) | {'Result': 'Red = 2'}
11 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op