index

BASE/stateSpaceLarge/0Ge_CQ

opnfNumOrs76
opnfTimeToCreate452
opnfNumLinks1326
opnfNumNots48
opnfNumComponents525
opnfNumAnds89
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c1024667.2666666667
ALLOY_DIFF_PROP_NET:1285639.6666666667
ALLOY_COMPILED_PROVER_CACHING:2224102.73333333334
FLUXPLAYER_PROLOG:1.121162.866666666665
PALAMEDES_JOCULAR:0.6.114411.866666666667
ALLOY_TUPLE_PROVER:211632.2
GGP_BASE_PROVER:2015-04-268456.566666666668
PALAMEDES_JAVA_ECLIPSE:0.6.17162.833333333333
REKKURA_BACKWARD_PROVER:1.0.03718.3
REKKURA_BACKWARD_PROVER_OSTD:1.0.03694.1666666666665
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.01398.8333333333333
REKKURA_GENERIC_FORWARD_PROVER:1.0.01364.3666666666666
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1957.0666666666667
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1492.28359054698177

Machines with errors:

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

index