index

BASE/checkersBarrelNoKings/rnKNeg

opnfNumOrs608
opnfTimeToCreate1834
opnfNumLinks16841
opnfNumNots72
opnfNumComponents8678
opnfNumAnds1710
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c320205.73333333334
ALLOY_COMPILED_PROVER_CACHING:249069.26666666667
ALLOY_DIFF_PROP_NET:134005.0
PALAMEDES_JAVA_ECLIPSE:0.6.12620.4
ALLOY_TUPLE_PROVER:21636.4666666666667
GGP_BASE_PROVER:2015-04-26678.7666666666667
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1460.8666666666667
PALAMEDES_JOCULAR:0.6.1446.9517682743909
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1200.5266491116963
REKKURA_BACKWARD_PROVER_OSTD:1.0.088.76370787640413
REKKURA_BACKWARD_PROVER:1.0.086.47117627457514
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.024.052235325471383
REKKURA_GENERIC_FORWARD_PROVER:1.0.024.04262404262404
FLUXPLAYER_PROLOG:1.10.36666666666666664

Machines with errors:

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

index