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: extra_sodas(Candidate Variable_0)4 2: Searching: extra_sodas(Candidate Variable_0)
53: Searching: total_sodas(Candidate Variable_1)5 3: Searching: total_sodas(Candidate Variable_1)
64: Found: total_sodas(11)6 4: Found: total_sodas(11)
75: Searching: sodas_consumed(Candidate Variable_2)7 5: Searching: sodas_consumed(Candidate Variable_2)
86: Found: sodas_consumed(3)8 6: Found: sodas_consumed(3)
97: Searching: _15734 is 11-39 7: Searching: _5830 is 11-3
108: Found: 8 is 11-310 8: Found: 8 is 11-3
119: Found: extra_sodas(8)11 9: Found: extra_sodas(8)
1210: Found: query(8) | {'Result': 'Extras = 8'}12 10: Found: query(8) | {'Result': 'Extras = 8'}
13 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op