index

BASE/chineseCheckers4/avfBcQ

opnfNumOrs255
opnfTimeToCreate1058
opnfNumLinks5554
opnfNumNots83
opnfNumComponents3152
opnfNumAnds982
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c364527.0
ALLOY_DIFF_PROP_NET:1102111.06666666667
ALLOY_COMPILED_PROVER_CACHING:267240.8
FLUXPLAYER_PROLOG:1.124522.366666666665
CADIAPLAYER_PROLOG:3.04227.446929049888
ALLOY_TUPLE_PROVER:22450.7
PALAMEDES_JAVA_ECLIPSE:0.6.11857.4333333333334
PALAMEDES_JOCULAR:0.6.11446.2
GGP_BASE_PROVER:2015-04-261242.1
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1838.9
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1344.3666666666667
REKKURA_BACKWARD_PROVER:1.0.0301.83648301836485
REKKURA_BACKWARD_PROVER_OSTD:1.0.0295.9037429590374
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.059.619422134835204
REKKURA_GENERIC_FORWARD_PROVER:1.0.058.29222770297294

index