index

DRESDEN/connectfour/5tc-Mg

opnfNumOrs103
opnfTimeToCreate493
opnfNumLinks1981
opnfNumNots139
opnfNumComponents979
opnfNumAnds330
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c972878.7
ALLOY_DIFF_PROP_NET:1252432.83333333334
ALLOY_COMPILED_PROVER_CACHING:270056.26666666666
FLUXPLAYER_PROLOG:1.114071.166666666666
CADIAPLAYER_PROLOG:3.05190.133333333333
PALAMEDES_JAVA_ECLIPSE:0.6.13454.6
ALLOY_TUPLE_PROVER:22164.8333333333335
GGP_BASE_PROVER:2015-04-261020.3666666666667
REKKURA_BACKWARD_PROVER:1.0.0949.6666666666666
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1659.1780273990867
REKKURA_BACKWARD_PROVER_OSTD:1.0.0631.8666666666667
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1557.0333333333333
REKKURA_GENERIC_FORWARD_PROVER:1.0.0453.23333333333335
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0278.92947606985734

Machines with errors:

PALAMEDES_JOCULAR:0.6.1Exception of type NullPointerException

index