index

BASE/pawnToQueen/-O1_JA

opnfNumOrs644
opnfTimeToCreate1941
opnfNumLinks9528
opnfNumNots9
opnfNumComponents5307
opnfNumAnds606
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c565716.6
ALLOY_DIFF_PROP_NET:139435.26666666667
ALLOY_COMPILED_PROVER_CACHING:22342.2
CADIAPLAYER_PROLOG:3.0649.3151597960476
PALAMEDES_JAVA_ECLIPSE:0.6.1103.31955739234769
ALLOY_TUPLE_PROVER:296.8139705392255
FLUXPLAYER_PROLOG:1.184.46666666666667
PALAMEDES_JOCULAR:0.6.137.73773440362389
GGP_BASE_PROVER:2015-04-2623.452595109600907
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.118.88992537313433
REKKURA_BACKWARD_PROVER:1.0.04.991846650470897
REKKURA_BACKWARD_PROVER_OSTD:1.0.04.955763985897692
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.13.5391790427678367
REKKURA_GENERIC_FORWARD_PROVER:1.0.01.282009138424115
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.01.2537943777220535

index