index

BASE/tttcc4/8Bs2lg

opnfNumOrs19522
opnfTimeToCreate11316
opnfNumLinks1061588
opnfNumNots165
opnfNumComponents252487
opnfNumAnds7816
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c134741.73333333334
ALLOY_COMPILED_PROVER_CACHING:237870.9
ALLOY_DIFF_PROP_NET:119034.0
CADIAPLAYER_PROLOG:3.04007.46517363194
PALAMEDES_JAVA_ECLIPSE:0.6.12073.9666666666667
ALLOY_TUPLE_PROVER:21343.3333333333333
GGP_BASE_PROVER:2015-04-26710.2333333333333
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1426.35245491816937
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1143.29522349255024
REKKURA_BACKWARD_PROVER:1.0.0103.46895931220634
REKKURA_BACKWARD_PROVER_OSTD:1.0.091.83027232425586
REKKURA_GENERIC_FORWARD_PROVER:1.0.029.290236587804067
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.027.942449876773463
FLUXPLAYER_PROLOG:1.10.433188937020993

Machines with errors:

PALAMEDES_JOCULAR:0.6.1Exception of type NullPointerException

index