index

BASE/snake_2008_tweaked/bX0NJQ

opnfNumOrs881
opnfTimeToCreate768
opnfNumLinks12061
opnfNumNots192
opnfNumComponents6492
opnfNumAnds2500
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c373695.2
ALLOY_COMPILED_PROVER_CACHING:289049.63333333333
ALLOY_DIFF_PROP_NET:140276.833333333336
PALAMEDES_JOCULAR:0.6.15497.666666666667
PALAMEDES_JAVA_ECLIPSE:0.6.11674.4
ALLOY_TUPLE_PROVER:21531.5
FLUXPLAYER_PROLOG:1.11501.2
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1530.8666666666667
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1490.21699276690777
GGP_BASE_PROVER:2015-04-26428.3333333333333
REKKURA_BACKWARD_PROVER_OSTD:1.0.0334.03333333333336
REKKURA_BACKWARD_PROVER:1.0.0328.3666666666667
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.05.0466482950961185
REKKURA_GENERIC_FORWARD_PROVER:1.0.05.038117335101094

Machines with errors:

CADIAPLAYER_PROLOG:3.0Test process failed to output results for unknown reason

index