DRESDEN/connectfoursuicide/M9CNQg

ALLOY_COMPILED_PROVER_CACHING:1	67041
ALLOY_TUPLE_PROVER:1	2219
GGP_BASE_PROVER:2015-04-26	999
REKKURA_BACKWARD_PROVER:1.0.0	951
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1	672
REKKURA_BACKWARD_PROVER_OSTD:1.0.0	671
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1	573
REKKURA_GENERIC_BACKWARD_PROVER:1.0.0	403
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0	296
REKKURA_GENERIC_FORWARD_PROVER:1.0.0	255
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.0	248

Machines with errors:

Exception of type NullPointerException