BASE/breakthrough/TGxk-g
ALLOY_COMPILED_PROVER_CACHING:1
50239
ALLOY_TUPLE_PROVER:1
946
GGP_BASE_PROVER:2015-04-26
510
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1
371
PALAMEDES_JOCULAR:0.6.1
315
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1
169
REKKURA_BACKWARD_PROVER:1.0.0
129
REKKURA_BACKWARD_PROVER_OSTD:1.0.0
128
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0
31
REKKURA_GENERIC_FORWARD_PROVER:1.0.0
31
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.0
29
REKKURA_GENERIC_BACKWARD_PROVER:1.0.0
29