C2D Version 2.20

Results are on a Pentium 1.6M with 2GM of RAM.
Time includes compiling the CNFs into d-DNNFs, smoothing and then counting models.
The -in_memory option was used to avoid file operations.

The following benchmarks were used to illustrate the performance of the model counter Cachet.

These results were obtained by generating dtrees using the c2d option: -dt_method 3

CNF	Vars	Clauses	Time (seconds)
sat-grid-pbl-0010	110	191	1
sat-grid-pbl-0015	240	436	1
sat-grid-pbl-0020	420	731	1
sat-grid-pbl-0025	650	1226	18
sat-grid-pbl-0030	930	1771	8

These results were obtained by generating dtrees using the c2d option: -dt_method 0 -dt_count 1
Since this is a randomized method for dtree generation, the dtrees used are also included.

CNF	Vars	Clauses	dtree	Time (seconds)
prob001.pddl	939	3785	prob001.pddl.cnf.dtree	1
prob002.pddl	1337	24777	prob002.pddl.cnf.dtree	58
prob003.pddl	1413	29487	prob003.pddl.cnf.dtree	27
prob004.pddl	2303	20963	prob004.pddl.cnf.dtree	63
prob005.pddl	2701	29534	prob005.pddl.cnf.dtree	630
prob012.pddl	2324	31857	prob012.pddl.cnf.dtree	4389

These results were obtained by generating dtrees using the c2d option: -dt_method 4

CNF	Vars	Clauses	Time (seconds)
ra	1236	11416	9
rb	1854	11324	50
rc	2472	17942	2538

The following benchmarks are from SATLIB.
These results were obtained by generating dtrees using the c2d option: -dt_method 0 -dt_count 1

CNF	Vars	Clauses	Time (seconds) Average over 100 instances
UF200	200	860	13
FLAT200	600	2237	11

The following benchmarks correspond to ISCAS85 circuits.
These results were obtained by generating dtrees using the c2d option: -dt_method 0 -dt_count 25
Since this is a randomized method for dtree generation, the dtrees used are also included.

CNF	Vars	Clauses	dtree	Time (seconds)
c432.isc	196	514	c432.isc.cnf.dtree	3
c499.isc	243	714	c499.isc.cnf.dtree	8
c1355.isc	555	1546	c1355.isc.cnf.dtree	18
c880.isc	417	1060	c880.isc.cnf.dtree	46
c1908.isc	751	2053	c1908.isc.cnf.dtree	81
c2670.isc	1230	2876	c2670.isc.cnf.dtree	350
c7552.isc	3185	8588	c7552.isc.cnf.dtree	384