index

BASE/smallest_4player/ADDROA

opnfNumOrs131
opnfTimeToCreate493
opnfNumLinks1842
opnfNumNots19
opnfNumComponents985
opnfNumAnds309
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c306333.73333333334
ALLOY_COMPILED_PROVER_CACHING:2113377.4
ALLOY_DIFF_PROP_NET:170831.53333333334
ALLOY_TUPLE_PROVER:26251.966666666666
GGP_BASE_PROVER:2015-04-263811.8333333333335
PALAMEDES_JAVA_ECLIPSE:0.6.13622.633333333333
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.12017.2666666666667
PALAMEDES_JOCULAR:0.6.1949.0666666666667
REKKURA_BACKWARD_PROVER_OSTD:1.0.0719.9666666666667
REKKURA_BACKWARD_PROVER:1.0.0715.542815239492
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1201.19329355688143
FLUXPLAYER_PROLOG:1.1144.8
REKKURA_GENERIC_FORWARD_PROVER:1.0.036.35575993868506
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.036.123700346574246

Machines with errors:

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

index