index

BASE/pentagoSuicide/SBgNhw

opnfNumOrs109
opnfTimeToCreate1690
opnfNumLinks5196
opnfNumNots79
opnfNumComponents3715
opnfNumAnds945
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c352904.8
ALLOY_DIFF_PROP_NET:188293.0
ALLOY_COMPILED_PROVER_CACHING:213675.3
FLUXPLAYER_PROLOG:1.17540.266666666666
CADIAPLAYER_PROLOG:3.03439.8307061685605
PALAMEDES_JAVA_ECLIPSE:0.6.12002.4333333333334
ALLOY_TUPLE_PROVER:2818.3333333333334
GGP_BASE_PROVER:2015-04-26463.4739718722922
REKKURA_BACKWARD_PROVER:1.0.0372.1209293023566
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1246.63333333333333
REKKURA_BACKWARD_PROVER_OSTD:1.0.0228.7
REKKURA_GENERIC_FORWARD_PROVER:1.0.0122.42517165522298
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.176.17968541722207
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.073.84697414022928

Machines with errors:

PALAMEDES_JOCULAR:0.6.1Exception of type NullPointerException

index