====================================================== system under test

application: symbolicheap/bounded/AvlTree.java

====================================================== search started

targetCount = 8970 (# of structures that passed the hybridRepOk)

structureCount = 4110 (# of structures generated at the point where the count was inserted)

uniqueStructureCount = 2055 (# of structurally different structures)

dumpStructureCalls = 0

numOfRepOKCalls = 61332

numOfRepOKFails = 52362

numOfNNCalls = 0

numOfNNFails = 0

timeCallingNN = 0

numOfPruneFromPosCalls = 0

numOfPruneFromPosFails = 0

ResetTime = 0

RefineTime = 0

HYBRIDREPOKTime = 0

PathConditionsSolvingTime = 22113

numOfSolverCalls = 0

numOfUNSATVerdicts = 0

SATTraverseTime = 0 ms

SATCheckTime = 0 ms

SATDBTime = 0 ms

SATDBHits = 0

SATDBInserts = 0

SATCount = 0

UNSATCount = 0

SATCount + UNSATCount = 0

====================================================== results

no errors detected

====================================================== statistics

elapsed time:       00:00:13

states:             new=72223, visited=0, backtracked=72223, end=4111

search:             maxDepth=27, constraints hit=0

choice generators:  thread=1 (signal=0, lock=1, shared ref=0), data=9931

heap:               new=4493, released=92704, max live=397, gc-cycles=14040

instructions:       770888

max memory:         256MB

loaded code:        classes=92, methods=1510

====================================================== search finished