Lines Matching refs:step
31 Retrieving solution from exact step
32 Reusing snapshot 5 step 9, time 1.
38 Reusing snapshot 0, step 3, time 6.
39 Reusing snapshot 1, step 5, time 5.
58 Reusing snapshot 0, step 3, time 6.
59 Reusing snapshot 1, step 5, time 5.
72 Retrieving solution from exact step
73 Reusing snapshot 3 step 2, time 3.
79 Reusing snapshot 0, step 3, time 6.
80 Reusing snapshot 1, step 5, time 5.
81 Reusing snapshot 2, step 0, time 4.
82 Reusing snapshot 3, step 2, time 3.
83 Reusing snapshot 4, step 1, time 2.
84 Reusing snapshot 5, step 9, time 1.
96 Reusing snapshot 0, step 3, time 6.
97 Reusing snapshot 1, step 5, time 5.
98 Reusing snapshot 2, step 0, time 4.
99 Reusing snapshot 3, step 2, time 3.
115 Reusing snapshot 0, step 3, time 6.
116 Reusing snapshot 1, step 5, time 5.
117 Reusing snapshot 2, step 0, time 4.
118 Reusing snapshot 3, step 2, time 3.
132 Retrieving solution from exact step
133 Reusing snapshot 3 step 2, time 3.
137 Reusing snapshot 0, step 3, time 6.
138 Reusing snapshot 1, step 5, time 5.
155 Retrieving solution from exact step
165 Reusing snapshot 0, step 3, time 6.
166 Reusing snapshot 1, step 5, time 5.
167 Reusing snapshot 2, step 9, time 1.
184 Reusing snapshot 0, step 3, time 6.
185 Reusing snapshot 1, step 5, time 5.
186 Reusing snapshot 3, step 0, time 4.
187 Reusing snapshot 4, step 2, time 3.
188 Reusing snapshot 5, step 1, time 2.
189 Reusing snapshot 2, step 9, time 1.
194 Reusing snapshot 0, step 3, time 6.
195 Reusing snapshot 1, step 5, time 5.
212 Reusing snapshot 0, step 3, time 6.
213 Reusing snapshot 1, step 5, time 5.
230 Reusing snapshot 0, step 3, time 6.
231 Reusing snapshot 1, step 5, time 5.
232 Reusing snapshot 3, step 0, time 4.
233 Reusing snapshot 4, step 2, time 3.
234 Reusing snapshot 5, step 1, time 2.
235 Reusing snapshot 2, step 9, time 1.
236 Retrieving solution from exact step
237 Reusing snapshot 2 step 9, time 1.
243 Reusing snapshot 0, step 3, time 6.
244 Reusing snapshot 1, step 5, time 5.
263 Reusing snapshot 0, step 3, time 6.
264 Reusing snapshot 1, step 5, time 5.
277 Retrieving solution from exact step
278 Reusing snapshot 4 step 2, time 3.
284 Reusing snapshot 0, step 3, time 6.
285 Reusing snapshot 1, step 5, time 5.
286 Reusing snapshot 3, step 0, time 4.
287 Reusing snapshot 4, step 2, time 3.
288 Reusing snapshot 5, step 1, time 2.
289 Reusing snapshot 2, step 9, time 1.
301 Reusing snapshot 0, step 3, time 6.
302 Reusing snapshot 1, step 5, time 5.
303 Reusing snapshot 3, step 0, time 4.
304 Reusing snapshot 4, step 2, time 3.
330 Reusing snapshot 0, step 1, time 2.
331 Reusing snapshot 1, step 0, time 1.
340 Reusing snapshot 2, step 2, time 3.
341 Reusing snapshot 0, step 1, time 2.
342 Reusing snapshot 1, step 0, time 1.
351 Reusing snapshot 3, step 3, time 4.
352 Reusing snapshot 2, step 2, time 3.
353 Reusing snapshot 0, step 1, time 2.
354 Reusing snapshot 1, step 0, time 1.
363 Reusing snapshot 4, step 4, time 5.
364 Reusing snapshot 3, step 3, time 4.
365 Reusing snapshot 2, step 2, time 3.
366 Reusing snapshot 0, step 1, time 2.
367 Reusing snapshot 1, step 0, time 1.
376 Reusing snapshot 5, step 5, time 6.
377 Reusing snapshot 4, step 4, time 5.
378 Reusing snapshot 3, step 3, time 4.
379 Reusing snapshot 2, step 2, time 3.
380 Reusing snapshot 0, step 1, time 2.
389 Reusing snapshot 1, step 6, time 7.
390 Reusing snapshot 5, step 5, time 6.
391 Reusing snapshot 4, step 4, time 5.
392 Reusing snapshot 3, step 3, time 4.
393 Reusing snapshot 2, step 2, time 3.
402 Reusing snapshot 0, step 7, time 8.
403 Reusing snapshot 1, step 6, time 7.
404 Reusing snapshot 5, step 5, time 6.
405 Reusing snapshot 4, step 4, time 5.
406 Reusing snapshot 3, step 3, time 4.
415 Reusing snapshot 2, step 8, time 9.
416 Reusing snapshot 0, step 7, time 8.
417 Reusing snapshot 1, step 6, time 7.
418 Reusing snapshot 5, step 5, time 6.
419 Reusing snapshot 4, step 4, time 5.