BASE/kalaha5x2x3/WviNsw

ALLOY_COMPILED_PROVER_CACHING:1107953
PALAMEDES_JOCULAR:0.6.15294
ALLOY_TUPLE_PROVER:14387
GGP_BASE_PROVER:2015-04-262443
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.11658
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.11488
REKKURA_BACKWARD_PROVER:1.0.0436
REKKURA_BACKWARD_PROVER_OSTD:1.0.0435
REKKURA_GENERIC_BACKWARD_PROVER:1.0.019
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.019
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.016
REKKURA_GENERIC_FORWARD_PROVER:1.0.016