BASE/pearls/6k_mEQ

PALAMEDES_JOCULAR:0.6.16619832
ALLOY_COMPILED_PROVER_CACHING:1710060
ALLOY_TUPLE_PROVER:131028
GGP_BASE_PROVER:2015-04-2625159
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.120962
REKKURA_GENERIC_FORWARD_PROVER:1.0.014857
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.014334
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.112294
REKKURA_BACKWARD_PROVER:1.0.09460
REKKURA_BACKWARD_PROVER_OSTD:1.0.08797
REKKURA_GENERIC_BACKWARD_PROVER:1.0.03205
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.03064