DRESDEN/tictactoe-init1/3ltIBQ

PALAMEDES_JOCULAR:0.6.13705337
ALLOY_COMPILED_PROVER_CACHING:1145127
ALLOY_TUPLE_PROVER:16576
REKKURA_BACKWARD_PROVER:1.0.03422
GGP_BASE_PROVER:2015-04-263206
REKKURA_BACKWARD_PROVER_OSTD:1.0.03015
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.12775
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.12423
REKKURA_GENERIC_FORWARD_PROVER:1.0.01411
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.01408
REKKURA_GENERIC_BACKWARD_PROVER:1.0.01147
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.01022