Step 50
PlaceLabelsInArray
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 50; start counts: 1 2 ; inc counts: 1 8 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; SUCCEEDED
R CConjecture dump step 50; start counts: 1 1 1 1 10 ; inc counts: 3 7 2 9 79 ; iterators: OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::Sequence Walk_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 0 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 138 ; inc counts: 137 201 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 0 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 481 ; inc counts: 481 480 ; iterators: Walk_iterator FlattenNode_iterator ; FAILED
R CConjecture dump step 50; start counts: 1 1 1 1 14 ; inc counts: 0 3 3 13 116 ; iterators: OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::Sequence Walk_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 1 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 153 ; inc counts: 152 216 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 1 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 176 ; inc counts: 175 235 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 1 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 492 ; inc counts: 492 491 ; iterators: Walk_iterator FlattenNode_iterator ; FAILED
R CConjecture dump step 50; start counts: 1 1 1 1 17 ; inc counts: 4 6 2 16 136 ; iterators: OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::Sequence Walk_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 2 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 160 ; inc counts: 159 222 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 2 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 158 ; inc counts: 157 221 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 2 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 503 ; inc counts: 503 502 ; iterators: Walk_iterator FlattenNode_iterator ; FAILED
R CConjecture dump step 50; start counts: 1 1 1 1 19 ; inc counts: 2 1 3 18 155 ; iterators: OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::Sequence Walk_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 3 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 236 ; inc counts: 235 290 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 3 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 199 ; inc counts: 198 255 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 3 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 514 ; inc counts: 514 513 ; iterators: Walk_iterator FlattenNode_iterator ; FAILED
R CConjecture dump step 50; start counts: 1 1 1 1 23 ; inc counts: 2 4 1 22 178 ; iterators: OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::Sequence Walk_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 4 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 245 ; inc counts: 244 298 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 4 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 209 ; inc counts: 208 265 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 4 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 525 ; inc counts: 525 524 ; iterators: Walk_iterator FlattenNode_iterator ; FAILED
R CConjecture dump step 50; start counts: 1 1 1 1 26 ; inc counts: 8 5 0 25 200 ; iterators: OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::Sequence Walk_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 5 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 236 ; inc counts: 235 288 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 5 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 319 ; inc counts: 318 361 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 5 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 536 ; inc counts: 536 535 ; iterators: Walk_iterator FlattenNode_iterator ; FAILED
R CConjecture dump step 50; start counts: 1 1 1 1 29 ; inc counts: 1 8 3 28 220 ; iterators: OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::Sequence Walk_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 6 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 277 ; inc counts: 276 327 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 6 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 296 ; inc counts: 295 344 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 6 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 547 ; inc counts: 547 546 ; iterators: Walk_iterator FlattenNode_iterator ; FAILED
R CConjecture dump step 50; start counts: 1 1 1 1 36 ; inc counts: 5 8 0 35 298 ; iterators: OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::Sequence Walk_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 7 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 378 ; inc counts: 377 419 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 7 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 417 ; inc counts: 416 450 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 7 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 558 ; inc counts: 558 557 ; iterators: Walk_iterator FlattenNode_iterator ; FAILED
R CConjecture dump step 50; start counts: 1 1 1 1 40 ; inc counts: 6 7 3 39 322 ; iterators: OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::Sequence Walk_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 8 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 416 ; inc counts: 415 451 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 8 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 441 ; inc counts: 440 473 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 8 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 569 ; inc counts: 569 568 ; iterators: Walk_iterator FlattenNode_iterator ; FAILED
R CConjecture dump step 50; start counts: 1 1 1 1 43 ; inc counts: 2 7 0 42 344 ; iterators: OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::Sequence Walk_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 9 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 443 ; inc counts: 442 476 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 9 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 423 ; inc counts: 422 451 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 9 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 580 ; inc counts: 580 579 ; iterators: Walk_iterator FlattenNode_iterator ; FAILED
R CConjecture dump step 50; start counts: 1 1 1 1 47 ; inc counts: 0 7 2 46 367 ; iterators: OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::Sequence Walk_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 10 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 451 ; inc counts: 450 483 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 10 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 498 ; inc counts: 497 523 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 10 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 591 ; inc counts: 591 590 ; iterators: Walk_iterator FlattenNode_iterator ; FAILED
R CConjecture dump step 50; start counts: 1 1 1 1 50 ; inc counts: 0 6 0 49 389 ; iterators: OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::Sequence Walk_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 11 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 431 ; inc counts: 430 459 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 11 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 472 ; inc counts: 471 490 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 11 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 602 ; inc counts: 602 601 ; iterators: Walk_iterator FlattenNode_iterator ; FAILED
R CConjecture dump step 50; start counts: 1 1 1 1 53 ; inc counts: 1 2 0 52 403 ; iterators: OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::Sequence Walk_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 12 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 525 ; inc counts: 524 546 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 12 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 611 ; inc counts: 611 610 ; iterators: Walk_iterator FlattenNode_iterator ; FAILED
R CConjecture dump step 50; start counts: 1 1 1 1 58 ; inc counts: 3 5 0 57 429 ; iterators: OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::Sequence Walk_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 13 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 501 ; inc counts: 500 528 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 13 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 542 ; inc counts: 541 562 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 13 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 622 ; inc counts: 622 621 ; iterators: Walk_iterator FlattenNode_iterator ; FAILED
R CConjecture dump step 50; start counts: 1 1 1 1 62 ; inc counts: 1 0 2 61 446 ; iterators: OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::Sequence Walk_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 14 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 540 ; inc counts: 539 562 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 14 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 581 ; inc counts: 580 594 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
R R C & !CConjecture dump step 50; start counts: 1 ; inc counts: 14 ; iterators: OOStd::Sequence ; SUCCEEDED
R R CConjecture dump step 50; start counts: 1 633 ; inc counts: 633 632 ; iterators: Walk_iterator FlattenNode_iterator ; FAILED
R CConjecture dump step 50; start counts: 1 1 1 1 66 ; inc counts: 9 9 4 66 468 ; iterators: OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::Sequence Walk_iterator ; FAILED
CConjecture dump step 50; start counts: 1 21 ; inc counts: 639 30 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; FAILED