index

BASE/connectFour_9x6/B9TtMw

opnfNumOrs115
opnfTimeToCreate550
opnfNumLinks2269
opnfNumNots156
opnfNumComponents1106
opnfNumAnds380
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c959672.4666666667
ALLOY_DIFF_PROP_NET:1232118.76666666666
ALLOY_COMPILED_PROVER_CACHING:268491.26666666666
FLUXPLAYER_PROLOG:1.112663.133333333333
CADIAPLAYER_PROLOG:3.04977.400753308223
PALAMEDES_JAVA_ECLIPSE:0.6.13289.4333333333334
PALAMEDES_JOCULAR:0.6.12508.3333333333335
ALLOY_TUPLE_PROVER:21966.3
GGP_BASE_PROVER:2015-04-26958.4666666666667
REKKURA_BACKWARD_PROVER:1.0.0803.9666666666667
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1604.6666666666666
REKKURA_BACKWARD_PROVER_OSTD:1.0.0509.6333333333333
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1479.1666666666667
REKKURA_GENERIC_FORWARD_PROVER:1.0.0332.0555981467284
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0198.3404978506448

index