Step 67
DetectSuperLoop
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 67; start counts: 1 1 ; inc counts: 8 16 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
R CConjecture dump step 67; start counts: 1 ; inc counts: 82 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 67; start counts: 1 ; inc counts: 415 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 67; start counts: 1 ; inc counts: 594 ; iterators: Walk_iterator ; FAILED