index

STANFORD/chinook/osFbPA

opnfNumOrs2805
opnfTimeToCreate2633
opnfNumLinks32827
opnfNumNots4
opnfNumComponents18820
opnfNumAnds1232
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c260826.56666666668
ALLOY_COMPILED_PROVER_CACHING:236403.26666666667
ALLOY_DIFF_PROP_NET:117174.966666666667
ALLOY_TUPLE_PROVER:2876.6374454184861
PALAMEDES_JAVA_ECLIPSE:0.6.1626.4457851404953
GGP_BASE_PROVER:2015-04-26562.6812439585348
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1344.2885237158761
PALAMEDES_JOCULAR:0.6.1254.11639224051729
REKKURA_BACKWARD_PROVER:1.0.090.12131715771231
REKKURA_BACKWARD_PROVER_OSTD:1.0.088.87037654115295
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.157.949281882102035
REKKURA_GENERIC_FORWARD_PROVER:1.0.021.664614463043694
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.021.480667399340593

Machines with errors:

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

index