index

DRESDEN/minichess-evilconjuncts/th24Tw

opnfNumOrs183
opnfTimeToCreate985
opnfNumLinks11175
opnfNumNots50
opnfNumComponents3201
opnfNumAnds641
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c278352.8333333333
ALLOY_DIFF_PROP_NET:146169.96666666667
ALLOY_COMPILED_PROVER_CACHING:212586.666666666666
CADIAPLAYER_PROLOG:3.02843.643757082861
PALAMEDES_JAVA_ECLIPSE:0.6.11446.3333333333333
ALLOY_TUPLE_PROVER:2474.68417719409354
PALAMEDES_JOCULAR:0.6.1419.43870408639424
REKKURA_BACKWARD_PROVER:1.0.0233.55109659356043
REKKURA_BACKWARD_PROVER_OSTD:1.0.0206.47247033728837
GGP_BASE_PROVER:2015-04-26175.65495633624425
REKKURA_GENERIC_FORWARD_PROVER:1.0.0112.9811698050325
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.097.79674010866304
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.173.65930073659301

Machines with errors:

PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1Exception of type NullPointerException
FLUXPLAYER_PROLOG:1.1Test process failed to output results for unknown reason

index