index

DRESDEN/uf20-010.cnf.SAT.satlike/g7LF6g

opnfNumOrs95
opnfTimeToCreate9642
opnfNumLinks499255
opnfNumNots93
opnfNumComponents126199
opnfNumAnds125583
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c49158.0
ALLOY_COMPILED_PROVER_CACHING:221952.3
FLUXPLAYER_PROLOG:1.12905.3333333333335
CADIAPLAYER_PROLOG:3.02011.1992533831078
ALLOY_DIFF_PROP_NET:1944.9
ALLOY_TUPLE_PROVER:2856.7333333333333
PALAMEDES_JAVA_ECLIPSE:0.6.1514.4780247242678
GGP_BASE_PROVER:2015-04-26474.63502433171124
REKKURA_BACKWARD_PROVER_OSTD:1.0.040.36393713813069
REKKURA_BACKWARD_PROVER:1.0.039.46719289590528
PALAMEDES_JOCULAR:0.6.110.173586825205062
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.10.5139538469445444
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.10.5007636645884974
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.3919135177504164
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.00.36633696339960703

index