SAT-Race徽标

SAT-轨道
2006

概述
规则
重要日期
组织者
下载
资格
解算器
结果
结果分析

结果

本页显示2006年SAT-Race的结果。SAT-Race的获胜者是微型卫星2.0,尤里卡获得第二名，并且遥感卫星第三名。最好的学生解决方案是最大连续性.

总结

此表显示了每个解算器解算的实例数（总共100个实例；也分为成功处理的实例SAT和UNSAT实例）；根据已解决实例的数量进行排名；分配给解算器的速度点数量（请参见规则页面用于速度点的描述）；按速度点排名；总分；和最终排名在总分上。

迷你2.02006年尤里卡遥感卫星Cadence MiniSat v1.14肌动蛋白（小卫星+i）Barcelogic公司PicoSAT卫星QPicoSAT卫星定位系统天宁岛SAT4J标准QCompSAT卫星通信zChaff 2006年CompSAT公司MXC v.1*穆萨特超卫星
#已解决：73677263635957545449393838292827
#解决SAT/UNSAT：35/3815/5237/3528/3529/3423/3624/3318/3621/3321/2812/2710/2817/2112/1710/1810/17
按已解排序：1三244678810111212141516
速度点：9.7113.878.456.396.295.9855.394.914.203.223.783.212.232.092.99
按速度排序：21三45687910121113151614
总分：82.7180.8780.4569.3969.2964.986259.3958.9153.2042.2241.7841.2131.2330.0929.99
排名：12三45678910111213141516

*重要提示：由于我们执行中的错误环境与MXC v.1结合使用时，此解算器限制为仅使用128 MB主内存。1.5 GBMXC v.1可以解决41例，因此应在第11位而不是第14位考虑，在排名中。


基准套件摘要

在该表中，您可以找到由每个解算器求解的实例的摘要，这些实例按基准套件分组。我们在SAT-Race中有五个基准套件：

  • IBM公司：来自有界模型检查（BMC）的实例
  • 马诺利奥斯：来自流水线机器验证的实例
  • 混合的：前SAT-Competitions的实例
  • 米罗诺夫·张：密码分析实例
  • Velev公司：来自流水线机器验证的实例

每组中的最佳结果用粗体数字表示。

迷你2.02006年尤里卡遥感卫星Cadence MiniSat v1.14肌动蛋白（小卫星+i）Barcelogic公司PicoSAT卫星QPicoSAT公司天宁岛SAT4J标准QCompSAT卫星通信zChaff 2006年CompSAT公司MXC v.1穆萨特超卫星
IBM（20个安装）19161916161616181314129129109
马诺利奥斯（20本）14201212121111129811107475
混合（30 inst.）201722201718141414148107978
Mironov-Zhang（本月10日）9087804525502422
Velev（20英寸）11141181014125168三910三2三
总计#已解决：73677263635957545449393838292827


详细结果

此表包含所有实例上所有解算器的运行时间（您可以从下载整个实例集这个下载第页）。

实例SAT/UNSAT迷你2.02006年尤里卡遥感卫星Cadence MiniSat v1.14肌动蛋白（小卫星+i）Barcelogic公司PicoSAT公司QPicoSAT卫星定位系统天宁岛SAT4J标准QCompSAT卫星通信zChaff 2006年CompSAT公司MXC v.1穆萨特超级SAT
IBM Benchmark Suite（10 SAT/10 UNSAT）
ibm-2002-05r-k90.cnf公司坐13.6737.9340.8428.6673.4188.86200.4122.65579.87101.44----------366.96-----48.50-----
ibm-2002-07r-k100.cnf联合国卫星电视台6.081.6919.18-----8.085.256.192.1810.8415.211.556.0353.8459.89----------
ibm-2002-11r1-k45.cnf公司坐73.48272.44194.54174.10166.53426.60665.9851.99----------210.83-------------------------
ibm-2002-19r-k100.cnf坐164.71-----360.09-----------------------------------------------------------------
ibm-2002-21r-k95.cnf公司坐251.49-----295.73-----------------------------------------------------------------
ibm-2002-26r-k45.cnf公司联合国卫星电视台42.6464.521.564.74-----1.432.3842.196.503.6917.51-----3.07-----24.293.34
ibm-2002-27r-k95.cnf公司坐19.0242.4328.3842.3252.7685.4446.7116.03231.2995.3355.25342.32121.45227.31-----80.77
ibm-2004-03-k70.cnf公司坐22.337127.7359.38114.9399.5756.8141.34195.54111.94----------385.9181.70----------
ibm-2004-04-k100.cnf坐124.65282.43849.59469.20512.75793.95321.15162.54------------------------------644.58-----
ibm-2004-06-k90.cnf公司坐29.07335.7647.60191.22112.33240.90208.54161.97-----323.88432.12-------------------------
ibm-2004-19-k90.cnf公司坐83.81-----196.96132.67480.79----------702.11----------------------------------------
ibm-2004-1_11-k25.cnf联合国卫星电视台4.9510.279.109.716.848.0614.516.3525.7937.3916.6344.0997.2117.73211.70214.16
ibm-2004-1_31_2-k25.cnf公司联合国卫星电视台79.2052.26210.2895.15254.54684.67663.4046.51579.33476.91-------------------------476.95
ibm-2004-26-k25.cnf公司联合国卫星电视台55.2022.7819.139.0541.4328.081.237.372.592.66265.432.7167.23-----5.551.79
ibm-2004-2_02_1-k100.cnf联合国卫星电视台10.5730.9627.0618.5712.8847.0416.336.50104.2798.6612.77211.9524.92222.3066.83117.79
ibm-2004-2_14-k45.cnf公司联合国卫星电视台16.8628.8427.6324.8425.8652.8345.5912.62131.33158.5590.88185.27107.75115.23723.98-----
ibm-2004-3_02_1-k95.cnf公司联合国卫星电视台7.855.572.782.086.512.384.412.781.8732.483.9726.981.292.2910.30378.15
ibm-2004-3_02_3-k95.cnf公司坐13.5529.3817.408.028.4218.419.046.160.5748.435.101.05107.0219.4720.0745.45
ibm-2004-3_11-k60.cnf公司联合国卫星电视台-----------------------------------637.61----------------------------------------
ibm-2004-6_02_3-k100.cnf联合国卫星电视台5.5329.4616.2114.373.507.2812.135.198.2133.99155.415.67330.5810.58219.34218.16
Manolios Benchmark Suite（20 UNSAT）
手动管道-c10id_s.cnf联合国卫星电视台9.5218.2714.315.716.0923.317.1612.2084.9944.86367.3091.5221.68-----172.4818.21
手动管道-c10nidw_s.cnf联合国卫星电视台318.93687.83142.53331.14----------147.3875.72--------------------76.78----------765.39
manol-pipe-c6nidw-i.cnf联合国卫星电视台216.35271.21-----665.26558.10-------------------------------------------------------
手动管道-c7b.cnf联合国卫星电视台42.1627.2668.2953.6453.8053.6873.6832.70188.32159.0285.71121.23----------750-----
手动管道c7bi.cnf联合国卫星电视台41.9924.5591.6564.7640.6757.4389.4665.04192.96125.9864.62112.50----------607.16-----
压力管道-c7bidw_i.cnf联合国卫星电视台550.63654.39----------------------------------------------------------------------
曼诺尔管-c7nidw.cnf联合国卫星电视台603.79688.49----------------------------------------------------------------------
压力管道-c9.cnf联合国卫星电视台14.953.2419.4921.7113.768.5515.8510.4632.9428.888.268.75213.52393.3733.95-----
手动管道-c9nidw_s.cnf联合国卫星电视台292.42482.86198.24295.14759.41140.10145.8860.74-----665.37----------53.53-----342.36-----
手动管道-f10ni.cnf联合国卫星电视台-----427.67----------------------------------------------------------------------
手动管道-f6bi.cnf联合国卫星电视台6.785.319.848.896.6312.9810.055.6912.8544.7116.3314.9949.076.1150.41196.20
手动管-f7idw.cnf联合国卫星电视台-----82.44589.94----------552.07-----411.66625.50----------669.36--------------------
压力管道-f9b.cnf联合国卫星电视台-----144.10----------------------------------------541.68-------------------------
压力管道-f9n.cnf联合国卫星电视台-----148.91----------------------------------------581.63-------------------------
压力管道-g10b.cnf联合国卫星电视台226.0465.30331.81133.46352.21256.85376.21314.28----------359.93619.63--------------------
压力管道-g10bidw.cnf联合国卫星电视台-----417.62----------------------------------------------------------------------
手动管道-g10id.cnf联合国卫星电视台183.0463.55150.16152.2997.50128.61300.85269.69391.67-----270.20297.06--------------------
manol-pipe-g10nid.cnf联合国卫星电视台-----341.53----------810.14-------------------------------------------------------
手动管道-g6bi.cnf联合国卫星电视台3.372.232.462.411.662.272.471.924.3910.453.924.376.713.7119.28235.13
manol-pipe-g7nidw.cnf公司联合国卫星电视台42.1113.9333.2928.5125.4258.4174.8554.1250.41139.7557.4583.93168.5093.01-----224.08
混合基准套件（13 SAT/17 UNSAT）
aloul-chnl11-13.cnf联合国卫星电视台-----234.87321.55889.20-----------------------------------128.99--------------------
een-pico-prop01-75.cnf联合国卫星电视台2.786.013.104.075.292.965.264.0442.2616.877.4986.8239.0410.7090.2220.71
een-pico-prop05-50.cnf联合国卫星电视台43.3441.7697.88134.8089.9466.94257.5729.45756.48303.55------------------------------
een-tip-sat-nusmv-t5.B.cnf坐2.273.3415.4414.406.9813.3611.684.1711.3729.497.1814.0281.5154.0812.804.60
een-tip-sat-nusmv-tt5.B.cnf坐1.983.4712.3515.766.7814.3712.513.8912.2730.078.2512.7576.6881.7519.563.78
een-tip-uns-nusmv-t5.B.cnf联合国卫星电视台1.823.348.049.613.067.755.133.053.4710.453.624.2475.7866.529.074.28
goldb-heqc-alu4mul.cnf联合国卫星电视台733.07-----548.01459.87599.29690.65--------------------------------------------------
goldb-heqc-dalumul.cnf联合国卫星电视台-----502.34----------------------------------------------------------------------
goldb-heqc-desmul.cnf联合国卫星电视台72.3980.0280.0957.2563.73112.3582.1878.3789.96147.69364.04128.52295.38121.58----------
goldb-heqc-frg2mul.cnf联合国卫星电视台402.5199.48593.23329.18285.66256.38635.61846.49---------------623.98----------799.36-----
黄金-黄金-黄金-黄金-黄金-黄金-黄金-黄金-黄金联合国卫星电视台-----599.01----------------------------------------------------------------------
goldb-heqc-i8mul.cnf联合国卫星电视台685.19---------------------------------------------------------------------------
goldb-heqc-term1mul.cnf联合国卫星电视台-----54.86---------------404.19--------------------------------------------------
格里欧-vmpc-s05-25.cnf坐565.18-----125.18368.65382.50124.58834.2841.21402.26---------------410.37464.25-----36.33
格里欧-vmpc-s05-27.cnf坐----------112.26597.67-----858.05---------------334.55-----94.57---------------550.66
格栅-vmpc-05-28.cnf坐----------89.16----------625.38209.26-----89.36--------------------894.9129.53191.75
grieu-vmpc-s05-34.cnf公司坐----------751.30----------------------------------------305.47--------------------
hoons公司-vbmc-lucky7.cnf联合国卫星电视台47.088.6882.4839.9350.238.7414.0169.43300.95116.70202.71----------44.46----------
maris-s03-clarrer11.cnf公司坐----------422.36---------------301.15---------------------------------------------
narain-vpn-clauses-6.cnf坐793.98-----275.26668.03508.64---------------563.51741.85------------------------------
schup-l2s-guid-1-k56.cnf联合国卫星电视台769.56----------542.29787.74----------444.22----------------------------------------
schup-l2s-motst-2-k315.cnf型坐86.24225.03----------------------------------------------------------------------
西蒙·斯02-w08-18.cnf坐126.91312.46147.69246.45354.54535.17527.24235.57-----586.26------------------------------
西蒙·斯02b-dp11u10.cnf联合国卫星电视台234.37-----450.19215.55191.46---------------801.86631.43------------------------------
西蒙·斯02b-k2f-gr-rcs-w8.cnf联合国卫星电视台-----213.09---------------265.13--------------------------------------------------
西蒙·斯02b-r4b1k1.1.cnf坐737.78-----141.92104.46-------------------------182.37------------------------------
西蒙·斯03-fifo8-300.cnf联合国卫星电视台35.56212.13362.70157.18275.33243.67219.8140.24254.20310.78306.37-------------------------
西蒙·斯03-fifo8-400.cnf联合国卫星电视台118.28258.48677.61325.55504.17578.55-----122.45687.26-----------------------------------
vange-col-abb313GPIA-9-c.cnf公司坐---------------------------------------------------------------------------204.39
vange-col-inithx.i.1-cn-54.cnf公司坐12.07-----14.5314.345.564.1319.9124.32464.1029.53661.76214.3484.68214.5921.68-----
Mironov-Zhang基准套房（10 SAT）
mish-md5-47-3.cnf坐541.72-----516.99243.50318.49----------235.07----------312.02----------869.45----------
mish-md5-47-4.cnf坐----------471.34326.93----------298.53269.68-----738.51706.62-------------------------
mish-md5-47-5.cnf坐628.56-----200.90-----539.19--------------------------------------------------753.51
米兹-md5-48-2.cnf坐454.05---------------255.08----------------------------------------528.63----------
mish-md5-48-5.cnf坐287.32----------427.04-------------------------------------------------------650.80
mish-sha0-35-2.cnf公司坐277.52-----407.36309.31747.17----------760.77-----187.57686.17-------------------------
mish-sha0-35-3.cnf公司坐30.48-----245.96746306.71-----455.07146.89628.43586.62371.21-----541.51-----376.75-----
mish-sha0-35-4.cnf坐214.70-----108.33-----226.39-----546.67774.56-----409.73----------385.35222.54----------
mish-sha0-35-5.cnf坐140.18-----247.98234.61275.83-----666.83-----355.79621.89676.79----------168.62502.77-----
美沙0-36-2.cnf坐282.88-----449.50771.04521.15-------------------------------------------------------
Velev基准套件（10 SAT/10 UNSAT）
velev-engi-uns-1.0-4nd.cnf公司联合国卫星电视台76.9080.4959.9251.8647.3444.10181.41118.6377.8095.63645.17452.09507.57384.01-----90.62
velev-engi-uns-1.0-5c1.cnf公司联合国卫星电视台11.248.598.325.665.888.0717.7215.737.1217.9246.0412.3327.6918.1652.2216.08
velev-fvp-sat-3.0-b18.cnf公司坐----------269.14----------302.90392.33-----777.43----------513.46377.19-----86.84-----
velev活疫苗-2.0-ebuf.cnf联合国卫星电视台49.9223.1560.7958.9035.1770.1471.344235.7166.15318.9663.07589.5496.77-----162.13
velev-npe-1.0-9dlx-b71.cnf级坐818.86-----845.91-----------------------------------------------------------------
velev-pipe-o-uns-1.0-7.cnf型联合国卫星电视台-----310.31----------------------------------------------------------------------
velev-pipe-o-uns-1.1-6.cnf管道联合国卫星电视台-----47.09---------------659.56109.01147.61100.32----------113.65--------------------
velev-pipe-sat-1.0-b10.cnf型坐15.83133.86----------40.3135.80307.74-----21.75---------------222.34---------------
velev-pipe-sat-1.0-b7.cnf型坐-----213.1884.4640.1157.43247.48----------21.23-----------------------------------
velev管道-sat-1.0-b9.cnf坐39.85329.45----------49.9912.90----------750.93---------------76.17---------------
velev-pipe-sat-1.1-b7.cnf型坐31.97-----384----------122.18696.85-----384.62-----------------------------------
水平管-1.0-8.cnf联合国卫星电视台-----183.34------------------------------543.96----------819.51--------------------
水平管-1.0-9.cnf联合国卫星电视台-----166.06--------------------883.01664.43134.71446.49------------------------------
水平管-1.1-7.cnf联合国卫星电视台-----66.25---------------752.68652.44-----117.61----------184.23--------------------
velev-vliw-sat-2.0-b6.cnf型坐144.23154.2188.0360.1327.7433.20173.14-----45.4544.81-----55.0413.23---------------
velev-vliw-sat公司-4.0-b1.cnf坐65.18-----106.5069.2261.90114.32----------153.86160.66----------236.55---------------
velev-vliw-sat-4.0-b3.cnf公司坐86.87-----41.7859.7169.53125.91660.48-----97.58201.12-----54.7888.78---------------
velev-vliw-sat-4.0-b4.cnf公司坐147.37-----318.3785.9771.61272.96532.35-----136.55187.84----------360.74---------------
velev-vliw-uns-2.0-iq4.cnf型联合国卫星电视台-----500.85----------------------------------------------------------------------
velev-vliw-uns-4.0-9C1.cnf联合国卫星电视台-----341.77----------------------------------------------------------------------
#已解决：73677263635957545449393838292827
#求解SAT/UNSAT：35/3815/5237/3528/3529/3423/3624/3318/3621/3321/2812/2710/2817/2112/1710/1810/17
按解决方案排序：1三244678810111212141516
速度点：9.7113.878.456.396.295.9855.394.914.203.223.783.212.232.092.99
按速度排序：21三45687910121113151614
总分：82.7180.8780.4569.3969.2964.986259.3958.9153.2042.2241.7841.2131.2330.0929.99
排名：12三45678910111213141516


其他解算器

此表包含SAT-Race实例上其他解算器的运行时间。

SatELite GTI：2005年SAT竞赛第一名，行业类别SAT+UNSAT
减小1.13：2005年SAT竞赛第二名，工业类别SAT+UNSAT
海法卫星：共享2005年SAT竞赛第三名，工业类SAT+UNSAT
围攻v4：第三名，2003年第一轮SAT竞赛，工业类别。，SAT+UNSAT
zChaff兰特：2005年SAT竞赛第二名，工业类别UNSAT
伯克Min 561：2003年SAT竞赛第二名，工业类别SAT+UNSAT

实例SAT/UNSATSatELite GTI公司减小1.13海法卫星攻城v4兹查夫兰德伯克明561
IBM基准套件（10 SAT/10 UNSAT）
ibm-2002-05r-k90.cnf公司坐25.09227.86223.78677.10454.48283.34
ibm-2002-07r-k100.cnf联合国卫星电视台2.514.881.357.738.416.62
ibm-2002-11r1-k45.cnf公司坐68.25249.06410.63275.77568.02-----
ibm-2002-19r-k100.cnf坐239.16-------------------------
ibm-2002-21r-k95.cnf公司坐412.64-------------------------
ibm-2002-26r-k45.cnf公司联合国卫星电视台280.734.377.14451.4211.991.60
ibm-2002-27r-k95.cnf公司坐16.606684.75324.49179.95611.17
ibm-2004-03-k70.cnf公司坐33.0659.8155.73311.67316.18-----
ibm-2004-04-k100.cnf坐293.67693.57649.34-----540.88-----
ibm-2004-06-k90.cnf公司坐68.83149.91238.83419.03----------
ibm-2004-19-k90.cnf公司坐60.52875.69--------------------
ibm-2004-1_11-k25.cnf联合国卫星电视台4.0115.7793.5424.7934.62175.20
ibm-2004-1_31_2-k25.cnf公司联合国卫星电视台60.94279.7765.87787.67----------
ibm-2004-26-k25.cnf公司联合国卫星电视台6.1635.663.2276.6596.452.10
ibm-2004-2_02_1-k100.cnf联合国卫星电视台5.8412.184.2553.6495.1434.28
ibm-2004-2_14-k45.cnf公司联合国卫星电视台14.4023.3333.2686.2889.31473.01
ibm-2004-3_02_1-k95.cnf公司联合国卫星电视台1.286.037.6723.7215.7730.66
ibm-2004-3_02_3-k95.cnf公司坐4.386.172.4847.7975.89323.36
ibm-2004-3_11-k60.立方英尺联合国卫星电视台------------------------------
ibm-2004-6_02_3-k100.cnf联合国卫星电视台5.698.7710.2358.89109.32108.99
Manolios Benchmark Suite（20 UNSAT）
手动管道-c10id_s.cnf联合国卫星电视台12.2459.2124.0957.4531.6912.04
手动管道-c10nidw_s.cnf联合国卫星电视台440.09-----262.78---------------
manol-pipe-c6nidw-i.cnf联合国卫星电视台114.34895.02--------------------
手动管道-c7b.cnf联合国卫星电视台47.2450.59133.25107.54108.25138.45
手动管道c7bi.cnf联合国卫星电视台33.9149.41158.82101.96114.03137.25
手动管道-c7bidw-i.cnf联合国卫星电视台270.06-------------------------
曼诺尔管-c7nidw.cnf联合国卫星电视台459.26-------------------------
压力管道-c9.cnf联合国卫星电视台7.5218.3844.0515.1411.0411.50
手动管道-c9nidw_s.cnf联合国卫星电视台78.06482.48418.42---------------
手动管道-f10ni.cnf联合国卫星电视台------------------------------
手动管道-f6bi.cnf联合国卫星电视台6.188.7412.0315.9915.6117.09
手动管-f7idw.cnf联合国卫星电视台-----800.54319.79494.19516.55583.31
压力管道-f9b.cnf联合国卫星电视台--------------------711.58-----
压力管道-f9n.cnf联合国卫星电视台--------------------788.93-----
压力管道-g10b.cnf联合国卫星电视台202.08135.83400.41-----391.82-----
压力管道-g10bidw.cnf联合国卫星电视台------------------------------
手动管道-g10id.cnf联合国卫星电视台237.46111.71233.62402.34238.96299.56
manol-pipe-g10nid.cnf联合国卫星电视台------------------------------
手动管道-g6bi.cnf联合国卫星电视台2.072.0413.043.584.773.83
manol-pipe-g7nidw.cnf公司联合国卫星电视台40.2246.7467.1444.1652.8471.94
混合基准套件（13 SAT/17 UNSAT）
aloul-chnl11-13.cnf联合国卫星电视台760.17718.49--------------------
een-pico-prop01-75.cnf联合国卫星电视台2.406.926.3045.2015.32.92
een-pico-prop05-50.cnf联合国卫星电视台28.89103.8947.31216.54378.55-----
een-tip-sat-nusmv-t5.B.cnf坐2.4812.83105.319.4915.922.64
een-tip-sat-nusmv-tt5.B.cnf坐2.3912.72110.579.1114.9216.35
een-tip-uns-nusmv-t5.B.cnf联合国卫星电视台1.813.05108.202.256.569.13
goldb-heqc-alu4mul.cnf联合国卫星电视台697.98644.15---------------793.82
黄金-黄金-黄金-黄金-黄金联合国卫星电视台------------------------------
goldb-heqc-desmul.cnf联合国卫星电视台77.0678.59117.8089.40103.56107.35
黄金-黄金-黄金-黄金-黄金-黄金联合国卫星电视台310.38260.73266.70544.57426.35447.81
goldb-heqc-i10mul.cnf联合国卫星电视台------------------------------
goldb-heqc-i8mul.cnf联合国卫星电视台-----807.74--------------------
goldb-heqc-term1mul.cnf联合国卫星电视台----------625.94----------297.03
格里欧-vmpc-s05-25.cnf坐390.96392.1578.0943.41-----609.61
格里欧-vmpc-s05-27.cnf坐697.25695.59-----5.46725.68-----
格里欧-vmpc-s05-28.cnf坐----------381.44---------------
grieu-vmpc-s05-34.cnf公司坐------------------------------
hoons公司-vbmc-lucky7.cnf联合国卫星电视台20.50250.37101.37194.4416.35100.09
maris-s03-夹钳11.9NF坐------------------------------
narain-vpn-clauses-6.cnf坐507.10-------------------------
schup-l2s-guid-1-k56.cnf联合国卫星电视台716.79-------------------------
schup-l2s-motst-2-k315.cnf型坐62.19-------------------------
西蒙·斯02-w08-18.cnf坐154.16244.36333.40431.47557.53-----
西蒙·斯02b-dp11u10.cnf联合国卫星电视台210.51158.05---------------671.21
西蒙·斯02b-k2f-gr-rcs-w8.cnf联合国卫星电视台------------------------------
西蒙·斯02b-r4b1k1.1.cnf坐591.43151.27--------------------
西蒙·斯03-fifo8-300.cnf联合国卫星电视台36.89363.21239.23156.51409.25-----
西蒙·斯03-fifo8-400.cnf联合国卫星电视台99.64582.62252.23346.87739.74-----
vange-col-abb313GPIA-9-c.cnf公司坐------------------------------
vange-col-inithx.i.1-cn-54.cnf公司坐8.1028.30142.2534.39----------
Mironov-Zhang基准套房（10 SAT）
mish-md5-47-3.cnf坐476.68433.81--------------------
mish-md5-47-4.cnf坐630.33----------807.17----------
mish-md5-47-5.cnf坐392.52234.25-----891.11----------
mish-md5-48-2.cnf型坐509-------------------------
mish-md5-48-5.cnf坐881.62653.18-----458.06----------
mish-sha0-35-2.cnf公司坐210.7986.53657.17506.92----------
mish-sha0-35-3.cnf公司坐115.1561.92--------------------
mish-sha0-35-4.cnf坐527.13535.33-----800.27----------
mish-sha0-35-5.cnf坐301.52209.79-----553.23----------
mish-sha0-36-2.cnf坐------------------------------
Velev基准套件（10 SAT/10 UNSAT）
velev-engi-uns-1.0-4nd.cnf联合国卫星电视台49.4454.89162.8271.47173.0839.71
velev-engi-uns-1.0-5c1.cnf公司联合国卫星电视台5.946.0263.464.0111.616.36
velev-fvp-sat-3.0-b18.cnf公司坐----------142.70522.79438.07269.76
velev-live-uns-2.0-ebuf.cnf联合国卫星电视台46.2261.2077.3217.4152.325.56
velev-npe-1.0-9dlx-b71.cnf级坐------------------------------
velev-pipe-o-uns-1.0-7.cnf型联合国卫星电视台---------------135.03817.78718.02
velev-pipe-o-uns-1.1-6.cnf管道联合国卫星电视台----------114.0829.5274.1947.90
velev-pipe-sat-1.0-b10.cnf型坐146.5331.0160.38---------------
velev管道-sat-1.0-b7.cnf坐-----12.97321.75-----535.76-----
velev-pipe-sat-1.0-b9.cnf型坐145.046.87274.61495.66190.93-----
velev-pipe-sat-1.1-b7.cnf型坐27.064.96224.28724.92255.61316.08
水平管-1.0-8.cnf联合国卫星电视台----------604.91118.31214.36373.88
水平管-1.0-9.cnf联合国卫星电视台----------468.9389.11202.5162.26
水平管-1.1-7.cnf联合国卫星电视台----------152.8137.8093.5751.76
velev-vliw-sat-2.0-b6.cnf型坐97.9836.07-----59.13370.8364.71
velev-vliw-sat公司-4.0-b1.cnf坐197.2335.23687.46---------------
velev-vliw-sat-4.0-b3.cnf公司坐188.0520.64418.5148.85----------
velev-vliw-sat-4.0-b4.cnf公司坐219.8635.36784.31---------------
velev-vliw-uns-2.0-iq4.cnf型联合国卫星电视台--------------------682.12-----
velev-vliw-uns-4.0-9C1.cnf公司联合国卫星电视台---------------866.89-----773.19
#已解决：736659585243
#解决SAT/UNSAT：35/3830/3622/3723/3515/379/34