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


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

====================================================== search started: 2/5/15 4:02 PM

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

====================================================== statistics
elapsed time:       0:00:00
states:             new=12, visited=11, backtracked=22, end=4
search:             maxDepth=9, constraints hit=0
choice generators:  thread=1 (signal=0, lock=1, shared ref=0), data=11
heap:               new=306, released=38, max live=306, gc-cycles=5
instructions:       22843
max memory:         1934MB
loaded code:        classes=71, methods=965

====================================================== search finished: 2/5/15 4:02 PM