f1[Path 1]:f1[Path 1]:
2 0: Start of execution: Beginning Search2 0: Start of execution: Beginning Search
n3 1: Searching: query(Candidate Variable_0, Candidate Variable_1)n3 1: Searching: query(Candidate Variable_0)
4 2: Searching: _5834=104 2: Searching: _13906=10
5 3: Found: 10=105 3: Found: 10=10
n6 4: Searching: _7060=12n6 4: Searching: _15132=12
7 5: Found: 12=127 5: Found: 12=12
n8 6: Searching: _8286=14n8 6: Searching: _16358=14
9 7: Found: 14=149 7: Found: 14=14
n10 8: Searching: cake_recipe(10, 12, 14, Candidate Variable_0, Candidate Variable_1)n10 8: Searching: cake_recipe(10, 12, 14, Candidate Variable_1, Candidate Variable_2)
11 9: Searching: _10154 is 12-1011 9: Searching: _13902 is 12-10
12 10: Found: 2 is 12-1012 10: Found: 2 is 12-10
n13 11: Searching: _11380 is 14-10n13 11: Searching: _13904 is 14-10
14 12: Found: 4 is 14-1014 12: Found: 4 is 14-10
15 13: Found: cake_recipe(10, 12, 14, 2, 4)15 13: Found: cake_recipe(10, 12, 14, 2, 4)
t16 14: Found: query((2, 4)) | {'Result': 'SugarDiff = 2, FlourDiff = 4'}t16 14: Found: query((2, 4)) | {'Result': ['(2''4']}
17 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op