STANFORD/breakthrough/d5j0cQ

ALLOY_COMPILED_PROVER_CACHING:150242
PALAMEDES_JOCULAR:0.6.11666
ALLOY_TUPLE_PROVER:11661
GGP_BASE_PROVER:2015-04-261121
REKKURA_BACKWARD_PROVER:1.0.0905
REKKURA_BACKWARD_PROVER_OSTD:1.0.0900
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1583
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1472
REKKURA_GENERIC_FORWARD_PROVER:1.0.0189
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0189
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.0177
REKKURA_GENERIC_BACKWARD_PROVER:1.0.0175