Step 2
MakeAllForUncombable
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 2; start counts: 1 ; inc counts: 34 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 2; start counts: 1 ; inc counts: 30 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 2; start counts: 1 ; inc counts: 34 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 2; start counts: 1 ; inc counts: 73 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 2; start counts: 1 ; inc counts: 82 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 2; start counts: 1 ; inc counts: 83 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 2; start counts: 1 ; inc counts: 93 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 2; start counts: 1 ; inc counts: 103 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 2; start counts: 1 ; inc counts: 145 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 2; start counts: 1 ; inc counts: 120 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 2; start counts: 1 ; inc counts: 153 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 2; start counts: 1 ; inc counts: 146 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 2; start counts: 1 ; inc counts: 162 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 2; start counts: 1 ; inc counts: 196 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 2; start counts: 1 ; inc counts: 209 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 2; start counts: 1 ; inc counts: 216 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 2; start counts: 1 ; inc counts: 215 ; iterators: Walk_iterator ; SUCCEEDED
CConjecture dump step 2; start counts: 1 ; inc counts: 265 ; iterators: Walk_iterator ; FAILED