DRESDEN/Goldrush/VeWczQ

GGP_BASE_PROVER:2015-04-261432
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1775
REKKURA_BACKWARD_PROVER_OSTD:1.0.0542
REKKURA_BACKWARD_PROVER:1.0.0513
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.047
REKKURA_GENERIC_BACKWARD_PROVER:1.0.046
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.043
REKKURA_GENERIC_FORWARD_PROVER:1.0.041
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.135

Machines with errors:

ALLOY_COMPILED_PROVER_CACHING:1RuntimeException: CompiledProver could not be created
ALLOY_TUPLE_PROVER:1RuntimeException: Don't try to fall back, let the next level handle this =/
PALAMEDES_JOCULAR:0.6.1Exception of type NullPointerException