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


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

====================================================== search started: 2/5/15 3:04 PM

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

====================================================== statistics
elapsed time:       0:00:02
states:             new=2004, visited=2003, backtracked=4006, end=512
search:             maxDepth=27, constraints hit=0
choice generators:  thread=1 (signal=0, lock=1, shared ref=0), data=2003
heap:               new=306, released=4610, max live=306, gc-cycles=513
instructions:       684462
max memory:         1934MB
loaded code:        classes=71, methods=965

====================================================== search finished: 2/5/15 3:04 PM