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


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

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

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

====================================================== statistics
elapsed time:       0:00:00
states:             new=34, visited=33, backtracked=66, end=6
search:             maxDepth=16, constraints hit=0
choice generators:  thread=1 (signal=0, lock=1, shared ref=0), data=33
heap:               new=306, released=56, max live=306, gc-cycles=7
instructions:       43818
max memory:         1934MB
loaded code:        classes=71, methods=965

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