index

DRESDEN/3qbf-5cnf-20var-40cl.2.qdimacs.satlike/724YWg

opnfNumOrs46
opnfTimeToCreate1517
opnfNumLinks43046
opnfNumNots42
opnfNumComponents11554
opnfNumAnds10663
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c1674559.0666666667
ALLOY_DIFF_PROP_NET:152870.333333333336
ALLOY_COMPILED_PROVER_CACHING:224829.866666666665
CADIAPLAYER_PROLOG:3.04129.645059156807
PALAMEDES_JOCULAR:0.6.13555.8
PALAMEDES_JAVA_ECLIPSE:0.6.13107.266666666667
FLUXPLAYER_PROLOG:1.12823.9666666666667
ALLOY_TUPLE_PROVER:22390.4666666666667
GGP_BASE_PROVER:2015-04-26965.5333333333333
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1620.0
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1607.0333333333333
REKKURA_BACKWARD_PROVER_OSTD:1.0.0378.46666666666664
REKKURA_BACKWARD_PROVER:1.0.0376.4541181960601
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.06.027306027306027
REKKURA_GENERIC_FORWARD_PROVER:1.0.05.964412339706418

index