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

application: symbolicheap/bounded/AvlTree.java

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

21:08:34.020 [main] INFO org.nd4j.linalg.factory.Nd4jBackend - Loaded [CpuBackend] backend

21:08:34.868 [main] INFO org.nd4j.nativeblas.NativeOpsHolder - Number of threads used for NativeOps: 4

21:08:35.138 [main] INFO org.nd4j.nativeblas.Nd4jBlas - Number of threads used for BLAS: 4

21:08:35.268 [main] INFO org.nd4j.linalg.api.ops.executioner.DefaultOpExecutioner - Backend used: [CPU]; OS: [Mac OS X]

21:08:35.269 [main] INFO org.nd4j.linalg.api.ops.executioner.DefaultOpExecutioner - Cores: [8]; Memory: [8,0GB];

21:08:35.269 [main] INFO org.nd4j.linalg.api.ops.executioner.DefaultOpExecutioner - Blas vendor: [OPENBLAS]

{config={decay=0.0, amsgrad=false, epsilon=1.0E-7, beta_1=0.8999999761581421, beta_2=0.9990000128746033, lr=0.0010000000474974513}, class_name=Adam}

21:08:35.548 [main] INFO org.deeplearning4j.nn.multilayer.MultiLayerNetwork - Starting MultiLayerNetwork with WorkspaceModes set to [training: ENABLED; inference: ENABLED], cacheMode set to [NONE]

Loaded model: /Users/workspace/bliss/jpf-symbc-bounded/neuralnetwork/classifiers/keras/avltree-scope8-LI.h5

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

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

uniqueStructureCount = 68 (# of structurally different structures)

dumpStructureCalls = 0

numOfRepOKCalls = 2899

numOfRepOKFails = 2395

numOfNNCalls = 437

numOfNNFails = 96

timeCallingNN = 3131

numOfPruneFromPosCalls = 0

numOfPruneFromPosFails = 0

ResetTime = 0

RefineTime = 0

HYBRIDREPOKTime = 0

PathConditionsSolvingTime = 1143

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:03

states:             new=3398, visited=0, backtracked=3398, end=136

search:             maxDepth=27, constraints hit=0

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

heap:               new=615, released=2949, max live=397, gc-cycles=636

instructions:       35473

max memory:         256MB

loaded code:        classes=92, methods=1515

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