STANFORD/hunter/14dD-g
ALLOY_COMPILED_PROVER_CACHING:1
164278
PALAMEDES_JOCULAR:0.6.1
8480
ALLOY_TUPLE_PROVER:1
6869
GGP_BASE_PROVER:2015-04-26
4219
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1
3463
REKKURA_BACKWARD_PROVER_OSTD:1.0.0
2230
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1
2196
REKKURA_BACKWARD_PROVER:1.0.0
2153
REKKURA_GENERIC_FORWARD_PROVER:1.0.0
457
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0
452
REKKURA_GENERIC_BACKWARD_PROVER:1.0.0
407
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.0
397