JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: predator_adt_benchmarks/CheckSortedPA1.java

====================================================== search started: 2/5/15 12:23 PM

====================================================== results
no errors detected

====================================================== statistics
elapsed time:       0:00:04
states:             new=3303, visited=3302, backtracked=6604, end=32
search:             maxDepth=30, constraints hit=0
choice generators:  thread=1 (signal=0, lock=1, shared ref=0), data=3302
heap:               new=306, released=290, max live=306, gc-cycles=33
instructions:       4369513
max memory:         2439MB
loaded code:        classes=71, methods=965

====================================================== search finished: 2/5/15 12:23 PM