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: fill_shelves(10, 22, 4, Candidate Variable_0)4 2: Searching: fill_shelves(10, 22, 4, Candidate Variable_0)
53: Searching: _14532 is 10+225 3: Searching: _14520 is 10+22
64: Found: 32 is 10+226 4: Found: 32 is 10+22
75: Searching: _15764 is 32//47 5: Searching: _5830 is 32//4
86: Found: 8 is 32//48 6: Found: 8 is 32//4
97: Found: fill_shelves(10, 22, 4, 8)9 7: Found: fill_shelves(10, 22, 4, 8)
108: Found: query(8) | {'Result': 'ShelvesFilled = 8'}10 8: Found: query(8) | {'Result': 'ShelvesFilled = 8'}
11 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op