STANFORD/tictactoe7/-bE9-A

PALAMEDES_JOCULAR:0.6.12162157
ALLOY_COMPILED_PROVER_CACHING:1150557
ALLOY_TUPLE_PROVER:16706
GGP_BASE_PROVER:2015-04-263322
REKKURA_BACKWARD_PROVER:1.0.03137
REKKURA_BACKWARD_PROVER_OSTD:1.0.02851
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.12598
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.12400
REKKURA_GENERIC_FORWARD_PROVER:1.0.01138
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.01135
REKKURA_GENERIC_BACKWARD_PROVER:1.0.0747
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.0695