DRESDEN/double_tictactoe_dengji/bGaUyQ

ALLOY_COMPILED_PROVER_CACHING:183835
ALLOY_TUPLE_PROVER:13385
PALAMEDES_JOCULAR:0.6.12686
GGP_BASE_PROVER:2015-04-261421
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.11321
REKKURA_BACKWARD_PROVER:1.0.01311
REKKURA_BACKWARD_PROVER_OSTD:1.0.01302
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0888
REKKURA_GENERIC_FORWARD_PROVER:1.0.0871
REKKURA_GENERIC_BACKWARD_PROVER:1.0.0578
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.0549
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1545