Step 66
ApplyTopPolicy
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 66; start counts: 1 1 1 1 ; inc counts: 6 7 1 448 ; iterators: Walk_iterator OOStd::Sequence OOStd::Sequence Walk_iterator ; SUCCEEDED
CConjecture dump step 66; start counts: 1 18 1 ; inc counts: 600 72 2 ; iterators: Walk_iterator OOStd::Sequence OOStd::Sequence ; FAILED