Step 0
DetectAllSCTypes
Hit counts breakdown based on test/examples/sctest13.cpp
step 0 DetectSCType 2 hits in Compare sr/search_replace.cpp :189
step 0 DetectSCType 373 hits in DuplicateNode sr/search_replace.cpp :242
step 0 DetectSCType 372 hits in DuplicateSubtree sr/search_replace.cpp :265
step 0 DetectSCType 1 hits in KeyReplaceNodes sr/search_replace.cpp :338
step 0 DetectSCType 14 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 DetectSCType 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 DetectSCType 1 hits in ReplacePhase sr/search_replace.cpp :371
step 0 DetectSCType 2 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 DetectSCType 1 hits in operator() sr/search_replace.cpp :462
step 0 Star 2 hits in MatchRange sr/search_replace.cpp :583
step 0 SlaveSearchReplace 1 hits in Compare sr/search_replace.cpp :189
step 0 SlaveSearchReplace 373 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 SlaveSearchReplace 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 SlaveSearchReplace 1 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 SlaveSearchReplace 1 hits in operator() sr/search_replace.cpp :462
step 0 SlaveSearchReplace 2 hits in Compare sr/search_replace.cpp :189
step 0 SlaveSearchReplace 368 hits in DuplicateNode sr/search_replace.cpp :242
step 0 SlaveSearchReplace 367 hits in DuplicateSubtree sr/search_replace.cpp :265
step 0 SlaveSearchReplace 1 hits in KeyReplaceNodes sr/search_replace.cpp :338
step 0 SlaveSearchReplace 410 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 SlaveSearchReplace 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 SlaveSearchReplace 1 hits in ReplacePhase sr/search_replace.cpp :371
step 0 SlaveSearchReplace 2 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 SlaveSearchReplace 1 hits in operator() sr/search_replace.cpp :462
step 0 DetectSCBase 2 hits in Compare sr/search_replace.cpp :189
step 0 DetectSCBase 371 hits in DuplicateNode sr/search_replace.cpp :242
step 0 DetectSCBase 370 hits in DuplicateSubtree sr/search_replace.cpp :265
step 0 DetectSCBase 1 hits in KeyReplaceNodes sr/search_replace.cpp :338
step 0 DetectSCBase 22 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 DetectSCBase 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 DetectSCBase 1 hits in ReplacePhase sr/search_replace.cpp :371
step 0 DetectSCBase 2 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 DetectSCBase 1 hits in operator() sr/search_replace.cpp :462
step 0 Star 2 hits in MatchRange sr/search_replace.cpp :583
step 0 Star 4 hits in MatchRange sr/search_replace.cpp :583
step 0 Star 2 hits in MatchRange sr/search_replace.cpp :583
step 0 Star 2 hits in MatchRange sr/search_replace.cpp :583
step 0 SlaveSearchReplace 1 hits in Compare sr/search_replace.cpp :189
step 0 SlaveSearchReplace 366 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 SlaveSearchReplace 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 SlaveSearchReplace 1 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 SlaveSearchReplace 1 hits in operator() sr/search_replace.cpp :462
step 0 DetectSCDynamic 1 hits in Compare sr/search_replace.cpp :189
step 0 DetectSCDynamic 366 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 DetectSCDynamic 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 DetectSCDynamic 1 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 DetectSCDynamic 1 hits in operator() sr/search_replace.cpp :462
step 0 Star 1 hits in MatchRange sr/search_replace.cpp :583
step 0 DetectSCBase 2 hits in Compare sr/search_replace.cpp :189
step 0 DetectSCBase 366 hits in DuplicateNode sr/search_replace.cpp :242
step 0 DetectSCBase 365 hits in DuplicateSubtree sr/search_replace.cpp :265
step 0 DetectSCBase 1 hits in KeyReplaceNodes sr/search_replace.cpp :338
step 0 DetectSCBase 17 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 DetectSCBase 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 DetectSCBase 1 hits in ReplacePhase sr/search_replace.cpp :371
step 0 DetectSCBase 2 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 DetectSCBase 1 hits in operator() sr/search_replace.cpp :462
step 0 DetectSCDelta 1 hits in Compare sr/search_replace.cpp :189
step 0 DetectSCDelta 366 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 DetectSCDelta 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 DetectSCDelta 1 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 DetectSCDelta 1 hits in operator() sr/search_replace.cpp :462
step 0 TransformOf 1 hits in DecidedCompare sr/soft_patterns.cpp :9
step 0 DetectSCDynamic 1 hits in Compare sr/search_replace.cpp :189
step 0 DetectSCDynamic 366 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 DetectSCDynamic 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 DetectSCDynamic 1 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 DetectSCDynamic 1 hits in operator() sr/search_replace.cpp :462
step 0 DetectSCStatic 1 hits in Compare sr/search_replace.cpp :189
step 0 DetectSCStatic 366 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 DetectSCStatic 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 DetectSCStatic 1 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 DetectSCStatic 1 hits in operator() sr/search_replace.cpp :462
step 0 TransformOf 1 hits in DecidedCompare sr/soft_patterns.cpp :9
step 0 DetectSCStatic 1 hits in Compare sr/search_replace.cpp :189
step 0 DetectSCStatic 366 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 DetectSCStatic 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 DetectSCStatic 1 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 DetectSCStatic 1 hits in operator() sr/search_replace.cpp :462
step 0 DetectSCDelta 1 hits in Compare sr/search_replace.cpp :189
step 0 DetectSCDelta 366 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 DetectSCDelta 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 DetectSCDelta 1 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 DetectSCDelta 1 hits in operator() sr/search_replace.cpp :462
step 0 DetectTerminationFunction 1 hits in Compare sr/search_replace.cpp :189
step 0 DetectTerminationFunction 366 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 DetectTerminationFunction 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 DetectTerminationFunction 1 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 DetectTerminationFunction 1 hits in operator() sr/search_replace.cpp :462
step 0 DetectSCProcess 2 hits in Compare sr/search_replace.cpp :189
step 0 DetectSCProcess 353 hits in DuplicateNode sr/search_replace.cpp :242
step 0 DetectSCProcess 352 hits in DuplicateSubtree sr/search_replace.cpp :265
step 0 DetectSCProcess 1 hits in KeyReplaceNodes sr/search_replace.cpp :338
step 0 DetectSCProcess 17 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 DetectSCProcess 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 DetectSCProcess 1 hits in ReplacePhase sr/search_replace.cpp :371
step 0 DetectSCProcess 2 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 DetectSCProcess 1 hits in operator() sr/search_replace.cpp :462
step 0 Star 2 hits in MatchRange sr/search_replace.cpp :583
step 0 Star 10 hits in MatchRange sr/search_replace.cpp :583
step 0 DetectTerminationFunction 2 hits in Compare sr/search_replace.cpp :189
step 0 DetectTerminationFunction 363 hits in DuplicateNode sr/search_replace.cpp :242
step 0 DetectTerminationFunction 362 hits in DuplicateSubtree sr/search_replace.cpp :265
step 0 DetectTerminationFunction 1 hits in KeyReplaceNodes sr/search_replace.cpp :338
step 0 DetectTerminationFunction 632 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 DetectTerminationFunction 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 DetectTerminationFunction 1 hits in ReplacePhase sr/search_replace.cpp :371
step 0 DetectTerminationFunction 2 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 DetectTerminationFunction 1 hits in operator() sr/search_replace.cpp :462
step 0 Star 2 hits in MatchRange sr/search_replace.cpp :583
step 0 Star 4 hits in MatchRange sr/search_replace.cpp :583
step 0 Star 4 hits in MatchRange sr/search_replace.cpp :583
step 0 Star 2 hits in MatchRange sr/search_replace.cpp :583
step 0 Star 2 hits in MatchRange sr/search_replace.cpp :583
step 0 SlaveSearchReplace 2 hits in Compare sr/search_replace.cpp :189
step 0 SlaveSearchReplace 347 hits in DuplicateNode sr/search_replace.cpp :242
step 0 SlaveSearchReplace 340 hits in DuplicateSubtree sr/search_replace.cpp :265
step 0 SlaveSearchReplace 1 hits in KeyReplaceNodes sr/search_replace.cpp :338
step 0 SlaveSearchReplace 378 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 SlaveSearchReplace 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 SlaveSearchReplace 1 hits in ReplacePhase sr/search_replace.cpp :371
step 0 SlaveSearchReplace 2 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 SlaveSearchReplace 1 hits in operator() sr/search_replace.cpp :462
step 0 Star 2 hits in MatchRange sr/search_replace.cpp :583
step 0 DetectSCProcess 2 hits in Compare sr/search_replace.cpp :189
step 0 DetectSCProcess 333 hits in DuplicateNode sr/search_replace.cpp :242
step 0 DetectSCProcess 332 hits in DuplicateSubtree sr/search_replace.cpp :265
step 0 DetectSCProcess 1 hits in KeyReplaceNodes sr/search_replace.cpp :338
step 0 DetectSCProcess 14 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 DetectSCProcess 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 DetectSCProcess 1 hits in ReplacePhase sr/search_replace.cpp :371
step 0 DetectSCProcess 2 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 DetectSCProcess 1 hits in operator() sr/search_replace.cpp :462
step 0 Star 4 hits in MatchRange sr/search_replace.cpp :583
step 0 Star 4 hits in MatchRange sr/search_replace.cpp :583
step 0 Star 2 hits in MatchRange sr/search_replace.cpp :583
step 0 SlaveSearchReplace 1 hits in Compare sr/search_replace.cpp :189
step 0 SlaveSearchReplace 355 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 SlaveSearchReplace 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 SlaveSearchReplace 1 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 SlaveSearchReplace 1 hits in operator() sr/search_replace.cpp :462
step 0 Star 4 hits in MatchRange sr/search_replace.cpp :583
step 0 DetectSCProcess 2 hits in Compare sr/search_replace.cpp :189
step 0 DetectSCProcess 323 hits in DuplicateNode sr/search_replace.cpp :242
step 0 DetectSCProcess 322 hits in DuplicateSubtree sr/search_replace.cpp :265
step 0 DetectSCProcess 1 hits in KeyReplaceNodes sr/search_replace.cpp :338
step 0 DetectSCProcess 10 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 DetectSCProcess 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 DetectSCProcess 1 hits in ReplacePhase sr/search_replace.cpp :371
step 0 DetectSCProcess 2 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 DetectSCProcess 1 hits in operator() sr/search_replace.cpp :462
step 0 Star 4 hits in MatchRange sr/search_replace.cpp :583
step 0 SlaveSearchReplace 1 hits in Compare sr/search_replace.cpp :189
step 0 SlaveSearchReplace 345 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 SlaveSearchReplace 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 SlaveSearchReplace 1 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 SlaveSearchReplace 1 hits in operator() sr/search_replace.cpp :462
step 0 DetectSCNotifyImmediate 1 hits in Compare sr/search_replace.cpp :189
step 0 DetectSCNotifyImmediate 323 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 DetectSCNotifyImmediate 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 DetectSCNotifyImmediate 1 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 DetectSCNotifyImmediate 1 hits in operator() sr/search_replace.cpp :462
step 0 DetectSCNotifyDelta 1 hits in Compare sr/search_replace.cpp :189
step 0 DetectSCNotifyDelta 323 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 DetectSCNotifyDelta 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 DetectSCNotifyDelta 1 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 DetectSCNotifyDelta 1 hits in operator() sr/search_replace.cpp :462
step 0 Star 2 hits in MatchRange sr/search_replace.cpp :583
step 0 Star 28 hits in MatchRange sr/search_replace.cpp :583
step 0 Star 28 hits in MatchRange sr/search_replace.cpp :583
step 0 RemoveEmptyModuleConstructors 2 hits in Compare sr/search_replace.cpp :189
step 0 RemoveEmptyModuleConstructors 310 hits in DuplicateNode sr/search_replace.cpp :242
step 0 RemoveEmptyModuleConstructors 310 hits in DuplicateSubtree sr/search_replace.cpp :265
step 0 RemoveEmptyModuleConstructors 1 hits in KeyReplaceNodes sr/search_replace.cpp :338
step 0 RemoveEmptyModuleConstructors 336 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 RemoveEmptyModuleConstructors 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 RemoveEmptyModuleConstructors 1 hits in ReplacePhase sr/search_replace.cpp :371
step 0 RemoveEmptyModuleConstructors 2 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 RemoveEmptyModuleConstructors 1 hits in operator() sr/search_replace.cpp :462
step 0 Star 2 hits in MatchRange sr/search_replace.cpp :583
step 0 Star 2 hits in MatchRange sr/search_replace.cpp :583
step 0 SlaveSearchReplace 1 hits in Compare sr/search_replace.cpp :189
step 0 SlaveSearchReplace 334 hits in MatchingDecidedCompare sr/search_replace.cpp :142
step 0 SlaveSearchReplace 1 hits in RepeatingCompareReplace sr/search_replace.cpp :421
step 0 SlaveSearchReplace 1 hits in SingleCompareReplace sr/search_replace.cpp :391
step 0 SlaveSear
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 0; start counts: 1 ; inc counts: 1 ; iterators: OOStd::SimpleAssociativeContainer ; SUCCEEDED
R CConjecture dump step 0; start counts: 1 ; inc counts: 373 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 0; start counts: 1 ; inc counts: 12 ; iterators: OOStd::SimpleAssociativeContainer ; FAILED
CConjecture dump step 0; start counts: 1 ; inc counts: 9 ; iterators: OOStd::SimpleAssociativeContainer ; SUCCEEDED
R CConjecture dump step 0; start counts: 1 1 ; inc counts: 55 0 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; SUCCEEDED
R CConjecture dump step 0; start counts: 1 2 ; inc counts: 368 0 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; FAILED
CConjecture dump step 0; start counts: 1 ; inc counts: 11 ; iterators: OOStd::SimpleAssociativeContainer ; FAILED
CConjecture dump step 0; start counts: 1 ; inc counts: 7 ; iterators: OOStd::SimpleAssociativeContainer ; SUCCEEDED
R CConjecture dump step 0; start counts: 1 1 ; inc counts: 366 0 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; FAILED
CConjecture dump step 0; start counts: 1 ; inc counts: 10 ; iterators: OOStd::SimpleAssociativeContainer ; FAILED
CConjecture dump step 0; start counts: 1 3 ; inc counts: 366 2 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; FAILED
CConjecture dump step 0; start counts: 1 ; inc counts: 366 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 0; start counts: 1 3 ; inc counts: 366 2 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; FAILED
CConjecture dump step 0; start counts: 1 3 ; inc counts: 366 2 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; FAILED
CConjecture dump step 0; start counts: 1 ; inc counts: 366 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 0; start counts: 1 3 ; inc counts: 366 2 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; FAILED
CConjecture dump step 0; start counts: 1 3 ; inc counts: 366 2 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; FAILED
CConjecture dump step 0; start counts: 1 3 ; inc counts: 262 1 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; SUCCEEDED
CConjecture dump step 0; start counts: 1 2 ; inc counts: 363 1 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; FAILED
CConjecture dump step 0; start counts: 1 ; inc counts: 1 ; iterators: OOStd::SimpleAssociativeContainer ; SUCCEEDED
R CConjecture dump step 0; start counts: 1 1 1 1 1 1 ; inc counts: 50 2 3 0 0 0 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::Sequence OOStd::SimpleAssociativeContainer ; SUCCEEDED
R CConjecture dump step 0; start counts: 1 1 3 2 2 ; inc counts: 347 6 18 2 0 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::Sequence ; FAILED
CConjecture dump step 0; start counts: 1 ; inc counts: 9 ; iterators: OOStd::SimpleAssociativeContainer ; FAILED
CConjecture dump step 0; start counts: 1 ; inc counts: 6 ; iterators: OOStd::SimpleAssociativeContainer ; SUCCEEDED
R CConjecture dump step 0; start counts: 1 1 1 1 ; inc counts: 333 6 1 0 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::Sequence ; FAILED
CConjecture dump step 0; start counts: 1 ; inc counts: 8 ; iterators: OOStd::SimpleAssociativeContainer ; FAILED
CConjecture dump step 0; start counts: 1 ; inc counts: 6 ; iterators: OOStd::SimpleAssociativeContainer ; SUCCEEDED
R CConjecture dump step 0; start counts: 1 1 3 2 2 ; inc counts: 323 6 18 2 0 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::SimpleAssociativeContainer OOStd::Sequence ; FAILED
CConjecture dump step 0; start counts: 1 ; inc counts: 7 ; iterators: OOStd::SimpleAssociativeContainer ; FAILED
CConjecture dump step 0; start counts: 1 ; inc counts: 323 ; iterators: Walk_iterator ; FAILED
CConjecture dump step 0; start counts: 1 1 ; inc counts: 323 0 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; FAILED
CConjecture dump step 0; start counts: 1 1 ; inc counts: 31 1 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; SUCCEEDED
R CConjecture dump step 0; start counts: 1 4 ; inc counts: 310 23 ; iterators: Walk_iterator OOStd::Sequence ; FAILED
CConjecture dump step 0; start counts: 1 1 ; inc counts: 310 5 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; FAILED
CConjecture dump step 0; start counts: 1 ; inc counts: 0 ; iterators: OOStd::SimpleAssociativeContainer ; SUCCEEDED
C |CConjecture dump step 0; start counts: 1 ; inc counts: 0 ; iterators: OOStd::SimpleAssociativeContainer ; SUCCEEDED
C |CConjecture dump step 0; start counts: 1 ; inc counts: 0 ; iterators: OOStd::SimpleAssociativeContainer ; SUCCEEDED
CConjecture dump step 0; start counts: 1 ; inc counts: 0 ; iterators: OOStd::SimpleAssociativeContainer ; SUCCEEDED
C |CConjecture dump step 0; start counts: 1 ; inc counts: 0 ; iterators: OOStd::SimpleAssociativeContainer ; SUCCEEDED
C |CConjecture dump step 0; start counts: 1 ; inc counts: 0 ; iterators: OOStd::SimpleAssociativeContainer ; SUCCEEDED
CConjecture dump step 0; start counts: 1 ; inc counts: 0 ; iterators: OOStd::SimpleAssociativeContainer ; SUCCEEDED
C |CConjecture dump step 0; start counts: 1 ; inc counts: 0 ; iterators: OOStd::SimpleAssociativeContainer ; SUCCEEDED
C |CConjecture dump step 0; start counts: 1 ; inc counts: 0 ; iterators: OOStd::SimpleAssociativeContainer ; SUCCEEDED
CConjecture dump step 0; start counts: 1 ; inc counts: 0 ; iterators: OOStd::SimpleAssociativeContainer ; SUCCEEDED
C |CConjecture dump step 0; start counts: 1 ; inc counts: 0 ; iterators: OOStd::SimpleAssociativeContainer ; SUCCEEDED
C |CConjecture dump step 0; start counts: 1 ; inc counts: 0 ; iterators: OOStd::SimpleAssociativeContainer ; SUCCEEDED
CConjecture dump step 0; start counts: 1 ; inc counts: 1 ; iterators: OOStd::SimpleAssociativeContainer ; SUCCEEDED
CConjecture dump step 0; start counts: 1 ; inc counts: 2 ; iterators: OOStd::SimpleAssociativeContainer ; FAILED