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: initial_red_roses(Candidate Variable_1)4 2: Searching: initial_red_roses(Candidate Variable_1)
53: Found: initial_red_roses(8)5 3: Found: initial_red_roses(8)
64: Searching: final_red_roses(Candidate Variable_2)6 4: Searching: final_red_roses(Candidate Variable_2)
75: Found: final_red_roses(14)7 5: Found: final_red_roses(14)
86: Searching: roses_cut(8, 14, Candidate Variable_0)8 6: Searching: roses_cut(8, 14, Candidate Variable_0)
97: Searching: _14512 is 14-89 7: Searching: _5830 is 14-8
108: Found: 6 is 14-810 8: Found: 6 is 14-8
119: Found: roses_cut(8, 14, 6)11 9: Found: roses_cut(8, 14, 6)
1210: Found: query(6) | {'Result': 'RosesCut = 6'}12 10: Found: query(6) | {'Result': 'RosesCut = 6'}
13 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op