SAT 2009 Competition: multithread track: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
aloul-chnl11-13.cnf	UNSAT	0.39	0.519538	1776883
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	3.58	6.382	1776433
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	37.33	37.351	1776193
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	37.7	37.6945	1776178

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	27.05	14.1532	1779718
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	614.89	326.128	1779808
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	1553.44	401.223	1779748

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
velev-pipe-sat-1.0-b7.cnf	?	24.12	24.1256	1781203
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	?	43.14	86.1936	1780108

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	513.96	1000.08	1778923
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	? (TO)	605.62	1000.03	1780198
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	757.18	1000.04	1776133
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	791.72	1000.04	1780558
velev-vliw-uns-4.0-9C1.cnf	? (TO)	993.41	1000.08	1781383
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	993.61	1000.04	1780273
schup-l2s-bc56s-1-k391.cnf	? (TO)	998.86	1000.03	1776748
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	998.89	1000.04	1775983
manol-pipe-f10ni.cnf	? (TO)	999.04	1000.02	1781458
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	999.18	1000.02	1778833
manol-pipe-c10nid_i.cnf	? (TO)	999.3	1000.03	1776958
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	999.41	1000.03	1780183
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	999.41	1000.02	1776013
manol-pipe-g10bidw.cnf	? (TO)	999.44	1000.03	1781233
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	999.52	1000.06	1776523
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	999.52	1000.03	1780303
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	999.59	1000.02	1779028
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	999.66	1000.03	1775833
velev-pipe-uns-1.0-8.cnf	? (TO)	999.72	1000.04	1781563
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	? (TO)	999.72	1000.04	1780288
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	999.78	1000.02	1775953
schup-l2s-motst-2-k315.cnf	? (TO)	999.8	1000.03	1776778
manol-pipe-c10nidw_s.cnf	? (TO)	999.88	1000.03	1781218
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	999.88	1000.04	1780213
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	999.88	1000.03	1780528
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	999.92	1000.03	1775728
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1000.06	1000.03	1776118
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1000.07	1000.03	1780228
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1000.07	1000.03	1780468
industrial/narain/ clauses-8.cnf	? (TO)	1000.1	1000.05	1776418
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	? (TO)	1000.1	1000.02	1780123
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1000.1	1000.03	1775623
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1000.11	1000.07	1776688
manol-pipe-g10nid.cnf	? (TO)	1000.11	1000.02	1776823
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1000.12	1000.03	1780378
manol-pipe-c10nidw.cnf	? (TO)	1000.12	1000.03	1776793
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1000.15	1000.07	1776478
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1000.16	1000.07	1776493
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1966.16	1000.14	1775848
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1971	1000.23	1780978
vange-col-abb313GPIA-9-c.cnf	? (TO)	1974.04	1000.13	1776868
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1976.22	1000.21	1781113
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	? (TO)	2058.75	1000.1	1779958
goldb-heqc-i10mul.cnf	? (TO)	2152.9	1000.12	1781278
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	? (TO)	2181.11	1000.13	1780003
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	2229	1000.12	1781023
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	2426.73	1000.13	1779913
mizh-md5-47-3.cnf	? (TO)	2703.65	1000.08	1776628
mizh-md5-47-4.cnf	? (TO)	3854.58	1000.11	1776913
mizh-md5-48-5.cnf	? (TO)	3856.56	1000.1	1777003

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (MO)	20.13	20.1223	1776553
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (MO)	22.08	22.1249	1776538
velev-pipe-sat-1.0-b10.cnf	? (MO)	23.33	23.3285	1781248
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	26.27	26.3106	1776463
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (MO)	34.4	68.0184	1776598
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (MO)	34.9	51.2283	1776583
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	? (MO)	144.92	36.6346	1778863
APPLICATIONS/bitverif/ smulo/smulo016.cnf	? (MO)	160.28	81.3417	1778983
goldb-heqc-x1mul.cnf	? (MO)	218.55	112.732	1776613
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (MO)	221.72	56.2392	1778953
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (MO)	244.43	124.543	1778968
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (MO)	283.43	138.461	1779118
APPLICATIONS/ bitverif/minand/minand128.cnf	? (MO)	312.62	90.6318	1778893
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (MO)	322.68	81.3438	1779103
cmu-bmc-longmult15.cnf	? (MO)	328.78	148.836	1776928
APPLICATIONS/bitverif/ minor/minor032.cnf	? (MO)	336.44	84.7383	1778743
APPLICATIONS/bitverif/ minor/minor064.cnf	? (MO)	351.15	89.8392	1778728
APPLICATIONS/ bitverif/maxand/maxand064.cnf	? (MO)	366.12	166.649	1779073
industrial/fuhs/hard/ AProVE07-08.cnf	? (MO)	366.5	167.136	1775893
industrial/fuhs/medium/ AProVE07-16.cnf	? (MO)	385.01	195.438	1775863
APPLICATIONS/aprove09/ AProVE09-24.cnf	? (MO)	391.84	110.833	1779658
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	? (MO)	397.24	180.647	1779013
goldb-heqc-term1mul.cnf	? (MO)	404.68	233.045	1781338
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (MO)	408.08	102.44	1776238
goldb-heqc-alu4mul.cnf	? (MO)	414.46	232.176	1776988
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (MO)	421.02	234.959	1779163
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (MO)	426.32	216.945	1776223
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (MO)	440.26	214.943	1779268
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (MO)	441.21	212.016	1780438
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	? (MO)	442.54	240.433	1780333
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (MO)	445.4	286.413	1779253
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (MO)	461.04	138.843	1779313
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (MO)	463.47	119.425	1778908
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (MO)	474.59	244.246	1776283
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (MO)	477.49	260.334	1779433
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (MO)	482.14	218.35	1776208
goldb-heqc-frg1mul.cnf	? (MO)	484.42	275.797	1776673
een-tip-sat-texas-tp-5e.cnf	? (MO)	485.32	231.558	1776973
cmu-bmc-barrel6.cnf	? (MO)	505.45	292.983	1776643
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	? (MO)	509.03	238.843	1778818
APPLICATIONS/aprove09/ AProVE09-05.cnf	? (MO)	528.96	303.562	1779673
goldb-heqc-dalumul.cnf	? (MO)	537.57	306.473	1776898
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	? (MO)	540.06	139.728	1779343
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	? (MO)	541.26	140.343	1779463
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (MO)	550.77	272.954	1778878
velev-engi-uns-1.0-4nd.cnf	? (MO)	552.56	293.239	1776808
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (MO)	553.56	138.837	1776253
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (MO)	559.31	158.836	1779133
APPLICATIONS/aprove09/ AProVE09-10.cnf	? (MO)	566.85	171.934	1779838
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (MO)	570.99	323.593	1779373
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	? (MO)	571.78	143.44	1776268
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (MO)	573.18	258.336	1779403
APPLICATIONS/aprove09/ AProVE09-25.cnf	? (MO)	576.04	150.031	1779703
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (MO)	599.03	154.733	1779418
schup-l2s-abp4-1-k31.cnf	? (MO)	614.4	304.533	1776658
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (MO)	620.6	277.146	1779508
APPLICATIONS/aprove09/ AProVE09-08.cnf	? (MO)	621.05	344.542	1779823
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	? (MO)	622.32	308.737	1779283
APPLICATIONS/aprove09/ AProVE09-07.cnf	? (MO)	639.49	316.942	1779793
simon-s02b-dp11u10.cnf	? (MO)	652.35	350.034	1781398
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (MO)	656.76	292.352	1779583
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (MO)	667.1	369.993	1779493
mizh-sha0-36-2.cnf	? (MO)	671.39	184.43	1781443
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (MO)	680.52	433.779	1776448
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (MO)	685.46	176.143	1779448
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (MO)	686.44	197.83	1779238
industrial/fuhs/hard/ AProVE07-26.cnf	? (MO)	698.81	178.541	1775923
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (MO)	699.79	430.631	1776508
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (MO)	705.77	329.637	1779643
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (MO)	715.18	355.233	1779208
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (MO)	723.38	193.237	1780138
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (MO)	733.7	188.341	1779568
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (MO)	741.53	212.137	1779193
mizh-sha0-35-3.cnf	? (MO)	759.16	374.335	1776943
industrial/grieu/ vmpc_34.cnf	? (MO)	764.18	194.04	1776388
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (MO)	776.19	396.147	1779178
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (MO)	788.9	201.14	1779058
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (MO)	807.2	444.937	1778803
industrial/grieu/ vmpc_33.cnf	? (MO)	817.72	388.54	1776328
APPLICATIONS/aprove09/ AProVE09-17.cnf	? (MO)	819.8	210.245	1779628
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (MO)	833.91	213.136	1779538
industrial/fuhs/hard/ AProVE07-27.cnf	? (MO)	846.53	413.529	1775938
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (MO)	873.59	223.131	1779388
hoons-vbmc-lucky7.cnf	? (MO)	909.3	228.739	1776733
mizh-sha0-36-4.cnf	? (MO)	921.99	404.038	1776838
mizh-sha0-36-3.cnf	? (MO)	941.88	252.637	1776718
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	? (MO)	969.97	243.541	1778938
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (MO)	977.77	249.523	1779478
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	? (MO)	980.23	252.739	1779883
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (MO)	989.95	523.755	1779223
APPLICATIONS/aprove09/ AProVE09-11.cnf	? (MO)	1021.52	487.039	1779853
industrial/grieu/ vmpc_29.cnf	? (MO)	1039.97	500.857	1776358
industrial/grieu/ vmpc_28.cnf	? (MO)	1045.83	523.733	1776373
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	? (MO)	1049.73	541.037	1780798
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	? (MO)	1055.43	265.64	1778773
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (MO)	1060.9	547.131	1779553
industrial/fuhs/hard/ AProVE07-25.cnf	? (MO)	1079.98	501.344	1775908
APPLICATIONS/aprove09/ AProVE09-12.cnf	? (MO)	1081.86	505.635	1779733
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (MO)	1083.17	957.542	1776568
APPLICATIONS/aprove09/ AProVE09-22.cnf	? (MO)	1100.5	277.033	1779763
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (MO)	1100.75	563.733	1779928
industrial/fuhs/hard/ AProVE07-01.cnf	? (MO)	1129.9	490.134	1775878
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	? (MO)	1143.86	291.233	1779523
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	? (MO)	1148.61	502.743	1780948
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (MO)	1172.5	303.641	1780048
industrial/grieu/ vmpc_30.cnf	? (MO)	1192.69	300.434	1776313
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (MO)	1195.44	606.141	1781038
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (MO)	1217.8	591.729	1779043
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (MO)	1239.6	579.529	1779598
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (MO)	1243.04	337.436	1779298
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (MO)	1246.2	596.039	1779358
APPLICATIONS/aprove09/ AProVE09-21.cnf	? (MO)	1254.92	319.428	1779688
een-tip-uns-nusmv-t5.B.cnf	? (MO)	1274.44	331.94	1781263
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (MO)	1299.38	600.346	1779328
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (MO)	1301.43	331.133	1781098
APPLICATIONS/aprove09/ AProVE09-19.cnf	? (MO)	1373.88	354.235	1779868
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (MO)	1378.18	378.041	1780843
simon-s02b-k2f-gr-rcs-w8.cnf	? (MO)	1402.71	387.631	1781503
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	? (MO)	1434.38	366.034	1779988
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (MO)	1474.78	693.45	1781143
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	? (MO)	1507.91	769.932	1780033
manol-pipe-g6bi.cnf	? (MO)	1528.31	386.424	1781368
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (MO)	1544.12	391.648	1780903
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (MO)	1548.35	399.237	1780018
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (MO)	1556.06	704.057	1780828
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	? (MO)	1580.73	850.95	1779943
velev-pipe-o-uns-1.0-7.cnf	? (MO)	1598.46	592.927	1781413
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (MO)	1607.68	717.74	1780888
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (MO)	1627.92	838.259	1780813
industrial/grieu/ vmpc_26.cnf	? (MO)	1680.4	665.943	1776403
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	? (MO)	1723.57	872.051	1780873
industrial/grieu/ vmpc_25.cnf	? (MO)	1734.09	741.548	1776298
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	? (MO)	1734.65	435.04	1781173
velev-live-uns-2.0-ebuf.cnf	? (MO)	1746.9	447.03	1781353
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (MO)	1762.69	891.853	1781128
industrial/grieu/ vmpc_24.cnf	? (MO)	1778.95	446.536	1776343
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (MO)	1785.96	765.441	1781008
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (MO)	1788.25	450.938	1780858
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (MO)	1822.52	864.055	1780918
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (MO)	1914.66	866.141	1778758
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	? (MO)	1920.99	489.429	1779898
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	? (MO)	1977.9	502.838	1779973
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (MO)	2033.69	918.861	1780783
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (MO)	2057.77	830.233	1781083
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (MO)	2062	565.032	1781053
manol-pipe-c9.cnf	? (MO)	2089.22	525.231	1781548
velev-pipe-o-uns-1.1-6.cnf	? (MO)	2141.61	603.837	1781323
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (MO)	2291.21	574.639	1780753
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (MO)	2506.34	629.332	1781068
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	? (MO)	2578.5	648.839	1780963
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (MO)	2671.73	669.728	1780993
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (MO)	2694.12	675.828	1781188
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (MO)	2718.89	744.736	1780933
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (MO)	2882.47	789.739	1781158
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (MO)	3276.82	821.427	1780768

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-06.cnf	Signal 11	27.82	27.8118	1779613
manol-pipe-g7nidw.cnf	Signal 11	28.73	28.7538	1781533
APPLICATIONS/aprove09/ AProVE09-15.cnf	Signal 11	36.17	36.9971	1779778
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	Signal 11	40.21	40.2077	1780408
manol-pipe-c6bidw_i.cnf	Signal 11	44.08	44.0707	1776853
manol-pipe-c6nidw_i.cnf	Signal 11	44.27	44.321	1781578
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	Signal 11	50.23	50.2253	1780393
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	Signal 11	54.72	54.7592	1780648
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	Signal 11	55.11	55.1524	1775968
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	Signal 11	56.44	56.4935	1776043
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	Signal 11	58.04	58.0321	1776088
industrial/palacios/hard/ safe-30-h29-unsat.cnf	Signal 11	59.89	59.8817	1775998
schup-l2s-guid-1-k56.cnf	Signal 11	65.48	65.4943	1781473
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	Signal 11	67.95	67.9883	1775818
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	Signal 11	69.11	69.1489	1780168
manol-pipe-c7bidw_i.cnf	Signal 11	71.33	71.3486	1781518
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	Signal 11	73.88	73.8774	1780093
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	Signal 11	76.61	76.608	1775713
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	Signal 11	76.66	76.657	1778848
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	Signal 11	77.08	77.0947	1775518
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	Signal 11	92.09	92.2677	1775803
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	Signal 11	94.87	94.8591	1780738
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	Signal 11	98.4	98.7706	1780453
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	Signal 11	98.72	98.7044	1780678
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	Signal 11	104.49	104.573	1778788
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	Signal 11	104.55	104.595	1775533
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	Signal 11	104.92	105.01	1780543
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	Signal 11	108.83	128.921	1775743
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	Signal 11	116.24	116.244	1775668
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	Signal 11	123.44	130.926	1775593
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	Signal 11	134.3	134.288	1780318
simon-s03-w08-15.cnf	Signal 11	134.37	134.411	1776703
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	Signal 11	135.91	136.114	1780693
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	Signal 11	136.45	136.509	1780573
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	Signal 11	136.71	136.718	1776103
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	Signal 11	138.49	138.485	1780423
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	Signal 11	142.28	142.274	1780633
manol-pipe-g10id.cnf	Signal 11	147.73	294.736	1781308
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	Signal 11	147.86	147.855	1780063
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	Signal 11	154.42	168.414	1780483
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	Signal 11	156.55	158.574	1780153
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	Signal 11	159.51	159.645	1780078
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	Signal 11	171	171.016	1775758
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	Signal 11	172.54	172.585	1776163
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	Signal 11	176.43	267.812	1776073
manol-pipe-c7nidw.cnf	Signal 11	198.73	198.712	1781293
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	Signal 11	219.68	227.19	1775503
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	Signal 11	242.7	251.2	1775653
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	Signal 11	252.66	252.839	1775788
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	Signal 11	269.86	538.565	1775608
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	Signal 11	273.52	273.607	1780258
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	Signal 11	287.13	174.742	1776148
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	Signal 11	322.29	322.254	1780663
simon-s03-fifo8-300.cnf	Signal 11	325.13	462.822	1781488
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	Signal 11	350.21	350.243	1780513
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	Signal 11	351.04	351.139	1776058
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	Signal 11	351.1	351.516	1780603
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	Signal 11	352.74	390.256	1780348
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	Signal 11	353.36	353.386	1780498
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	Signal 11	367.71	367.945	1780243
manol-pipe-f9b.cnf	Signal 11	372.18	750.829	1776763
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	Signal 11	387.13	395.871	1775578
manol-pipe-f9n.cnf	Signal 11	396.73	396.786	1781428
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	Signal 11	398.66	401.859	1775698
APPLICATIONS/bitverif/ smulo/smulo128.cnf	Signal 11	419.48	419.442	1778998
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	Signal 11	473	479.719	1775683
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	Signal 11	549.85	549.793	1779148
APPLICATIONS/bitverif/ maxor/maxor128.cnf	Signal 11	608.47	608.91	1779088
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	Signal 11	653.77	663.939	1775563
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	Signal 11	675.3	680.944	1775638
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	Signal 11	679.49	695.481	1775548
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	Signal 11	739.23	743.093	1776028
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	Signal 11	756.88	759.561	1780588
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	Signal 11	766.07	769.277	1780618
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	Signal 11	772.31	957.026	1775773
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	Signal 11	775.17	777.853	1780708
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	Signal 11	802.66	805.676	1780723
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	Signal 11	878.41	884.392	1780363

SAT 2009 Competition: multithread track: benchmarks results per solver

Result page for solver ttsth-5-0 2009-03-19 (4 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) (2 runs) [Show/Hide]

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

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

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