Results

This page presents the results of SAT-Race 2006. Winner of SAT-Race is Minisat 2.0, Eureka achieved second place, and Rsat third place. The best student solver is MXC.

Summary

This table shows the number of instances solved by each solver (out of 100 instances in total; also split up into successfully processed SAT and UNSAT instances); the rank according to number of solved instances; number of speed-points assigned to solver (see Rules page for a description of speed-points); the rank according to speed-points; the total score; and the final ranking based on the total score.

minisat 2.0Eureka 2006RsatCadence MiniSat v1.14Actin (minisat+i)BarcelogicPicoSATQPicoSATTINISATSAT4JQCompSATzChaff 2006CompSATMXC v.1*MucsatHyperSAT
#solved:73677263635957545449393838292827
#solved SAT/UNSAT:35/3815/5237/3528/3529/3423/3624/3318/3621/3321/2812/2710/2817/2112/1710/1810/17
rank by solved:13244678810111212141516
speed-points:9.7113.878.456.396.295.985.005.394.914.203.223.783.212.232.092.99
rank by speed:21345687910121113151614
total score:82.7180.8780.4569.3969.2964.9862.0059.3958.9153.2042.2241.7841.2131.2330.0929.99
rank:12345678910111213141516

*Important note: Due to an error in our execution environment in combination with MXC v.1, this solver was restricted to use only 128 MB of main memory. With 1.5 GB of main memory, MXC v.1 can solve 41 instances, and should thus be considered on place 11, instead of 14, in the ranking.


Benchmark Suite Summary

In this table you can find a summary of instances solved by each solver, grouped by benchmark suites. We had five benchmark suites in SAT-Race:

  • IBM: instances from Bounded Model Checking (BMC)
  • Manolios: instances from pipelined machine verification
  • Mixed: instances from former SAT-Competitions
  • Mironov-Zhang: instances from cryptanalysis
  • Velev: instances from pipelined machine verification

Best results in each group are indicated by bold numbers.

minisat 2.0Eureka 2006RsatCadence MiniSat v1.14Actin (minisat+i)BarcelogicPicoSATQPicoSATTINISATSAT4JQCompSATzChaff 2006CompSATMXC v.1MucsatHyperSAT
IBM (20 inst.)19161916161616181314129129109
Manolios (20 inst.)14201212121111129811107475
Mixed (30 inst.)201722201718141414148107978
Mironov-Zhang (10 inst.)9087804525502422
Velev (20 inst.)111411810141251683910323
total #solved:73677263635957545449393838292827


Detailed Results

This table contains run-times for all solvers on all instances (you can download the whole set of instances from the Downloads page).

InstanceSAT/ UNSATminisat 2.0Eureka 2006RsatCadence MiniSat v1.14Actin (minisat+i)BarcelogicPicoSATQPicoSATTINISATSAT4JQCompSATzChaff 2006CompSATMXC v.1MucsatHyperSAT
IBM Benchmark Suite (10 SAT / 10 UNSAT)
ibm-2002-05r-k90.cnfSAT13.6737.9340.8428.6673.4188.86200.4122.65579.87101.44----------366.96-----48.50-----
ibm-2002-07r-k100.cnfUNSAT6.081.6919.18-----8.085.256.192.1810.8415.211.556.0353.8459.89----------
ibm-2002-11r1-k45.cnfSAT73.48272.44194.54174.10166.53426.60665.9851.99----------210.83-------------------------
ibm-2002-19r-k100.cnfSAT164.71-----360.09-----------------------------------------------------------------
ibm-2002-21r-k95.cnfSAT251.49-----295.73-----------------------------------------------------------------
ibm-2002-26r-k45.cnfUNSAT42.6464.521.564.74-----1.432.3842.196.503.6917.51-----3.07-----24.293.34
ibm-2002-27r-k95.cnfSAT19.0242.4328.3842.3252.7685.4446.7116.03231.2995.3355.25342.32121.45227.31-----80.77
ibm-2004-03-k70.cnfSAT22.3371.0027.7359.38114.9399.5756.8141.34195.54111.94----------385.9181.70----------
ibm-2004-04-k100.cnfSAT124.65282.43849.59469.20512.75793.95321.15162.54------------------------------644.58-----
ibm-2004-06-k90.cnfSAT29.07335.7647.60191.22112.33240.90208.54161.97-----323.88432.12-------------------------
ibm-2004-19-k90.cnfSAT83.81-----196.96132.67480.79----------702.11----------------------------------------
ibm-2004-1_11-k25.cnfUNSAT4.9510.279.109.716.848.0614.516.3525.7937.3916.6344.0997.2117.73211.70214.16
ibm-2004-1_31_2-k25.cnfUNSAT79.2052.26210.2895.15254.54684.67663.4046.51579.33476.91-------------------------476.95
ibm-2004-26-k25.cnfUNSAT55.2022.7819.139.0541.4328.081.237.372.592.66265.432.7167.23-----5.551.79
ibm-2004-2_02_1-k100.cnfUNSAT10.5730.9627.0618.5712.8847.0416.336.50104.2798.6612.77211.9524.92222.3066.83117.79
ibm-2004-2_14-k45.cnfUNSAT16.8628.8427.6324.8425.8652.8345.5912.62131.33158.5590.88185.27107.75115.23723.98-----
ibm-2004-3_02_1-k95.cnfUNSAT7.855.572.782.086.512.384.412.781.8732.483.9726.981.292.2910.30378.15
ibm-2004-3_02_3-k95.cnfSAT13.5529.3817.408.028.4218.419.046.160.5748.435.101.05107.0219.4720.0745.45
ibm-2004-3_11-k60.cnfUNSAT-----------------------------------637.61----------------------------------------
ibm-2004-6_02_3-k100.cnfUNSAT5.5329.4616.2114.373.507.2812.135.198.2133.99155.415.67330.5810.58219.34218.16
Manolios Benchmark Suite (20 UNSAT)
manol-pipe-c10id_s.cnfUNSAT9.5218.2714.315.716.0923.317.1612.2084.9944.86367.3091.5221.68-----172.4818.21
manol-pipe-c10nidw_s.cnfUNSAT318.93687.83142.53331.14----------147.3875.72--------------------76.78----------765.39
manol-pipe-c6nidw_i.cnfUNSAT216.35271.21-----665.26558.10-------------------------------------------------------
manol-pipe-c7b.cnfUNSAT42.1627.2668.2953.6453.8053.6873.6832.70188.32159.0285.71121.23----------750.00-----
manol-pipe-c7b_i.cnfUNSAT41.9924.5591.6564.7640.6757.4389.4665.04192.96125.9864.62112.50----------607.16-----
manol-pipe-c7bidw_i.cnfUNSAT550.63654.39----------------------------------------------------------------------
manol-pipe-c7nidw.cnfUNSAT603.79688.49----------------------------------------------------------------------
manol-pipe-c9.cnfUNSAT14.953.2419.4921.7113.768.5515.8510.4632.9428.888.268.75213.52393.3733.95-----
manol-pipe-c9nidw_s.cnfUNSAT292.42482.86198.24295.14759.41140.10145.8860.74-----665.37----------53.53-----342.36-----
manol-pipe-f10ni.cnfUNSAT-----427.67----------------------------------------------------------------------
manol-pipe-f6bi.cnfUNSAT6.785.319.848.896.6312.9810.055.6912.8544.7116.3314.9949.076.1150.41196.20
manol-pipe-f7idw.cnfUNSAT-----82.44589.94----------552.07-----411.66625.50----------669.36--------------------
manol-pipe-f9b.cnfUNSAT-----144.10----------------------------------------541.68-------------------------
manol-pipe-f9n.cnfUNSAT-----148.91----------------------------------------581.63-------------------------
manol-pipe-g10b.cnfUNSAT226.0465.30331.81133.46352.21256.85376.21314.28----------359.93619.63--------------------
manol-pipe-g10bidw.cnfUNSAT-----417.62----------------------------------------------------------------------
manol-pipe-g10id.cnfUNSAT183.0463.55150.16152.2997.50128.61300.85269.69391.67-----270.20297.06--------------------
manol-pipe-g10nid.cnfUNSAT-----341.53----------810.14-------------------------------------------------------
manol-pipe-g6bi.cnfUNSAT3.372.232.462.411.662.272.471.924.3910.453.924.376.713.7119.28235.13
manol-pipe-g7nidw.cnfUNSAT42.1113.9333.2928.5125.4258.4174.8554.1250.41139.7557.4583.93168.5093.01-----224.08
Mixed Benchmark Suite (13 SAT / 17 UNSAT)
aloul-chnl11-13.cnfUNSAT-----234.87321.55889.20-----------------------------------128.99--------------------
een-pico-prop01-75.cnfUNSAT2.786.013.104.075.292.965.264.0442.2616.877.4986.8239.0410.7090.2220.71
een-pico-prop05-50.cnfUNSAT43.3441.7697.88134.8089.9466.94257.5729.45756.48303.55------------------------------
een-tip-sat-nusmv-t5.B.cnfSAT2.273.3415.4414.406.9813.3611.684.1711.3729.497.1814.0281.5154.0812.804.60
een-tip-sat-nusmv-tt5.B.cnfSAT1.983.4712.3515.766.7814.3712.513.8912.2730.078.2512.7576.6881.7519.563.78
een-tip-uns-nusmv-t5.B.cnfUNSAT1.823.348.049.613.067.755.133.053.4710.453.624.2475.7866.529.074.28
goldb-heqc-alu4mul.cnfUNSAT733.07-----548.01459.87599.29690.65--------------------------------------------------
goldb-heqc-dalumul.cnfUNSAT-----502.34----------------------------------------------------------------------
goldb-heqc-desmul.cnfUNSAT72.3980.0280.0957.2563.73112.3582.1878.3789.96147.69364.04128.52295.38121.58----------
goldb-heqc-frg2mul.cnfUNSAT402.5199.48593.23329.18285.66256.38635.61846.49---------------623.98----------799.36-----
goldb-heqc-i10mul.cnfUNSAT-----599.01----------------------------------------------------------------------
goldb-heqc-i8mul.cnfUNSAT685.19---------------------------------------------------------------------------
goldb-heqc-term1mul.cnfUNSAT-----54.86---------------404.19--------------------------------------------------
grieu-vmpc-s05-25.cnfSAT565.18-----125.18368.65382.50124.58834.2841.21402.26---------------410.37464.25-----36.33
grieu-vmpc-s05-27.cnfSAT----------112.26597.67-----858.05---------------334.55-----94.57---------------550.66
grieu-vmpc-s05-28.cnfSAT----------89.16----------625.38209.26-----89.36--------------------894.9129.53191.75
grieu-vmpc-s05-34.cnfSAT----------751.30----------------------------------------305.47--------------------
hoons-vbmc-lucky7.cnfUNSAT47.088.6882.4839.9350.238.7414.0169.43300.95116.70202.71----------44.46----------
maris-s03-gripper11.cnfSAT----------422.36---------------301.15---------------------------------------------
narain-vpn-clauses-6.cnfSAT793.98-----275.26668.03508.64---------------563.51741.85------------------------------
schup-l2s-guid-1-k56.cnfUNSAT769.56----------542.29787.74----------444.22----------------------------------------
schup-l2s-motst-2-k315.cnfSAT86.24225.03----------------------------------------------------------------------
simon-s02-w08-18.cnfSAT126.91312.46147.69246.45354.54535.17527.24235.57-----586.26------------------------------
simon-s02b-dp11u10.cnfUNSAT234.37-----450.19215.55191.46---------------801.86631.43------------------------------
simon-s02b-k2f-gr-rcs-w8.cnfUNSAT-----213.09---------------265.13--------------------------------------------------
simon-s02b-r4b1k1.1.cnfSAT737.78-----141.92104.46-------------------------182.37------------------------------
simon-s03-fifo8-300.cnfUNSAT35.56212.13362.70157.18275.33243.67219.8140.24254.20310.78306.37-------------------------
simon-s03-fifo8-400.cnfUNSAT118.28258.48677.61325.55504.17578.55-----122.45687.26-----------------------------------
vange-col-abb313GPIA-9-c.cnfSAT---------------------------------------------------------------------------204.39
vange-col-inithx.i.1-cn-54.cnfSAT12.07-----14.5314.345.564.1319.9124.32464.1029.53661.76214.3484.68214.5921.68-----
Mironov-Zhang Benchmark Suite (10 SAT)
mizh-md5-47-3.cnfSAT541.72-----516.99243.50318.49----------235.07----------312.02----------869.45----------
mizh-md5-47-4.cnfSAT----------471.34326.93----------298.53269.68-----738.51706.62-------------------------
mizh-md5-47-5.cnfSAT628.56-----200.90-----539.19--------------------------------------------------753.51
mizh-md5-48-2.cnfSAT454.05---------------255.08----------------------------------------528.63----------
mizh-md5-48-5.cnfSAT287.32----------427.04-------------------------------------------------------650.80
mizh-sha0-35-2.cnfSAT277.52-----407.36309.31747.17----------760.77-----187.57686.17-------------------------
mizh-sha0-35-3.cnfSAT30.48-----245.96746.00306.71-----455.07146.89628.43586.62371.21-----541.51-----376.75-----
mizh-sha0-35-4.cnfSAT214.70-----108.33-----226.39-----546.67774.56-----409.73----------385.35222.54----------
mizh-sha0-35-5.cnfSAT140.18-----247.98234.61275.83-----666.83-----355.79621.89676.79----------168.62502.77-----
mizh-sha0-36-2.cnfSAT282.88-----449.50771.04521.15-------------------------------------------------------
Velev Benchmark Suite (10 SAT / 10 UNSAT)
velev-engi-uns-1.0-4nd.cnfUNSAT76.9080.4959.9251.8647.3444.10181.41118.6377.8095.63645.17452.09507.57384.01-----90.62
velev-engi-uns-1.0-5c1.cnfUNSAT11.248.598.325.665.888.0717.7215.737.1217.9246.0412.3327.6918.1652.2216.08
velev-fvp-sat-3.0-b18.cnfSAT----------269.14----------302.90392.33-----777.43----------513.46377.19-----86.84-----
velev-live-uns-2.0-ebuf.cnfUNSAT49.9223.1560.7958.9035.1770.1471.3442.0035.7166.15318.9663.07589.5496.77-----162.13
velev-npe-1.0-9dlx-b71.cnfSAT818.86-----845.91-----------------------------------------------------------------
velev-pipe-o-uns-1.0-7.cnfUNSAT-----310.31----------------------------------------------------------------------
velev-pipe-o-uns-1.1-6.cnfUNSAT-----47.09---------------659.56109.01147.61100.32----------113.65--------------------
velev-pipe-sat-1.0-b10.cnfSAT15.83133.86----------40.3135.80307.74-----21.75---------------222.34---------------
velev-pipe-sat-1.0-b7.cnfSAT-----213.1884.4640.1157.43247.48----------21.23-----------------------------------
velev-pipe-sat-1.0-b9.cnfSAT39.85329.45----------49.9912.90----------750.93---------------76.17---------------
velev-pipe-sat-1.1-b7.cnfSAT31.97-----384.00----------122.18696.85-----384.62-----------------------------------
velev-pipe-uns-1.0-8.cnfUNSAT-----183.34------------------------------543.96----------819.51--------------------
velev-pipe-uns-1.0-9.cnfUNSAT-----166.06--------------------883.01664.43134.71446.49------------------------------
velev-pipe-uns-1.1-7.cnfUNSAT-----66.25---------------752.68652.44-----117.61----------184.23--------------------
velev-vliw-sat-2.0-b6.cnfSAT144.23154.2188.0360.1327.7433.20173.14-----45.4544.81-----55.0413.23---------------
velev-vliw-sat-4.0-b1.cnfSAT65.18-----106.5069.2261.90114.32----------153.86160.66----------236.55---------------
velev-vliw-sat-4.0-b3.cnfSAT86.87-----41.7859.7169.53125.91660.48-----97.58201.12-----54.7888.78---------------
velev-vliw-sat-4.0-b4.cnfSAT147.37-----318.3785.9771.61272.96532.35-----136.55187.84----------360.74---------------
velev-vliw-uns-2.0-iq4.cnfUNSAT-----500.85----------------------------------------------------------------------
velev-vliw-uns-4.0-9C1.cnfUNSAT-----341.77----------------------------------------------------------------------
#solved:73677263635957545449393838292827
#solved SAT/UNSAT:35/3815/5237/3528/3529/3423/3624/3318/3621/3321/2812/2710/2817/2112/1710/1810/17
rank by solved:13244678810111212141516
speed-points:9.7113.878.456.396.295.985.005.394.914.203.223.783.212.232.092.99
rank by speed:21345687910121113151614
total score:82.7180.8780.4569.3969.2964.9862.0059.3958.9153.2042.2241.7841.2131.2330.0929.99
rank:12345678910111213141516


Further Solvers

This table contains run-times of further solvers on the SAT-Race instances.

SatELite GTI: First place SAT-Competition 2005, industrial category SAT+UNSAT
minisat 1.13: Second place SAT-Competition 2005, industrial category SAT+UNSAT
HaifaSAT: Shared third place SAT-Competition 2005, industrial category SAT+UNSAT
Siege v4: Third place, first round SAT-Competition 2003, industrial cat., SAT+UNSAT
zChaff rand: Second place SAT-Competition 2005, industrial category UNSAT
BerkMin 561: Second place SAT-Competition 2003, industrial category SAT+UNSAT

InstanceSAT/ UNSATSatELite GTIminisat 1.13HaifaSATsiege v4zchaff randBerkMin 561
IBM Benchmark Suite (10 SAT / 10 UNSAT)
ibm-2002-05r-k90.cnfSAT25.09227.86223.78677.10454.48283.34
ibm-2002-07r-k100.cnfUNSAT2.514.881.357.738.416.62
ibm-2002-11r1-k45.cnfSAT68.25249.06410.63275.77568.02-----
ibm-2002-19r-k100.cnfSAT239.16-------------------------
ibm-2002-21r-k95.cnfSAT412.64-------------------------
ibm-2002-26r-k45.cnfUNSAT280.734.377.14451.4211.991.60
ibm-2002-27r-k95.cnfSAT16.6066.0084.75324.49179.95611.17
ibm-2004-03-k70.cnfSAT33.0659.8155.73311.67316.18-----
ibm-2004-04-k100.cnfSAT293.67693.57649.34-----540.88-----
ibm-2004-06-k90.cnfSAT68.83149.91238.83419.03----------
ibm-2004-19-k90.cnfSAT60.52875.69--------------------
ibm-2004-1_11-k25.cnfUNSAT4.0115.7793.5424.7934.62175.20
ibm-2004-1_31_2-k25.cnfUNSAT60.94279.7765.87787.67----------
ibm-2004-26-k25.cnfUNSAT6.1635.663.2276.6596.452.10
ibm-2004-2_02_1-k100.cnfUNSAT5.8412.184.2553.6495.1434.28
ibm-2004-2_14-k45.cnfUNSAT14.4023.3333.2686.2889.31473.01
ibm-2004-3_02_1-k95.cnfUNSAT1.286.037.6723.7215.7730.66
ibm-2004-3_02_3-k95.cnfSAT4.386.172.4847.7975.89323.36
ibm-2004-3_11-k60.cnfUNSAT------------------------------
ibm-2004-6_02_3-k100.cnfUNSAT5.698.7710.2358.89109.32108.99
Manolios Benchmark Suite (20 UNSAT)
manol-pipe-c10id_s.cnfUNSAT12.2459.2124.0957.4531.6912.04
manol-pipe-c10nidw_s.cnfUNSAT440.09-----262.78---------------
manol-pipe-c6nidw_i.cnfUNSAT114.34895.02--------------------
manol-pipe-c7b.cnfUNSAT47.2450.59133.25107.54108.25138.45
manol-pipe-c7b_i.cnfUNSAT33.9149.41158.82101.96114.03137.25
manol-pipe-c7bidw_i.cnfUNSAT270.06-------------------------
manol-pipe-c7nidw.cnfUNSAT459.26-------------------------
manol-pipe-c9.cnfUNSAT7.5218.3844.0515.1411.0411.50
manol-pipe-c9nidw_s.cnfUNSAT78.06482.48418.42---------------
manol-pipe-f10ni.cnfUNSAT------------------------------
manol-pipe-f6bi.cnfUNSAT6.188.7412.0315.9915.6117.09
manol-pipe-f7idw.cnfUNSAT-----800.54319.79494.19516.55583.31
manol-pipe-f9b.cnfUNSAT--------------------711.58-----
manol-pipe-f9n.cnfUNSAT--------------------788.93-----
manol-pipe-g10b.cnfUNSAT202.08135.83400.41-----391.82-----
manol-pipe-g10bidw.cnfUNSAT------------------------------
manol-pipe-g10id.cnfUNSAT237.46111.71233.62402.34238.96299.56
manol-pipe-g10nid.cnfUNSAT------------------------------
manol-pipe-g6bi.cnfUNSAT2.072.0413.043.584.773.83
manol-pipe-g7nidw.cnfUNSAT40.2246.7467.1444.1652.8471.94
Mixed Benchmark Suite (13 SAT / 17 UNSAT)
aloul-chnl11-13.cnfUNSAT760.17718.49--------------------
een-pico-prop01-75.cnfUNSAT2.406.926.3045.2015.32.92
een-pico-prop05-50.cnfUNSAT28.89103.8947.31216.54378.55-----
een-tip-sat-nusmv-t5.B.cnfSAT2.4812.83105.319.4915.922.64
een-tip-sat-nusmv-tt5.B.cnfSAT2.3912.72110.579.1114.9216.35
een-tip-uns-nusmv-t5.B.cnfUNSAT1.813.05108.202.256.569.13
goldb-heqc-alu4mul.cnfUNSAT697.98644.15---------------793.82
goldb-heqc-dalumul.cnfUNSAT------------------------------
goldb-heqc-desmul.cnfUNSAT77.0678.59117.8089.40103.56107.35
goldb-heqc-frg2mul.cnfUNSAT310.38260.73266.70544.57426.35447.81
goldb-heqc-i10mul.cnfUNSAT------------------------------
goldb-heqc-i8mul.cnfUNSAT-----807.74--------------------
goldb-heqc-term1mul.cnfUNSAT----------625.94----------297.03
grieu-vmpc-s05-25.cnfSAT390.96392.1578.0943.41-----609.61
grieu-vmpc-s05-27.cnfSAT697.25695.59-----5.46725.68-----
grieu-vmpc-s05-28.cnfSAT----------381.44---------------
grieu-vmpc-s05-34.cnfSAT------------------------------
hoons-vbmc-lucky7.cnfUNSAT20.50250.37101.37194.4416.35100.09
maris-s03-gripper11.cnfSAT------------------------------
narain-vpn-clauses-6.cnfSAT507.10-------------------------
schup-l2s-guid-1-k56.cnfUNSAT716.79-------------------------
schup-l2s-motst-2-k315.cnfSAT62.19-------------------------
simon-s02-w08-18.cnfSAT154.16244.36333.40431.47557.53-----
simon-s02b-dp11u10.cnfUNSAT210.51158.05---------------671.21
simon-s02b-k2f-gr-rcs-w8.cnfUNSAT------------------------------
simon-s02b-r4b1k1.1.cnfSAT591.43151.27--------------------
simon-s03-fifo8-300.cnfUNSAT36.89363.21239.23156.51409.25-----
simon-s03-fifo8-400.cnfUNSAT99.64582.62252.23346.87739.74-----
vange-col-abb313GPIA-9-c.cnfSAT------------------------------
vange-col-inithx.i.1-cn-54.cnfSAT8.1028.30142.2534.39----------
Mironov-Zhang Benchmark Suite (10 SAT)
mizh-md5-47-3.cnfSAT476.68433.81--------------------
mizh-md5-47-4.cnfSAT630.33----------807.17----------
mizh-md5-47-5.cnfSAT392.52234.25-----891.11----------
mizh-md5-48-2.cnfSAT509.00-------------------------
mizh-md5-48-5.cnfSAT881.62653.18-----458.06----------
mizh-sha0-35-2.cnfSAT210.7986.53657.17506.92----------
mizh-sha0-35-3.cnfSAT115.1561.92--------------------
mizh-sha0-35-4.cnfSAT527.13535.33-----800.27----------
mizh-sha0-35-5.cnfSAT301.52209.79-----553.23----------
mizh-sha0-36-2.cnfSAT------------------------------
Velev Benchmark Suite (10 SAT / 10 UNSAT)
velev-engi-uns-1.0-4nd.cnfUNSAT49.4454.89162.8271.47173.0839.71
velev-engi-uns-1.0-5c1.cnfUNSAT5.946.0263.464.0111.616.36
velev-fvp-sat-3.0-b18.cnfSAT----------142.70522.79438.07269.76
velev-live-uns-2.0-ebuf.cnfUNSAT46.2261.2077.3217.4152.325.56
velev-npe-1.0-9dlx-b71.cnfSAT------------------------------
velev-pipe-o-uns-1.0-7.cnfUNSAT---------------135.03817.78718.02
velev-pipe-o-uns-1.1-6.cnfUNSAT----------114.0829.5274.1947.90
velev-pipe-sat-1.0-b10.cnfSAT146.5331.0160.38---------------
velev-pipe-sat-1.0-b7.cnfSAT-----12.97321.75-----535.76-----
velev-pipe-sat-1.0-b9.cnfSAT145.046.87274.61495.66190.93-----
velev-pipe-sat-1.1-b7.cnfSAT27.064.96224.28724.92255.61316.08
velev-pipe-uns-1.0-8.cnfUNSAT----------604.91118.31214.36373.88
velev-pipe-uns-1.0-9.cnfUNSAT----------468.9389.11202.5162.26
velev-pipe-uns-1.1-7.cnfUNSAT----------152.8137.8093.5751.76
velev-vliw-sat-2.0-b6.cnfSAT97.9836.07-----59.13370.8364.71
velev-vliw-sat-4.0-b1.cnfSAT197.2335.23687.46---------------
velev-vliw-sat-4.0-b3.cnfSAT188.0520.64418.5148.85----------
velev-vliw-sat-4.0-b4.cnfSAT219.8635.36784.31---------------
velev-vliw-uns-2.0-iq4.cnfUNSAT--------------------682.12-----
velev-vliw-uns-4.0-9C1.cnfUNSAT---------------866.89-----773.19
#solved:736659585243
#solved SAT/UNSAT:35/3830/3622/3723/3515/379/34