BASE/snakeAssemblit/sOydSg

PALAMEDES_JOCULAR:0.6.11360
ALLOY_TUPLE_PROVER:11005
REKKURA_BACKWARD_PROVER:1.0.0510
REKKURA_BACKWARD_PROVER_OSTD:1.0.0510
GGP_BASE_PROVER:2015-04-26377
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1337
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1251
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0202
REKKURA_GENERIC_FORWARD_PROVER:1.0.0200
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.0177
REKKURA_GENERIC_BACKWARD_PROVER:1.0.0164

Machines with errors:

ALLOY_COMPILED_PROVER_CACHING:1GameDescriptionException: Goal is poorly defined for red in [( true ( at blue 4 1 ) ), ( true ( at red 4 1 ) ), ( true ( cell 3 3 f ) ), ( true ( cell 4 1 red ) ), ( true ( cell 4 2 f ) ), ( true ( cell 4 3 f ) ), ( true ( cell 4 4 f ) ), ( true ( cell 4 5 f ) ), ( true ( cell 4 6 f ) ), ( true ( cell 5 1 f ) ), ( true ( cell 5 2 f ) ), ( true ( cell 5 6 f ) ), ( true ( cell 6 2 f ) ), ( true ( cell 6 3 f ) ), ( true ( cell 6 4 f ) ), ( true ( cell 6 5 f ) ), ( true ( cell 6 6 f ) ), ( true ( cell 7 2 blue ) ), ( true ( control_assem blue ) ), ( true ( control_snake red ) ), ( true ( marked 2 4 ) ), ( true ( marked 3 4 ) ), ( true ( marked 4 3 ) ), ( true ( marked 4 4 ) ), ( true ( marked 6 3 ) ), ( true ( marks_remain blue 5 ) ), ( true ( marks_remain red 5 ) ), ( true ( score blue 20 ) ), ( true ( score red 12 ) ), ( true ( step 40 ) )]