STANFORD/dualrainbow/G3OnRQ

ALLOY_COMPILED_PROVER_CACHING:1133713
PALAMEDES_JOCULAR:0.6.111392
ALLOY_TUPLE_PROVER:17680
GGP_BASE_PROVER:2015-04-264657
REKKURA_BACKWARD_PROVER:1.0.03780
REKKURA_BACKWARD_PROVER_OSTD:1.0.03654
REKKURA_GENERIC_FORWARD_PROVER:1.0.0920
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0880
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.0786
REKKURA_GENERIC_BACKWARD_PROVER:1.0.0784

Machines with errors:

PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1Exception of type NullPointerException
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1Exception of type NullPointerException