index

DRESDEN/uf20-010.cnf.SAT/5ICbCg

opnfNumOrs92
opnfTimeToCreate816
opnfNumLinks838
opnfNumNots1
opnfNumComponents517
opnfNumAnds1
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c1248044.2333333334
ALLOY_DIFF_PROP_NET:1366058.4666666667
ALLOY_COMPILED_PROVER_CACHING:221257.533333333333
PALAMEDES_JOCULAR:0.6.13860.5333333333333
PALAMEDES_JAVA_ECLIPSE:0.6.13653.1
FLUXPLAYER_PROLOG:1.12887.3333333333335
ALLOY_TUPLE_PROVER:22112.3333333333335
CADIAPLAYER_PROLOG:3.01986.3356107315446
GGP_BASE_PROVER:2015-04-261078.1666666666667
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1681.0333333333333
REKKURA_BACKWARD_PROVER_OSTD:1.0.0479.1
REKKURA_BACKWARD_PROVER:1.0.0478.3840538648712
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1447.8333333333333
REKKURA_GENERIC_FORWARD_PROVER:1.0.0168.22211852543163
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0156.94574056792428

index