index

BASE/duplicateStateLarge/dcjyuw

opnfNumOrs92
opnfTimeToCreate550
opnfNumLinks2217
opnfNumNots49
opnfNumComponents694
opnfNumAnds195
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c1280431.0
ALLOY_DIFF_PROP_NET:1197410.16666666666
ALLOY_COMPILED_PROVER_CACHING:299856.23333333334
PALAMEDES_JOCULAR:0.6.17057.666666666667
ALLOY_TUPLE_PROVER:25513.633333333333
PALAMEDES_JAVA_ECLIPSE:0.6.15200.833333333333
GGP_BASE_PROVER:2015-04-264764.466666666666
FLUXPLAYER_PROLOG:1.14048.3333333333335
REKKURA_BACKWARD_PROVER:1.0.0785.4
REKKURA_BACKWARD_PROVER_OSTD:1.0.0744.9085030498983
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1623.3
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1331.88893703543215
REKKURA_GENERIC_FORWARD_PROVER:1.0.0276.26666666666665
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0275.1816545563629

Machines with errors:

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

index