BASE/asteroidsParallel/WauZiA

ALLOY_COMPILED_PROVER_CACHING:1	309362
ALLOY_TUPLE_PROVER:1	6388
GGP_BASE_PROVER:2015-04-26	3246
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1	2706
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1	2228
REKKURA_BACKWARD_PROVER_OSTD:1.0.0	733
REKKURA_BACKWARD_PROVER:1.0.0	728
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0	267
REKKURA_GENERIC_FORWARD_PROVER:1.0.0	266
REKKURA_GENERIC_BACKWARD_PROVER:1.0.0	215
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.0	206

Machines with errors:

Exception of type NullPointerException