index

BASE/englishDraughts/jFkQxg

opnfNumOrs864
opnfTimeToCreate1872
opnfNumLinks10848
opnfNumNots74
opnfNumComponents5235
opnfNumAnds1794
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c302268.36666666664
ALLOY_COMPILED_PROVER_CACHING:251069.566666666666
ALLOY_DIFF_PROP_NET:147596.26666666667
CADIAPLAYER_PROLOG:3.04007.463681194189
PALAMEDES_JAVA_ECLIPSE:0.6.12481.0333333333333
ALLOY_TUPLE_PROVER:21928.0666666666666
GGP_BASE_PROVER:2015-04-26664.2
PALAMEDES_JOCULAR:0.6.1599.9333333333333
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1455.3181560614646
REKKURA_BACKWARD_PROVER:1.0.0258.8074525880745
REKKURA_BACKWARD_PROVER_OSTD:1.0.0256.6828878074795
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1166.7944146365848
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.090.02433090024331
REKKURA_GENERIC_FORWARD_PROVER:1.0.088.70672131693826
FLUXPLAYER_PROLOG:1.10.0

index