Step 4
MakeAllBreakUncombable
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 4; start counts: 1 ; inc counts: 98 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 4; start counts: 1 ; inc counts: 125 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 4; start counts: 1 ; inc counts: 265 ; iterators: Walk_iterator ; FAILED