index

DRESDEN/tictactoex9/rFkD4w

opnfNumOrs540
opnfTimeToCreate585
opnfNumLinks6833
opnfNumNots12
opnfNumComponents3176
opnfNumAnds1288
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c514848.6666666667
ALLOY_DIFF_PROP_NET:124102.533333333333
ALLOY_COMPILED_PROVER_CACHING:220465.866666666665
FLUXPLAYER_PROLOG:1.12122.6666666666665
ALLOY_TUPLE_PROVER:2990.7666666666667
PALAMEDES_JOCULAR:0.6.1874.5333333333333
PALAMEDES_JAVA_ECLIPSE:0.6.1825.1666666666666
REKKURA_BACKWARD_PROVER_OSTD:1.0.0806.7333333333333
REKKURA_BACKWARD_PROVER:1.0.0640.1333333333333
GGP_BASE_PROVER:2015-04-26595.9333333333333
CADIAPLAYER_PROLOG:3.0516.5
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1346.6884437185427
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0318.8333333333333
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1253.57464253574642
REKKURA_GENERIC_FORWARD_PROVER:1.0.0237.95873470884302

index