index

BASE/nonogram_10x10_1/0Xc62g

opnfNumOrs3952
opnfTimeToCreate1928
opnfNumLinks68313
opnfNumNots138
opnfNumComponents36126
opnfNumAnds19517
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c186192.0
ALLOY_DIFF_PROP_NET:173770.13333333333
ALLOY_COMPILED_PROVER_CACHING:215693.733333333334
FLUXPLAYER_PROLOG:1.1944.4333333333333
PALAMEDES_JAVA_ECLIPSE:0.6.1771.8152123191787
ALLOY_TUPLE_PROVER:2139.3907072861809
PALAMEDES_JOCULAR:0.6.138.652494085501985
GGP_BASE_PROVER:2015-04-2637.63207893070231
REKKURA_BACKWARD_PROVER:1.0.028.30031629765274
REKKURA_BACKWARD_PROVER_OSTD:1.0.025.143199680298387
REKKURA_GENERIC_FORWARD_PROVER:1.0.012.025717045870948
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.011.250915385127488

Machines with errors:

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

index