index

DRESDEN/breakthrough/z4hK7Q

opnfNumOrs8550
opnfTimeToCreate2785
opnfNumLinks289564
opnfNumNots132
opnfNumComponents26568
opnfNumAnds500
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c809962.4
ALLOY_COMPILED_PROVER_CACHING:250730.26666666667
ALLOY_DIFF_PROP_NET:125768.733333333334
CADIAPLAYER_PROLOG:3.02034.2116659449016
PALAMEDES_JAVA_ECLIPSE:0.6.11569.4666666666667
ALLOY_TUPLE_PROVER:2923.5
GGP_BASE_PROVER:2015-04-26512.1666666666666
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1372.08759708009734
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1171.0885940937271
REKKURA_BACKWARD_PROVER:1.0.0134.319901343199
REKKURA_BACKWARD_PROVER_OSTD:1.0.0133.51108148641893
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.035.54060355739124
REKKURA_GENERIC_FORWARD_PROVER:1.0.035.5
FLUXPLAYER_PROLOG:1.14.633333333333334

Machines with errors:

PALAMEDES_JOCULAR:0.6.1Exception of type NullPointerException

index