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: additional_weeks_needed(Candidate Variable_0)4 2: Searching: additional_weeks_needed(Candidate Variable_0)
n5 3: Searching: _14512=200n5 3: Searching: _14508=200
6 4: Found: 200=2006 4: Found: 200=200
n7 5: Searching: _15738=12n7 5: Searching: _15734=12
8 6: Found: 12=128 6: Found: 12=12
n9 7: Searching: _16964=10n9 7: Searching: _16960=10
10 8: Found: 10=1010 8: Found: 10=10
11 9: Searching: toothpicks_saved(12, 10, Candidate Variable_1)11 9: Searching: toothpicks_saved(12, 10, Candidate Variable_1)
n12 10: Searching: _18206 is 12*10n12 10: Searching: _18186 is 12*10
13 11: Found: 120 is 12*1013 11: Found: 120 is 12*10
14 12: Found: toothpicks_saved(12, 10, 120)14 12: Found: toothpicks_saved(12, 10, 120)
15 13: Searching: toothpicks_needed(200, 120, Candidate Variable_2)15 13: Searching: toothpicks_needed(200, 120, Candidate Variable_2)
n16 14: Searching: _21896 is 200-120n16 14: Searching: _20650 is 200-120
17 15: Found: 80 is 200-12017 15: Found: 80 is 200-120
18 16: Found: toothpicks_needed(200, 120, 80)18 16: Found: toothpicks_needed(200, 120, 80)
19 17: Searching: weeks_needed(80, 10, Candidate Variable_0)19 17: Searching: weeks_needed(80, 10, Candidate Variable_0)
n20 18: Searching: _25598 is ceil(80/10)n20 18: Searching: _5830 is ceil
21 19: Found: 8 is ceil(80/10)21 19: Found: 8 is ceil
22 20: Found: weeks_needed(80, 10, 8)22 20: Found: weeks_needed(80, 10, 8)
23 21: Found: additional_weeks_needed(8)23 21: Found: additional_weeks_needed(8)
24 22: Found: query(8) | {'Result': 'WeeksNeeded = 8'}24 22: Found: query(8) | {'Result': 'WeeksNeeded = 8'}
tt25 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op