index

BASE/racer4/0vs7Ww

opnfNumOrs33163
opnfTimeToCreate12562
opnfNumLinks1169999
opnfNumNots14
opnfNumComponents445551
opnfNumAnds351198
EngineAverage state changes per second
ALLOY_COMPILED_PROVER_CACHING:223583.833333333332
ALLOY_DIFF_PROP_NET:19144.8
ALLOY_TUPLE_PROVER:21569.2666666666667
CADIAPLAYER_PROLOG:3.0893.3808825489934
GGP_BASE_PROVER:2015-04-26863.6333333333333
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1665.0778307389754
PALAMEDES_JAVA_ECLIPSE:0.6.1368.2210592980234
FLUXPLAYER_PROLOG:1.1120.8
REKKURA_BACKWARD_PROVER_OSTD:1.0.015.956916325920016
REKKURA_BACKWARD_PROVER:1.0.015.017314864144913
PALAMEDES_JOCULAR:0.6.17.341460983955088
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.10.7510204081632653
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.00.28862805464691166
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.27741816164231553

Machines with errors:

SANCHO_DEAD_RECKONING_PROPNET:1.61cException of type NullPointerException

index