index

BASE/minichess/8NQEiA

opnfNumOrs199
opnfTimeToCreate923
opnfNumLinks9551
opnfNumNots50
opnfNumComponents3153
opnfNumAnds521
EngineAverage state changes per second
PALAMEDES_JAVA_ECLIPSE:0.6.13058929.4
PALAMEDES_JOCULAR:0.6.12890836.466666667
SANCHO_DEAD_RECKONING_PROPNET:1.61c237371.43333333332
ALLOY_COMPILED_PROVER_CACHING:282243.03333333334
ALLOY_DIFF_PROP_NET:139751.433333333334
CADIAPLAYER_PROLOG:3.04266.3
ALLOY_TUPLE_PROVER:23159.133333333333
GGP_BASE_PROVER:2015-04-261680.7
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1896.0333333333333
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1661.9779340688643
REKKURA_BACKWARD_PROVER:1.0.0260.79130695643477
REKKURA_BACKWARD_PROVER_OSTD:1.0.0224.16666666666666
REKKURA_GENERIC_FORWARD_PROVER:1.0.0114.77704459108179
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0102.79657344755175

Machines with errors:

FLUXPLAYER_PROLOG:1.1Test process failed to output results for unknown reason

index