index

BASE/endgame/jYjfOA

opnfNumOrs535
opnfTimeToCreate2067
opnfNumLinks143694
opnfNumNots194
opnfNumComponents33641
opnfNumAnds4137
EngineAverage state changes per second
ALLOY_COMPILED_PROVER_CACHING:227489.5
ALLOY_DIFF_PROP_NET:111197.4
ALLOY_TUPLE_PROVER:21060.5
PALAMEDES_JAVA_ECLIPSE:0.6.1821.20595980134
CADIAPLAYER_PROLOG:3.0729.5748367319738
GGP_BASE_PROVER:2015-04-26616.2333333333333
PALAMEDES_JOCULAR:0.6.1544.0637290847277
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1268.46666666666664
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1148.1950601646612
REKKURA_BACKWARD_PROVER:1.0.072.41160985037823
REKKURA_BACKWARD_PROVER_OSTD:1.0.072.05465755707382
REKKURA_GENERIC_FORWARD_PROVER:1.0.036.749516892117015
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.036.6410179540988

Machines with errors:

SANCHO_DEAD_RECKONING_PROPNET:1.61cException of type NullPointerException
FLUXPLAYER_PROLOG:1.1Test process failed to output results for unknown reason

index