index

DRESDEN/capture_the_king/EQ229Q

opnfNumOrs13396
opnfTimeToCreate5607
opnfNumLinks778740
opnfNumNots132
opnfNumComponents204716
opnfNumAnds155603
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c164363.1
ALLOY_COMPILED_PROVER_CACHING:27577.333333333333
ALLOY_DIFF_PROP_NET:15678.7
CADIAPLAYER_PROLOG:3.01359.4427038197452
PALAMEDES_JAVA_ECLIPSE:0.6.1407.772815145657
ALLOY_TUPLE_PROVER:2292.47075292470754
GGP_BASE_PROVER:2015-04-26120.86776859504133
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.147.08273633001233
REKKURA_BACKWARD_PROVER_OSTD:1.0.045.845272206303726
REKKURA_BACKWARD_PROVER:1.0.044.83528196928817
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.118.39960073199135
REKKURA_GENERIC_FORWARD_PROVER:1.0.014.506254990684056
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.014.25438596491228
FLUXPLAYER_PROLOG:1.15.091514143094842

Machines with errors:

PALAMEDES_JOCULAR:0.6.1Exception of type NullPointerException

index