index

BASE/mineClearingSmall/frsbvw

opnfNumOrs1072
opnfTimeToCreate1371
opnfNumLinks20091
opnfNumNots29
opnfNumComponents8268
opnfNumAnds3759
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c285625.9666666667
ALLOY_COMPILED_PROVER_CACHING:239872.5
ALLOY_DIFF_PROP_NET:138696.1
PALAMEDES_JAVA_ECLIPSE:0.6.12076.0333333333333
FLUXPLAYER_PROLOG:1.11029.7666666666667
ALLOY_TUPLE_PROVER:2733.0666666666667
GGP_BASE_PROVER:2015-04-26343.1437904139724
REKKURA_BACKWARD_PROVER:1.0.0268.4910502983234
REKKURA_BACKWARD_PROVER_OSTD:1.0.0255.14965668955404
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1192.22692576914102
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1147.9
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.074.88003199146894
REKKURA_GENERIC_FORWARD_PROVER:1.0.068.44157142381127

Machines with errors:

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

index