Step 51
LabelTypeToEnum
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 51; start counts: 1 2 2 719 ; inc counts: 6 733 718 725 ; iterators: Walk_iterator Walk_iterator Walk_iterator FlattenNode_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 19 ; inc counts: 18 25 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 101 ; inc counts: 100 105 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 7 ; inc counts: 6 87 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 98 ; inc counts: 97 102 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 110 ; inc counts: 109 185 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 104 ; inc counts: 103 181 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 639 ; inc counts: 639 638 ; iterators: Walk_iterator FlattenNode_iterator ; FAILED
R CConjecture dump step 51; start counts: 1 ; inc counts: 227 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 133 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 237 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 166 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 184 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 272 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 201 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 279 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 287 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 322 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 246 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 252 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 342 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 250 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 413 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 414 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 449 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 336 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 462 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 357 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 486 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 410 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 414 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 399 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 518 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 512 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 533 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 534 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 552 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 581 ; iterators: Walk_iterator ; FAILED
R CConjecture dump step 51; start counts: 1 ; inc counts: 137 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 169 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 293 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 233 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 310 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 240 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 366 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 442 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 356 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 384 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 413 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 430 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 423 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 452 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 475 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 482 ; iterators: Walk_iterator ; SUCCEEDED
R CConjecture dump step 51; start counts: 1 ; inc counts: 613 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 51; start counts: 1 21 ; inc counts: 619 1994 ; iterators: Walk_iterator Walk_iterator ; FAILED