BASE/blocks2player/wnTLOQ

ALLOY_COMPILED_PROVER_CACHING:1283031
PALAMEDES_JOCULAR:0.6.119372
ALLOY_TUPLE_PROVER:110052
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.17737
GGP_BASE_PROVER:2015-04-266880
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.15371
REKKURA_BACKWARD_PROVER_OSTD:1.0.04686
REKKURA_BACKWARD_PROVER:1.0.04651
REKKURA_GENERIC_FORWARD_PROVER:1.0.01745
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.01692
REKKURA_GENERIC_BACKWARD_PROVER:1.0.01338
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.01298