index

DRESDEN/Goldrush/VeWczQ

opnfNumOrs518
opnfTimeToCreate1997
opnfNumLinks7817
opnfNumNots173
opnfNumComponents4368
opnfNumAnds1462
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c343795.2
ALLOY_COMPILED_PROVER_CACHING:268620.93333333333
ALLOY_DIFF_PROP_NET:153500.03333333333
FLUXPLAYER_PROLOG:1.13922.633333333333
PALAMEDES_JAVA_ECLIPSE:0.6.11978.1333333333334
ALLOY_TUPLE_PROVER:21725.0
GGP_BASE_PROVER:2015-04-261432.1
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1775.740808639712
REKKURA_BACKWARD_PROVER_OSTD:1.0.0542.0819306023133
REKKURA_BACKWARD_PROVER:1.0.0513.3828872370921
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.043.3304446370242
REKKURA_GENERIC_FORWARD_PROVER:1.0.041.856900056653444
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.135.88564574170332

Machines with errors:

PALAMEDES_JOCULAR:0.6.1Exception of type NullPointerException
CADIAPLAYER_PROLOG:3.0Test process failed to output results for unknown reason

index