STANFORD/tictictoe/rpt_Dw

ALLOY_COMPILED_PROVER_CACHING:181150
PALAMEDES_JOCULAR:0.6.17929
ALLOY_TUPLE_PROVER:14434
REKKURA_BACKWARD_PROVER:1.0.02258
REKKURA_BACKWARD_PROVER_OSTD:1.0.02227
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.12086
GGP_BASE_PROVER:2015-04-262037
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.11829
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0739
REKKURA_GENERIC_FORWARD_PROVER:1.0.0699
REKKURA_GENERIC_BACKWARD_PROVER:1.0.0594
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.0577