index

BASE/knightThrough/gcwFjA

opnfNumOrs8422
opnfTimeToCreate2944
opnfNumLinks289210
opnfNumNots114
opnfNumComponents26222
opnfNumAnds464
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c778919.3666666667
ALLOY_COMPILED_PROVER_CACHING:246736.76666666667
ALLOY_DIFF_PROP_NET:123795.633333333335
CADIAPLAYER_PROLOG:3.01948.6923205064134
ALLOY_TUPLE_PROVER:21780.2333333333333
PALAMEDES_JAVA_ECLIPSE:0.6.11591.9
GGP_BASE_PROVER:2015-04-261105.6333333333334
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1534.1821939268691
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1173.3826617338266
REKKURA_BACKWARD_PROVER:1.0.067.4288380774615
REKKURA_BACKWARD_PROVER_OSTD:1.0.065.31591575579846
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.011.549342652687635
REKKURA_GENERIC_FORWARD_PROVER:1.0.011.532948901703277
FLUXPLAYER_PROLOG:1.15.198267244251916

Machines with errors:

PALAMEDES_JOCULAR:0.6.1Exception of type NullPointerException

index