Solver
	SAT/	Rsat 2007	picosat 2007	MiniSAT 2007
Instance	UNSAT	(32bit)	(32bit)	(32bit)
IBM Benchmark Suite (15 SAT / 5 UNSAT)
ibm-2002-04r-k80	SAT	71.1	94.6	50.9
ibm-2002-11r1-k45	SAT	17.5	62.7	43.1
ibm-2002-18r-k90	SAT	126.0	531.2	-----
ibm-2002-20r-k75	SAT	179.0	316.1	751.4
ibm-2002-22r-k60	UNSAT	892.0	489.9	-----
ibm-2002-22r-k75	SAT	193.7	467.2	250.2
ibm-2002-22r-k80	SAT	312.3	-----	395.3
ibm-2002-23r-k90	SAT	321.8	-----	-----
ibm-2002-24r3-k100	UNSAT	170.5	628.1	543.7
ibm-2002-25r-k10	UNSAT	-----	-----	-----
ibm-2002-29r-k75	SAT	134.4	842.2	389.3
ibm-2002-30r-k85	SAT	524.0	635.8	-----
ibm-2002-31_1r3-k30	UNSAT	773.9	-----	537.4
ibm-2004-01-k90	SAT	68.2	77.9	28.5
ibm-2004-1_11-k80	SAT	105.0	696.1	61.6
ibm-2004-23-k100	SAT	-----	-----	-----
ibm-2004-23-k80	SAT	-----	-----	336.0
ibm-2004-29-k25	UNSAT	119.0	186.4	473.0
ibm-2004-29-k55	SAT	30.3	134.2	206.1
ibm-2004-3_02_3-k95	SAT	1.8	3.9	2.4
Manolios Benchmark Suite (10 UNSAT)
manol-pipe-c10nid_i	UNSAT	476.2	-----	-----
manol-pipe-c10nidw	UNSAT	793.6	-----	-----
manol-pipe-c6bidw_i	UNSAT	36.8	196.1	59.1
manol-pipe-c8nidw	UNSAT	174.9	-----	-----
manol-pipe-c9n_i	UNSAT	14.1	48.8	230.3
manol-pipe-f7nidw	UNSAT	-----	261.1	-----
manol-pipe-f9b	UNSAT	-----	-----	-----
manol-pipe-g10bid_i	UNSAT	494.1	-----	-----
manol-pipe-g10nid	UNSAT	124.1	273.2	-----
manol-pipe-g8nidw	UNSAT	149.4	34.3	163.2
Mironov-Zhang Benchmark Suite (10 SAT)
mizh-md5-47-3	SAT	216.0	-----	496.3
mizh-md5-47-4	SAT	560.7	328.2	323.2
mizh-md5-47-5	SAT	698.7	348.2	227.1
mizh-md5-48-2	SAT	348.7	456.1	267.7
mizh-md5-48-5	SAT	262.6	-----	-----
mizh-sha0-35-3	SAT	21.8	143.2	888.5
mizh-sha0-35-4	SAT	159.3	79.5	465.1
mizh-sha0-36-1	SAT	761.3	-----	-----
mizh-sha0-36-3	SAT	840.7	-----	-----
mizh-sha0-36-4	SAT	179.6	-----	-----
Post Benchmark Suite (2 SAT / 8 UNSAT)
post-c32s-col400-16	UNSAT	316.5	302.7	39.7
post-c32s-gcdm16-22	SAT	390.5	885.9	241.6
post-c32s-gcdm16-23	UNSAT	315.8	-----	311.7
post-c32s-ss-8	UNSAT	-----	-----	-----
post-cbmc-aes-d-r1	UNSAT	3.6	4.0	4.1
post-cbmc-aes-d-r2	UNSAT	-----	-----	-----
post-cbmc-aes-ee-r2	UNSAT	-----	-----	-----
post-cbmc-aes-ee-r3	UNSAT	-----	-----	-----
post-cbmc-aes-ele	UNSAT	41.6	75.2	289.4
post-cbmc-zfcp-2.8-u2	SAT	59.7	-----	66.9
Velev Benchmark Suite (4 SAT / 6 UNSAT)
velev-engi-uns-1.0-4nd	UNSAT	19.4	54.4	26.1
velev-fvp-sat-3.0-b18	SAT	6.5	63.4	-----
velev-npe-1.0-9dlx-b71	SAT	177.1	332.3	-----
velev-vliw-sat-4.0-b4	SAT	98.0	545.2	27.5
velev-vliw-sat-4.0-b8	SAT	57.5	572.4	17.2
velev-vliw-uns-2.0-iq1	UNSAT	-----	-----	-----
velev-vliw-uns-2.0-iq2	UNSAT	-----	-----	-----
velev-vliw-uns-2.0-uq5	UNSAT	-----	-----	-----
velev-vliw-uns-4.0-9-i1	UNSAT	-----	-----	-----
velev-vliw-uns-4.0-9	UNSAT	-----	-----	-----
Mixed Benchmark Suite (17 SAT / 23 UNSAT)
aloul-chnl11-13	UNSAT	-----	-----	-----
anbul-dated-5-15-u	UNSAT	471.7	-----	-----
anbul-part-10-13-s	SAT	-----	-----	-----
anbul-part-10-15-s	SAT	-----	-----	-----
babic-dspam-vc1080	UNSAT	1.8	-----	1.2
babic-dspam-vc949	UNSAT	1.6	271.3	1.0
babic-dspam-vc973	UNSAT	3.5	467.5	2.3
cmu-bmc-barrel6	UNSAT	1.5	1.9	2.8
cmu-bmc-longmult13	UNSAT	27.5	87.8	21.3
cmu-bmc-longmult15	UNSAT	9.9	33.1	17.4
een-pico-prop00-75	UNSAT	2.3	3.4	13.1
een-pico-prop05-75	UNSAT	14.2	77.3	44.2
een-tip-sat-nusmv-t5.B	SAT	1.6	7.5	1.1
een-tip-sat-texas-tp-5e	SAT	0.3	0.6	0.1
een-tip-sat-vis-eisen	SAT	0.6	1.0	0.4
fuhs-aprove-15	UNSAT	39.9	50.9	77.0
fuhs-aprove-16	UNSAT	730.6	557.0	-----
goldb-heqc-alu4mul	UNSAT	501.6	259.9	218.1
goldb-heqc-dalumul	UNSAT	-----	-----	-----
goldb-heqc-frg1mul	UNSAT	-----	-----	-----
goldb-heqc-x1mul	UNSAT	-----	-----	-----
grieu-vmpc-27	SAT	42.2	18.6	343.2
grieu-vmpc-31	SAT	-----	103.0	-----
hoons-vbmc-lucky7	UNSAT	1.4	4.2	7.5
jarvi-eq-atree-9	UNSAT	148.9	151.0	61.7
marijn-philips	UNSAT	-----	-----	547.5
maris-s03-gripper11	SAT	47.5	23.4	270.4
narain-vpn-clauses-10	SAT	159.0	96.7	126.9
narain-vpn-clauses-8	SAT	-----	-----	-----
palac-sn7-ipc5-h16	SAT	20.6	363.2	-----
palac-uts-l06-ipc5-h34	SAT	19.0	27.0	120.5
schup-l2s-abp4-1-k31	UNSAT	27.2	31.2	33.8
schup-l2s-bc56s-1-k391	UNSAT	-----	-----	-----
schup-l2s-motst-2-k315	SAT	146.9	530.5	59.6
simon-s02-f2clk-50	UNSAT	270.8	-----	833.6
simon-s02b-r4b1k1.1	SAT	263.5	127.9	26.7
simon-s02b-r4b1k1.2	SAT	525.2	141.0	251.7
simon-s03-fifo8-400	UNSAT	41.7	212.7	80.7
simon-s03-w08-15	SAT	115.6	152.9	76.3
vange-col-abb313GPIA-9-c	SAT	-----	-----	-----
#solved:		75	60	59
#solved SAT/UNSAT:		41/34	34/26	32/27