BASE/duplicateStateSmall/bCPAXw

PALAMEDES_JOCULAR:0.6.13927105
ALLOY_COMPILED_PROVER_CACHING:1476963
ALLOY_TUPLE_PROVER:117732
GGP_BASE_PROVER:2015-04-2613250
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.16288
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.16085
REKKURA_BACKWARD_PROVER:1.0.06056
REKKURA_BACKWARD_PROVER_OSTD:1.0.06021
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.02415
REKKURA_GENERIC_FORWARD_PROVER:1.0.02337
REKKURA_GENERIC_BACKWARD_PROVER:1.0.01629
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.01609