DRESDEN/bidding-tictactoe/yW5vTA
ALLOY_COMPILED_PROVER_CACHING:1
130981
ALLOY_TUPLE_PROVER:1
4722
GGP_BASE_PROVER:2015-04-26
2685
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1
1965
REKKURA_BACKWARD_PROVER_OSTD:1.0.0
1311
REKKURA_BACKWARD_PROVER:1.0.0
1307
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1
459
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.0
139
REKKURA_GENERIC_BACKWARD_PROVER:1.0.0
139
REKKURA_GENERIC_FORWARD_PROVER:1.0.0
137
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0
135
Machines with errors:
PALAMEDES_JOCULAR:0.6.1
IllegalArgumentException: bound must be positive