SAT 2009 Competition: multithread track: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	0.92	0.997208	1776430
manol-pipe-g6bi.cnf	UNSAT	3.76	1.2735	1781365
een-tip-uns-nusmv-t5.B.cnf	UNSAT	5.9	5.27067	1781260
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	6.28	3.46878	1778740
cmu-bmc-barrel6.cnf	UNSAT	12.9	8.19096	1776640
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	14.61	8.70054	1779280
manol-pipe-c9.cnf	UNSAT	22.96	7.31212	1781545
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	23.16	11.9746	1776175
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	28.34	15.8892	1778935
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	40.27	13.5354	1779010
manol-pipe-g7nidw.cnf	UNSAT	41.64	24.0162	1781530
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	42.48	22.2084	1776190
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	46.85	35.0268	1779265
hoons-vbmc-lucky7.cnf	UNSAT	53.17	18.0228	1776730
cmu-bmc-longmult15.cnf	UNSAT	55.92	32.1575	1776925
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	68.94	22.9206	1775515
velev-engi-uns-1.0-4nd.cnf	UNSAT	70.99	23.0622	1776805
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	79.18	45.1452	1781170
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	91.42	50.2404	1778860
velev-live-uns-2.0-ebuf.cnf	UNSAT	92.57	31.0238	1781350
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	100.39	57.1957	1779250
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	101.89	69.2817	1776265
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	105.16	57.9294	1778725
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	114.81	60.967	1778770
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	123.81	38.3174	1778980
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	130.91	67.068	1775530
simon-s02b-dp11u10.cnf	UNSAT	134.7	42.0491	1781395
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	135.04	44.6866	1779070
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	144.79	48.339	1778815
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	146.46	49.1539	1776040
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	162.49	95.4011	1780330
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	175.45	58.0866	1776085
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	176.66	89.4006	1780435
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	187.86	62.9446	1780390
schup-l2s-abp4-1-k31.cnf	UNSAT	218.63	117.196	1776655
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	234.45	534.526	1776100
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	238.85	80.1499	1780285
simon-s03-fifo8-300.cnf	UNSAT	245.51	124.606	1781485
manol-pipe-g10id.cnf	UNSAT	260.99	86.6947	1781305
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	305.04	102.077	1779310
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	333.57	437.561	1776235
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	361.77	183.43	1776160
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	371.15	186.932	1780645
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	384.71	199.968	1780150
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	410.51	206.683	1780540
manol-pipe-c6bidw_i.cnf	UNSAT	532.33	282.184	1776850
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	545.07	319.331	1776070
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	573.53	190.721	1780120
manol-pipe-c10nidw_s.cnf	UNSAT	641.11	330.285	1781215
manol-pipe-c6nidw_i.cnf	UNSAT	724.38	241.785	1781575
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	845.46	427.558	1780675
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	889.45	292.501	1779925
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	890.46	459.96	1780015
schup-l2s-guid-1-k56.cnf	UNSAT	909.94	303.886	1781470
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	937.5	304.455	1779910
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	1008.35	332.963	1780045
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	1033.1	342.46	1780000
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	1101.37	573.124	1780990
manol-pipe-g10nid.cnf	UNSAT	1351.51	445.485	1776820
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	1418.65	786.722	1776055
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	UNSAT	1575.83	522.984	1781050
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	1601.32	808.555	1780570
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	1641.25	826.383	1779220
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	1682.68	852.909	1775710
manol-pipe-g10bidw.cnf	UNSAT	1698.64	888.136	1781230
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	2849.67	953.79	1775860

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.32	0.172683	1779715
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	0.35	0.168548	1779820
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	0.61	0.641423	1780960
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.93	0.340332	1779760
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	1.14	0.426558	1779670
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	1.76	0.643274	1779865
een-tip-sat-texas-tp-5e.cnf	SAT	1.94	1.56358	1776970
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	2.44	0.86635	1779850
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	2.68	1.96783	1780795
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	3.33	1.15775	1779700
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	3.45	1.25222	1779805
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	3.55	1.25995	1779730
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	4.42	1.43549	1779790
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	5.01	1.76447	1779745
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	5.61	3.31992	1780870
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	6.59	2.40512	1779835
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	15.09	6.82031	1779940
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	15.73	5.33579	1779655
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	15.88	5.00813	1780030
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	16.09	5.46426	1779775
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	22.25	7.50378	1779685
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	32.96	11.1067	1779610
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	42.78	13.4043	1779985
velev-pipe-sat-1.0-b10.cnf	SAT	55.3	42.3591	1781245
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	78.59	24.8806	1779880
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	85.42	43.2431	1779520
industrial/grieu/ vmpc_24.cnf	SAT	126.23	42.2588	1776340
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	137.96	44.8691	1779895
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	144.5	326.453	1779970
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	156.03	52.1627	1779625
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	165.84	55.1799	1776025
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	184.09	61.6665	1779445
mizh-sha0-35-3.cnf	SAT	193.71	104.325	1776940
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	210.5	107.381	1780405
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	230.53	76.8428	1779460
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	257.54	134.977	1779955
industrial/grieu/ vmpc_26.cnf	SAT	352.21	252.623	1776400
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	363.51	119.649	1780255
mizh-md5-47-3.cnf	SAT	468.76	518.869	1776625
simon-s03-w08-15.cnf	SAT	471.34	237.904	1776700
mizh-md5-47-4.cnf	SAT	522.09	269.593	1776910
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	625.16	313.526	1779370
industrial/grieu/ vmpc_25.cnf	SAT	677.3	494.687	1776295
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	825.69	418.55	1780735
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	912.44	670.141	1781035
mizh-sha0-36-2.cnf	SAT	978.73	500.739	1781440
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	1655.2	842.401	1780240
mizh-sha0-36-3.cnf	SAT	1798.57	596.918	1776715
schup-l2s-motst-2-k315.cnf	SAT	1816.4	914.35	1776775
mizh-sha0-36-4.cnf	SAT	1835.21	610.233	1776835
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	2046.3	682.88	1779340
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	2404.09	802.377	1780165

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
goldb-heqc-alu4mul.cnf	? (TO)	311.5	1000.1	1776985
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	454.77	1000.06	1779550
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	635.14	1000.03	1779385
manol-pipe-c10nidw.cnf	? (TO)	639.83	1000.08	1776790
goldb-heqc-term1mul.cnf	? (TO)	707.03	1000.1	1781335
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	723.75	1000.06	1781500
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	775.26	1000.08	1780270
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	971.67	1000.07	1780600
industrial/narain/ clauses-8.cnf	? (TO)	976.03	1000.24	1776415
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1022.69	1000.05	1775845
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1055.6	1000.06	1775725
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1072.26	1000.03	1776220
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1084.09	1000.11	1779175
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1104.71	1000.05	1776250
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1124.9	1000.07	1775980
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1167.12	1000.05	1779040
goldb-heqc-i10mul.cnf	? (TO)	1206.08	1000.03	1781275
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1232.78	1000.06	1779130
vange-col-abb313GPIA-9-c.cnf	? (TO)	1243.04	1000.08	1776865
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1285	1000.08	1780750
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1339.71	1000.15	1775605
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1351.27	1000.07	1780900
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1355.86	1000.05	1778875
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1366.86	1000.07	1780465
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1378.49	1000.05	1781140
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1516.52	1000.04	1775935
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1573.8	1000.05	1776280
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1577.42	1000.03	1776205
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1684.25	1000.07	1776445
industrial/grieu/ vmpc_34.cnf	? (TO)	1694.85	1000.05	1776385
manol-pipe-f10ni.cnf	? (TO)	1701.73	1000.06	1781455
goldb-heqc-frg1mul.cnf	? (TO)	1713.06	1000.05	1776670
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1723.06	1000.04	1779100
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1736.26	1000.05	1775680
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1756.58	1000.07	1775800
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1774.9	1000.04	1778950
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1775.65	1000.05	1778965
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1797.23	1000.04	1775890
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1797.95	1000.07	1781110
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1818.17	1000.04	1779115
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1843.88	1000.1	1780180
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1852.27	1000.05	1779295
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1857.86	1000.04	1775875
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1882.79	1000.07	1780660
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1899.33	1000.06	1780975
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1906.99	1000.08	1775560
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1910.79	1000.04	1779640
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1915.44	1000.08	1778800
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1915.49	1000.14	1776685
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1930.25	1000.06	1775815
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1936.08	1000.07	1781320
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1938.1	1000.05	1779055
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1946.66	1000.04	1779490
manol-pipe-c10nid_i.cnf	? (TO)	1947.88	1000.06	1776955
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	? (TO)	1954.54	1000.06	1780195
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1956.03	1000.07	1775665
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1956.03	1000.06	1780225
manol-pipe-f9n.cnf	? (TO)	1957.36	1000.06	1781425
industrial/grieu/ vmpc_28.cnf	? (TO)	1960.23	1000.03	1776370
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1963.44	1000.06	1780825
manol-pipe-f9b.cnf	? (TO)	1963.47	1000.05	1776760
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1963.63	1000.05	1775950
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1965.09	1000.1	1780075
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1965.9	1000.07	1780525
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1965.92	1000.05	1775755
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1968.28	1000.06	1780360
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1969.64	1000.09	1775545
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1969.75	1000.05	1775995
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1970.27	1000.04	1781020
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1972.97	1000.08	1780345
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1974.62	1000.05	1781185
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1977.35	1000.05	1780810
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1977.54	1000.07	1780510
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1977.93	1000.08	1780450
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1978.09	1000.06	1775770
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1978.89	1000.06	1781095
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1979.85	1000.07	1780720
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1981.51	1000.05	1780885
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	? (TO)	1981.99	1000.07	1780945
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1982.42	1000.06	1780840
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (TO)	1983.11	1000.22	1780105
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1983.25	1000.05	1781080
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1983.73	1000.08	1775635
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (TO)	1985.23	1000.07	1778755
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1986.66	1000.06	1778920
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1987.37	1000.06	1779235
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1987.5	1000.05	1780090
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1987.6	1000.03	1779355
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1988.18	1000.04	1779535
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1989.04	1000.03	1779415
APPLICATIONS/ bitverif/minand/minand128.cnf	? (TO)	1989.11	1000.07	1778890
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1989.49	1000.08	1778785
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1991.07	1000.04	1779580
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1991.19	1000.07	1780690
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1991.28	1000.04	1779430
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1991.85	1000.07	1780585
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1993.64	1000.09	1775590
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1993.77	1000.07	1780375
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1995.38	1000.04	1779595
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	2000.27	1000.04	1779190
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	2001.21	1000.05	1776010
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	2996.49	1000.04	1780915
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	2997	1000.07	1779160
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	2997.33	1000.05	1781005
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	2997.44	1000.04	1779505
goldb-heqc-x1mul.cnf	? (TO)	2997.46	1000.04	1776610
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	2997.5	1000.05	1776145
industrial/grieu/ vmpc_33.cnf	? (TO)	2997.52	1000.05	1776325
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	2997.62	1000.04	1781065
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	2997.74	1000.04	1781125
industrial/grieu/ vmpc_30.cnf	? (TO)	2997.77	1000.05	1776310
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	2997.81	1000.04	1779400
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	2997.81	1000.03	1775965
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	2997.84	1000.04	1780780
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	2998.01	1000.04	1780930
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	2998.05	1000.06	1775650
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	2998.19	1000.04	1780855
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	2998.23	1000.05	1781155
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	2998.45	1000.04	1779205
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	2998.51	1000.1	1775695
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	2998.64	1000.03	1779565
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	2998.65	1000.04	1779475
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	2998.7	1000.04	1779325
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	2998.77	1000.06	1776130
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	2999.04	1000.07	1780495
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	2999.13	1000.04	1778845
industrial/grieu/ vmpc_29.cnf	? (TO)	2999.33	1000.04	1776355
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	2999.34	1000.1	1775785
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	2999.51	1000.04	1776115
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	2999.82	1000.06	1775620
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	2999.86	1000.07	1780420
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	2999.99	1000.07	1778830
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	3000.11	1000.07	1779085
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	3000.21	1000.11	1775575
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	3000.24	1000.09	1780315
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	3000.31	1000.09	1775830
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	3000.43	1000.09	1780705
schup-l2s-bc56s-1-k391.cnf	? (TO)	3001.24	1000.06	1776745
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	3001.6	1000.07	1780480
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	3001.61	1000.09	1779145
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	3001.63	1000.04	1775740
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	3001.86	1000.13	1776505
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	3001.88	1000.09	1780555
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	3002.08	1000.04	1780765
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	3002.17	1000.09	1780615
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	3002.2	1000.06	1775920
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	3002.44	1000.05	1775500
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	3002.66	1000.08	1779025
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	3002.78	1000.06	1780135
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	3003.23	1000.06	1780630
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	3003.86	1000.09	1780060
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	3004.06	1000.07	1780210
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	3004.42	1000.02	1778905
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	3005.63	1000.05	1775905
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	3006.09	1000.06	1780300
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	3007.2	1000.08	1778995
mizh-md5-48-5.cnf	? (TO)	3007.72	1000.06	1777000
manol-pipe-c7bidw_i.cnf	? (TO)	3010.63	1000.05	1781515
aloul-chnl11-13.cnf	? (TO)	3012.48	1000.03	1776880
manol-pipe-c7nidw.cnf	? (TO)	3016.97	1000.07	1781290
goldb-heqc-dalumul.cnf	? (TO)	3039.4	1000.04	1776895

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (MO)	28.89	9.86654	1776595
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (MO)	28.94	9.85826	1776580
velev-pipe-sat-1.0-b7.cnf	? (MO)	955.62	318.952	1781200
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	1018.69	517.961	1776460
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (MO)	1025.66	522.461	1776550
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (MO)	1067.46	587.864	1776535
velev-pipe-uns-1.0-8.cnf	? (MO)	1099.64	560.645	1781560
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (MO)	1252.9	417.742	1776490
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (MO)	1299.97	433.143	1776475
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (MO)	1849.25	953.947	1776520
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (MO)	1902.73	634.149	1776565
velev-pipe-o-uns-1.0-7.cnf	? (MO)	2720.71	907.541	1781410
velev-vliw-uns-4.0-9C1.cnf	? (MO)	2825.08	941.828	1781380

SAT 2009 Competition: multithread track: benchmarks results per solver

Result page for solver satake 2009-03-22 (4 threads) (complete)

Category "applications instances" (APPLICATION)

Solver proved unsatisfiability (UNSATISFIABLE) (66 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) (52 runs) [Show/Hide]

Solver timed out (no solution given) (161 runs) [Show/Hide]

Solver exceeded the memory limit (no solution given) (13 runs) [Show/Hide]