index

STANFORD/threepuzzle/41ibjA

opnfNumOrs25
opnfTimeToCreate323
opnfNumLinks521
opnfNumNots3
opnfNumComponents227
opnfNumAnds105
EngineAverage state changes per second
PALAMEDES_JOCULAR:0.6.15364334.666666667
PALAMEDES_JAVA_ECLIPSE:0.6.14794918.733333333
SANCHO_DEAD_RECKONING_PROPNET:1.61c1086444.4
ALLOY_COMPILED_PROVER_CACHING:2336593.4666666667
ALLOY_DIFF_PROP_NET:1223197.23333333334
FLUXPLAYER_PROLOG:1.130283.0
ALLOY_TUPLE_PROVER:216505.7
CADIAPLAYER_PROLOG:3.013486.8
GGP_BASE_PROVER:2015-04-269825.8
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.19586.5
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.15804.0
REKKURA_BACKWARD_PROVER_OSTD:1.0.03522.6
REKKURA_BACKWARD_PROVER:1.0.03378.8
REKKURA_GENERIC_FORWARD_PROVER:1.0.0978.8666666666667
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0972.2333333333333

index