SAT 2009 Competition: multithread track: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
aloul-chnl11-13.cnf	UNSAT	2.89218	0.25015	1776885
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	3.1962	3.198	1776435
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	24.1055	24.1322	1776195
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	24.5975	24.6344	1776180

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	145.705	10.2504	1779720
industrial/grieu/ vmpc_24.cnf	SAT	1944.39	122.514	1776345
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	6862.64	452.893	1779750

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
velev-pipe-sat-1.0-b10.cnf	?	18.4492	18.4548	1781250
velev-pipe-sat-1.0-b7.cnf	?	18.4892	18.4939	1781205
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	?	30.3499	30.3513	1780110

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
schup-l2s-motst-2-k315.cnf	? (TO)	999.995	1000.05	1776780
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1000	1000.04	1776015
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1000.03	1000.05	1775985
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1000.03	1000.06	1776120
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1000.03	1000.05	1776135
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1000.03	1000.04	1775730
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1000.03	1000.04	1775835
schup-l2s-bc56s-1-k391.cnf	? (TO)	1000.03	1000.05	1776750
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1000.03	1000.04	1778835
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1000.03	1000.04	1778925
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	? (TO)	1000.03	1000.04	1780125
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1000.03	1000.06	1780215
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1000.03	1000.05	1780305
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1000.03	1000.06	1780470
manol-pipe-c10nidw_s.cnf	? (TO)	1000.03	1000.05	1781220
manol-pipe-f10ni.cnf	? (TO)	1000.03	1000.05	1781460
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1000.04	1000.05	1780560
manol-pipe-g10bidw.cnf	? (TO)	1000.04	1000.03	1781235
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1000.04	1000.05	1780380
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1000.05	1000.08	1780185
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1000.05	1000.08	1780275
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	? (TO)	1000.05	1000.07	1780290
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1000.05	1000.05	1775955
manol-pipe-c10nidw.cnf	? (TO)	1000.05	1000.05	1776795
manol-pipe-c10nid_i.cnf	? (TO)	1000.05	1000.04	1776960
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1000.05	1000.05	1779030
industrial/narain/ clauses-8.cnf	? (TO)	1000.08	1000.1	1776420
velev-pipe-uns-1.0-8.cnf	? (TO)	1000.08	1000.11	1781565
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1000.08	1000.11	1776690
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1000.13	1000.16	1776525
velev-vliw-uns-4.0-9C1.cnf	? (TO)	1000.16	1000.19	1781385
mizh-md5-48-5.cnf	? (TO)	10000.6	694.29	1777005
mizh-md5-47-4.cnf	? (TO)	10001	680.653	1776915
mizh-md5-47-3.cnf	? (TO)	10001.7	678.747	1776630

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (MO)	15.609	15.6169	1776555
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (MO)	17.1891	17.1944	1776540
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	20.5933	20.5925	1776465
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (MO)	25.5896	25.5921	1776600
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (MO)	25.6896	25.7864	1776585
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (MO)	341.841	341.858	1775685
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (MO)	389.604	43.9055	1779135
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (MO)	405.869	405.884	1779150
industrial/fuhs/medium/ AProVE07-16.cnf	? (MO)	455.2	51.7877	1775865
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (MO)	467.573	467.583	1779090
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (MO)	472.934	472.944	1775565
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (MO)	473.646	473.653	1775640
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (MO)	477.73	477.745	1775550
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (MO)	479.762	44.3115	1779165
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	? (MO)	515.36	515.367	1776030
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (MO)	523.953	523.964	1775775
goldb-heqc-frg1mul.cnf	? (MO)	531.913	47.8897	1776675
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	? (MO)	534.86	49.6061	1779015
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (MO)	538.998	539.009	1780620
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (MO)	539.59	539.605	1780590
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (MO)	548.594	548.608	1780710
APPLICATIONS/ bitverif/maxand/maxand064.cnf	? (MO)	567.427	43.2012	1779075
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (MO)	572.3	572.309	1780725
goldb-heqc-x1mul.cnf	? (MO)	574.78	36.5127	1776615
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	? (MO)	597.477	597.499	1780200
APPLICATIONS/bitverif/ minor/minor064.cnf	? (MO)	598.989	44.5967	1778730
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (MO)	603.67	38.9998	1778955
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (MO)	618.583	618.601	1780365
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (MO)	625.059	625.075	1776480
goldb-heqc-term1mul.cnf	? (MO)	637.34	42.8248	1781340
APPLICATIONS/bitverif/ smulo/smulo016.cnf	? (MO)	641.788	40.9046	1778985
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (MO)	645.624	44.295	1778910
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (MO)	650.761	650.786	1776495
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (MO)	651.825	52.1882	1776255
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	? (MO)	668.062	42.6951	1778865
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (MO)	671.63	58.0877	1776210
APPLICATIONS/bitverif/ minor/minor032.cnf	? (MO)	696.343	44.7933	1778745
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (MO)	699.864	47.3994	1779120
cmu-bmc-longmult15.cnf	? (MO)	704.28	47.2952	1776930
APPLICATIONS/ bitverif/minand/minand128.cnf	? (MO)	708.376	57.3131	1778895
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	? (MO)	710.292	76.2121	1780335
APPLICATIONS/aprove09/ AProVE09-05.cnf	? (MO)	718.797	60.1012	1779675
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (MO)	724.393	724.404	1780530
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (MO)	726.293	52.4857	1776240
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	? (MO)	748.82	64.007	1779465
manol-pipe-g10nid.cnf	? (MO)	754.463	754.479	1776825
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (MO)	760.956	50.0996	1778970
APPLICATIONS/aprove09/ AProVE09-10.cnf	? (MO)	779.545	92.1992	1779840
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (MO)	801.946	801.962	1775625
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	? (MO)	814.255	53.7958	1778820
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (MO)	875.067	60.4987	1779375
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (MO)	890.26	68.4149	1780140
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (MO)	892.728	56.8863	1776285
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (MO)	895.048	57.1998	1779105
APPLICATIONS/aprove09/ AProVE09-08.cnf	? (MO)	895.348	66.5973	1779825
cmu-bmc-barrel6.cnf	? (MO)	903.828	57.3782	1776645
APPLICATIONS/aprove09/ AProVE09-07.cnf	? (MO)	923.954	68.6005	1779795
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (MO)	925.946	59.5074	1778880
mizh-sha0-35-3.cnf	? (MO)	958.176	78.6938	1776945
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (MO)	962.32	61.3886	1776225
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (MO)	983.357	983.389	1780230
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (MO)	996.346	96.1139	1780440
APPLICATIONS/aprove09/ AProVE09-24.cnf	? (MO)	997.558	75.9107	1779660
industrial/fuhs/hard/ AProVE07-26.cnf	? (MO)	1040.24	70.1892	1775925
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	? (MO)	1067.56	71.7093	1778940
een-tip-sat-texas-tp-5e.cnf	? (MO)	1072.84	70.701	1776975
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (MO)	1105.89	76.8991	1779645
APPLICATIONS/aprove09/ AProVE09-17.cnf	? (MO)	1108.87	76.8004	1779630
industrial/fuhs/hard/ AProVE07-27.cnf	? (MO)	1118.36	72.6939	1775940
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (MO)	1118.45	97.4018	1779270
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (MO)	1133.43	98.398	1779255
APPLICATIONS/aprove09/ AProVE09-25.cnf	? (MO)	1138.2	78.4014	1779705
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (MO)	1157.27	77.8063	1779510
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (MO)	1173.29	100.598	1779315
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (MO)	1173.62	123.999	1779225
goldb-heqc-alu4mul.cnf	? (MO)	1175.36	75.1948	1776990
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	? (MO)	1191.43	75.3859	1776270
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (MO)	1199.94	81.3006	1779405
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (MO)	1219.74	107.398	1779180
simon-s02b-dp11u10.cnf	? (MO)	1221.3	78.5228	1781400
goldb-heqc-dalumul.cnf	? (MO)	1233.12	96.099	1776900
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (MO)	1243.27	226.195	1776510
hoons-vbmc-lucky7.cnf	? (MO)	1271.16	81.7927	1776735
mizh-sha0-36-2.cnf	? (MO)	1312.29	103.226	1781445
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (MO)	1318.78	113.306	1779240
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (MO)	1326.51	90.5347	1781040
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (MO)	1344.35	115.402	1779195
APPLICATIONS/aprove09/ AProVE09-12.cnf	? (MO)	1344.54	139.103	1779735
mizh-sha0-36-3.cnf	? (MO)	1349.24	104.892	1776720
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	? (MO)	1384.19	95.2978	1779345
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (MO)	1389.67	119.594	1776450
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (MO)	1405.38	94.7119	1779420
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (MO)	1409.45	93.1218	1780845
industrial/grieu/ vmpc_34.cnf	? (MO)	1412.11	90.6924	1776390
APPLICATIONS/aprove09/ AProVE09-19.cnf	? (MO)	1413.52	98.107	1779870
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	? (MO)	1424.88	116.998	1779285
industrial/fuhs/hard/ AProVE07-08.cnf	? (MO)	1434.26	91.8566	1775895
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (MO)	1447.37	96.4967	1779480
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (MO)	1458.9	122	1779210
mizh-sha0-36-4.cnf	? (MO)	1465.51	113.798	1776840
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (MO)	1476.93	628.306	1776570
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (MO)	1494.35	104.63	1780830
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (MO)	1512.53	100.124	1781100
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (MO)	1534.6	102.507	1779435
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	? (MO)	1584.63	108.32	1780800
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (MO)	1592.45	112.699	1779930
industrial/grieu/ vmpc_33.cnf	? (MO)	1603.09	102.402	1776330
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	? (MO)	1609.12	109.221	1780950
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (MO)	1633.83	108.497	1779450
industrial/fuhs/hard/ AProVE07-01.cnf	? (MO)	1635.86	104.483	1775880
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (MO)	1679.97	110.521	1780905
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	? (MO)	1716.25	116.297	1779885
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	? (MO)	1746.33	111.62	1780875
velev-engi-uns-1.0-4nd.cnf	? (MO)	1755.62	116.995	1776810
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (MO)	1767.71	122.699	1780050
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (MO)	1776.62	142.198	1779300
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	? (MO)	1865.24	123.497	1779525
APPLICATIONS/aprove09/ AProVE09-22.cnf	? (MO)	1867.17	148.2	1779765
APPLICATIONS/aprove09/ AProVE09-21.cnf	? (MO)	1870.65	122.999	1779690
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (MO)	1870.93	120.521	1780860
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (MO)	1887.63	124.8	1779585
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (MO)	1957.31	126.519	1780815
industrial/fuhs/hard/ AProVE07-25.cnf	? (MO)	1971.83	126.593	1775910
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	? (MO)	1990.6	129.417	1780965
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (MO)	2059.73	133.519	1781010
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (MO)	2144	143.808	1779540
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (MO)	2173.46	142.22	1780920
industrial/grieu/ vmpc_28.cnf	? (MO)	2176.4	137.492	1776375
een-tip-uns-nusmv-t5.B.cnf	? (MO)	2210.98	197.135	1781265
schup-l2s-abp4-1-k31.cnf	? (MO)	2212.05	141.495	1776660
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (MO)	2247.12	148.918	1781145
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (MO)	2268	149.101	1779390
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (MO)	2279.41	150.398	1779495
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (MO)	2282.74	144.334	1781130
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (MO)	2283.33	145.822	1781085
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (MO)	2363.6	150.521	1781115
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (MO)	2369.44	149.937	1780785
industrial/grieu/ vmpc_29.cnf	? (MO)	2406.44	152.001	1776360
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (MO)	2417.7	153.031	1780755
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (MO)	2432.28	154.421	1780980
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (MO)	2469.87	157.018	1780890
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (MO)	2498.07	162.406	1779060
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (MO)	2514.28	160.621	1780935
industrial/grieu/ vmpc_30.cnf	? (MO)	2540.59	161.49	1776315
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (MO)	2558.91	165.822	1781025
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	? (MO)	2578.79	169.798	1779990
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (MO)	2596.92	178.9	1780020
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (MO)	2604.36	171.098	1779570
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	? (MO)	2606.74	167.228	1781175
manol-pipe-g6bi.cnf	? (MO)	2615.85	170.739	1781370
APPLICATIONS/aprove09/ AProVE09-03.cnf	? (MO)	2666.19	225.719	1779810
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (MO)	2705.2	175.821	1781055
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (MO)	2732.39	179.115	1779600
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (MO)	2786.95	176.428	1781070
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (MO)	2831.71	179.023	1781160
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (MO)	2866.02	187.5	1779555
simon-s02b-k2f-gr-rcs-w8.cnf	? (MO)	2873.21	187.031	1781505
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (MO)	2992.8	192.999	1779330
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (MO)	3008.88	190.536	1781190
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	? (MO)	3058.55	201.194	1778775
industrial/grieu/ vmpc_25.cnf	? (MO)	3083.57	193.898	1776300
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (MO)	3100.31	214.5	1778805
industrial/grieu/ vmpc_26.cnf	? (MO)	3140.9	197.591	1776405
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	? (MO)	3259.02	218.399	1780005
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (MO)	3260.08	205.418	1780995
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	? (MO)	3285.8	215.809	1779975
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	? (MO)	3351.01	218.298	1780035
velev-live-uns-2.0-ebuf.cnf	? (MO)	3380.8	228.232	1781355
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	? (MO)	3472.47	226.3	1779945
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (MO)	3489.19	230.301	1778760
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (MO)	3556.4	224.12	1780770
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	? (MO)	3580.31	235.197	1779900
vange-col-abb313GPIA-9-c.cnf	? (MO)	3732.41	251.599	1776870
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (MO)	3743.96	241.111	1779360
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (MO)	3746.64	242.6	1779045
APPLICATIONS/aprove09/ AProVE09-11.cnf	? (MO)	3787.73	248.812	1779855
goldb-heqc-i10mul.cnf	? (MO)	4321.47	392.526	1781280
velev-pipe-o-uns-1.0-7.cnf	? (MO)	4402.14	447.836	1781415
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (MO)	4563.62	299.796	1779915
velev-pipe-o-uns-1.1-6.cnf	? (MO)	6313.02	414.527	1781325
industrial/fuhs/medium/ AProVE07-09.cnf	? (MO)	6428.18	418.087	1775850
manol-pipe-c9.cnf	? (MO)	7498.1	481.333	1781550
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	? (MO)	8100.66	518.596	1779960

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-06.cnf	Signal 11	21.3253	21.3292	1779615
manol-pipe-g7nidw.cnf	Signal 11	24.7695	24.7754	1781535
APPLICATIONS/aprove09/ AProVE09-15.cnf	Signal 11	28.7458	28.7546	1779780
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	Signal 11	35.5342	35.5369	1780410
manol-pipe-c6nidw_i.cnf	Signal 11	36.0583	36.0598	1781580
manol-pipe-c6bidw_i.cnf	Signal 11	37.4063	37.4108	1776855
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	Signal 11	42.7787	42.7846	1780395
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	Signal 11	43.3027	43.3049	1776045
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	Signal 11	44.9988	45.003	1775970
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	Signal 11	45.6829	45.6878	1780650
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	Signal 11	46.1869	46.2032	1776090
industrial/palacios/hard/ safe-30-h29-unsat.cnf	Signal 11	48.131	48.146	1776000
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	Signal 11	52.9593	52.9712	1775820
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	Signal 11	54.9874	54.9995	1780170
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	Signal 11	56.7515	56.7688	1778850
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	Signal 11	58.8597	58.8762	1780095
schup-l2s-guid-1-k56.cnf	Signal 11	60.8678	60.873	1781475
manol-pipe-c7bidw_i.cnf	Signal 11	60.9638	60.9713	1781520
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	Signal 11	63.364	63.3803	1775715
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	Signal 11	64.204	64.2273	1775520
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	Signal 11	77.5568	77.5747	1775805
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	Signal 11	77.6049	77.6228	1778790
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	Signal 11	81.4091	81.43	1780740
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	Signal 11	82.8532	82.8727	1775745
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	Signal 11	84.4453	84.4572	1780455
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	Signal 11	85.5533	85.578	1780680
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	Signal 11	88.0655	88.0847	1775535
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	Signal 11	92.0138	92.0364	1780545
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	Signal 11	95.746	95.7686	1775595
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	Signal 11	98.1981	98.2186	1775670
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	Signal 11	104.231	104.235	1776105
manol-pipe-g10id.cnf	Signal 11	109.031	109.054	1781310
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	Signal 11	112.475	112.492	1780320
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	Signal 11	114.135	114.144	1780575
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	Signal 11	115.423	115.445	1780695
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	Signal 11	117.771	117.799	1780425
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	Signal 11	120.352	120.373	1780485
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	Signal 11	123.74	123.758	1780635
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	Signal 11	129.512	129.518	1776075
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	Signal 11	129.848	129.861	1776165
simon-s03-w08-15.cnf	Signal 11	129.864	129.882	1776705
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	Signal 11	133.068	133.08	1780155
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	Signal 11	133.304	133.328	1775760
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	Signal 11	138.257	138.329	1780065
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	Signal 11	146.917	146.933	1780080
manol-pipe-c7nidw.cnf	Signal 11	152.758	152.808	1781295
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	Signal 11	174.743	174.769	1775655
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	Signal 11	176.371	180.068	1775505
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	Signal 11	198.864	198.89	1775790
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	Signal 11	199.648	199.675	1775610
simon-s03-fifo8-300.cnf	Signal 11	239.115	239.143	1781490
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	Signal 11	250.436	250.447	1776060
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	Signal 11	250.54	250.565	1780665
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	Signal 11	252.584	252.603	1780350
manol-pipe-f9b.cnf	Signal 11	258.92	258.959	1776765
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	Signal 11	262.532	262.553	1780605
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	Signal 11	264.477	264.484	1780500
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	Signal 11	265.509	265.553	1780515
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	Signal 11	267.937	267.945	1780260
manol-pipe-f9n.cnf	Signal 11	279.889	279.932	1781430
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	Signal 11	287.106	287.146	1775700
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	Signal 11	289.434	289.475	1775580
APPLICATIONS/bitverif/ smulo/smulo128.cnf	Signal 11	290.6	290.639	1779000
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	Signal 11	349.898	349.93	1780245
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	Signal 11	1132.07	123.893	1776150

SAT 2009 Competition: multithread track: benchmarks results per solver

Result page for solver ttsth-5-0 2009-03-19 (16 threads) (complete)

Category "applications instances" (APPLICATION)

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

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

Solver didn't decide (UNKNOWN) (3 runs) [Show/Hide]

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

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

Solver was terminated by a signal (65 runs) [Show/Hide]