BASE/roshambo2/KNPokQ

ALLOY_COMPILED_PROVER_CACHING:1278541
ALLOY_TUPLE_PROVER:121525
PALAMEDES_JOCULAR:0.6.119519
GGP_BASE_PROVER:2015-04-2613344
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.18242
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.18166
REKKURA_BACKWARD_PROVER:1.0.05399
REKKURA_BACKWARD_PROVER_OSTD:1.0.05258
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.0444
REKKURA_GENERIC_BACKWARD_PROVER:1.0.0437
REKKURA_GENERIC_FORWARD_PROVER:1.0.0313
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0312