Step 69
CleanupUnusedVariables
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
C & !CConjecture dump step 69; start counts: 1 538 ; inc counts: 537 549 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 594 ; inc counts: 594 593 ; iterators: Walk_iterator FlattenNode_iterator ; FAILED
CConjecture dump step 69; start counts: 1 2 ; inc counts: 1 3 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 448 ; inc counts: 447 461 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 87 ; inc counts: 86 118 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 91 ; inc counts: 90 125 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 589 ; inc counts: 589 588 ; iterators: Walk_iterator FlattenNode_iterator ; FAILED
CConjecture dump step 69; start counts: 1 2 ; inc counts: 1 5 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 501 ; inc counts: 500 515 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 140 ; inc counts: 139 172 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 144 ; inc counts: 143 179 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 536 ; inc counts: 535 547 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 489 ; inc counts: 488 501 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 439 ; inc counts: 438 455 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 489 ; inc counts: 488 502 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 311 ; inc counts: 310 330 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 274 ; inc counts: 273 295 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 243 ; inc counts: 242 266 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 439 ; inc counts: 438 454 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 492 ; inc counts: 491 504 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 274 ; inc counts: 273 296 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 401 ; inc counts: 400 418 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 476 ; inc counts: 475 490 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 243 ; inc counts: 242 267 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 209 ; inc counts: 208 234 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 401 ; inc counts: 400 419 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 476 ; inc counts: 475 489 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 311 ; inc counts: 310 331 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 581 ; inc counts: 581 580 ; iterators: Walk_iterator FlattenNode_iterator ; FAILED
CConjecture dump step 69; start counts: 1 4 ; inc counts: 93 24 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 47 ; inc counts: 46 83 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 392 ; inc counts: 391 405 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 439 ; inc counts: 438 451 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 404 ; inc counts: 403 419 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 43 ; inc counts: 42 76 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 110 ; inc counts: 109 135 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 404 ; inc counts: 403 418 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 445 ; inc counts: 444 455 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 214 ; inc counts: 213 235 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 214 ; inc counts: 213 234 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 392 ; inc counts: 391 406 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 342 ; inc counts: 341 358 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 395 ; inc counts: 394 408 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 177 ; inc counts: 176 199 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 304 ; inc counts: 303 322 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 379 ; inc counts: 378 394 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 177 ; inc counts: 176 200 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 146 ; inc counts: 145 171 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 112 ; inc counts: 111 138 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 379 ; inc counts: 378 393 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 304 ; inc counts: 303 323 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 342 ; inc counts: 341 359 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
C & !CConjecture dump step 69; start counts: 1 146 ; inc counts: 145 170 ; iterators: Walk_iterator FlattenNode_iterator ; SUCCEEDED
CConjecture dump step 69; start counts: 1 22 ; inc counts: 558 27 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; FAILED