DRESDEN/mummymaze2p/k-8edg
ALLOY_COMPILED_PROVER_CACHING:1
63401
ALLOY_TUPLE_PROVER:1
10353
PALAMEDES_JOCULAR:0.6.1
2183
GGP_BASE_PROVER:2015-04-26
1145
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1
930
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1
562
REKKURA_BACKWARD_PROVER:1.0.0
45
REKKURA_BACKWARD_PROVER_OSTD:1.0.0
45
REKKURA_GENERIC_FORWARD_PROVER:1.0.0
15
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0
15
REKKURA_GENERIC_BACKWARD_PROVER:1.0.0
14
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.0
14