f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 0: Start of execution: Beginning Search
3 1: Searching: query(Candidate Variable_0)3 1: Searching: query(Candidate Variable_0)
4 2: Searching: number_of_boxes(76, 5, Candidate Variable_0)4 2: Searching: number_of_boxes(76, 5, Candidate Variable_0)
n5 3: Searching: _14512 is 76-46n5 3: Searching: _14522 is 76-46
6 4: Found: 30 is 76-466 4: Found: 30 is 76-46
7 5: Searching: _15738 is ceil(30/5) + 17 5: Searching: _5830 is ceil
8 6: Found: 7 is ceil(30/5) + 18 6: Found: 7 is ceil
9 7: Found: number_of_boxes(76, 5, 7)9 7: Found: number_of_boxes(76, 5, 7)
t10 8: Found: query(7) | {'Result': 'NumberOfBoxes = 7'}t10 8: Found: query(7) | {'Result': 'X = 7'}
11 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op