DRESDEN/chickentictactoe/Ipbo-g

ALLOY_COMPILED_PROVER_CACHING:1120514
PALAMEDES_JOCULAR:0.6.19157
ALLOY_TUPLE_PROVER:15964
REKKURA_BACKWARD_PROVER:1.0.03117
REKKURA_BACKWARD_PROVER_OSTD:1.0.03004
GGP_BASE_PROVER:2015-04-262876
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.12670
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.12047
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.01842
REKKURA_GENERIC_FORWARD_PROVER:1.0.01839
REKKURA_GENERIC_BACKWARD_PROVER:1.0.01060
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.01048