index

BASE/skirmishHoles/AUCxCA

opnfNumOrs13416
opnfTimeToCreate6288
opnfNumLinks806447
opnfNumNots134
opnfNumComponents210351
opnfNumAnds162184
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c127470.66666666667
ALLOY_COMPILED_PROVER_CACHING:27724.133333333333
ALLOY_DIFF_PROP_NET:14045.6666666666665
PALAMEDES_JAVA_ECLIPSE:0.6.1327.93333333333334
ALLOY_TUPLE_PROVER:2197.18685420971934
GGP_BASE_PROVER:2015-04-2647.181127548980406
PALAMEDES_JOCULAR:0.6.143.69126174765047
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.133.09779348043464
REKKURA_BACKWARD_PROVER:1.0.031.71641791044776
REKKURA_BACKWARD_PROVER_OSTD:1.0.031.159396140900455
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.015.486062543710661
REKKURA_GENERIC_FORWARD_PROVER:1.0.015.481937739304145
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.17.836626265980408
FLUXPLAYER_PROLOG:1.11.9666666666666666

Machines with errors:

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

index