BASE/onestep/xi53wA

PALAMEDES_JOCULAR:0.6.12757836
ALLOY_COMPILED_PROVER_CACHING:1379267
ALLOY_TUPLE_PROVER:140505
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.140068
GGP_BASE_PROVER:2015-04-2634831
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.121177
REKKURA_BACKWARD_PROVER:1.0.015383
REKKURA_BACKWARD_PROVER_OSTD:1.0.014935
REKKURA_GENERIC_FORWARD_PROVER:1.0.07507
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.07246
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.04149
REKKURA_GENERIC_BACKWARD_PROVER:1.0.03828