BASE/circlesolitaire/azuQFQ

ALLOY_COMPILED_PROVER_CACHING:1269520
PALAMEDES_JOCULAR:0.6.127337
ALLOY_TUPLE_PROVER:111201
GGP_BASE_PROVER:2015-04-267159
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.15054
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.14335
REKKURA_BACKWARD_PROVER_OSTD:1.0.04092
REKKURA_BACKWARD_PROVER:1.0.04072
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.01664
REKKURA_GENERIC_FORWARD_PROVER:1.0.01649
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.01156
REKKURA_GENERIC_BACKWARD_PROVER:1.0.01150