CNF Benchmark Suite: PIPE-SAT.1.0
======================================

Description:    Satisfiable variants of the pipe benchmarks

# of instances: 10

Author:         Miroslav N. Velev (mvelev@ece.cmu.edu)
                http://www.ece.cmu.edu/~mvelev

Date:           August 24, 2003



CNF Formula      Size [Bytes]    Variables    Clauses    Literals    Avg. Literals/Clause
--------------------------------------------------------------------------------------------
12pipe_bug1         170549541       118040    8804672     26208080                2.976611
12pipe_bug2         170547896       118040    8804630     26207954                2.976610
12pipe_bug3         170549573       118039    8804669     26208073                2.976611
12pipe_bug4         169372076       117504    8743027     26024169                2.976563
12pipe_bug5         170549170       118040    8804672     26208080                2.976611
12pipe_bug6         167719204       117665    8647068     25736018                2.976271
12pipe_bug7         170549170       118040    8804672     26208080                2.976611
12pipe_bug8         169681068       117526    8760516     26076624                2.976608
12pipe_bug9         170120180       118038    8780591     26135841                2.976547
12pipe_bug10        170549170       118040    8804672     26208080                2.976611





output of md5sum:
--------------------------------------------------------------------------------------------
83069560d62b0002a45983fff35af718  12pipe_bug1.cnf
1d8bad50c0ba14d98713aa2d22395438  12pipe_bug2.cnf
3660dd3ec7e9eb703809eeec3cdfb33e  12pipe_bug3.cnf
8160c65831a734a902f254b234237306  12pipe_bug4.cnf
23bd2f197ae07f5de3271c1264fc7eca  12pipe_bug5.cnf
98b16388e4d4d5a43e0f291c2b7358dc  12pipe_bug6.cnf
07a846cf4b29828369d41d1b5a766851  12pipe_bug7.cnf
ba9eb04fb00c1077041b598a2acbf23a  12pipe_bug8.cnf
cef8ec3d13007151a6d36da5656bcbf5  12pipe_bug9.cnf
4092dea7a2dbdefbb8533b31a4c1733d  12pipe_bug10.cnf