CNF Benchmark Suite: PIPE-OOO-UNSAT.1.0
==========================================

Description:    Bigger variants of the pipe benchmarks

# of instances: 15

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

Date:           August 23, 2003



CNF Formula      Size [Bytes]    Variables    Clauses    Literals    Avg. Literals/Clause
--------------------------------------------------------------------------------------------
2pipe_2_ooo            117289          918       8109       22855                2.818473
3pipe_3_ooo            521050         2533      32182       92394                2.870984
4pipe_4_ooo           1529928         5356      89506      259630                2.900699
5pipe_5_ooo           3516660         9705     200959      586599                2.918998
6pipe_6_ooo           7322014        15948     397032     1164156                2.932147
7pipe_7_ooo          13383620        24415     711050     2091630                2.941607
8pipe_8_ooo          22968359        35510    1191215     3512961                2.949057
9pipe_9_ooo          37642253        49309    1924020     5685430                2.954974
10pipe_10_ooo        56680174        67050    2862719     8472597                2.959633
11pipe_11_ooo        83755337        88289    4187694    12410354                2.963529
12pipe_12_ooo       121451670       113768    5954744    17666840                2.966851
13pipe_13_ooo       174131142       143311    8409838    24974164                2.969637
14pipe_14_ooo       234023928       179056   11185426    33243890                2.972072
15pipe_15_ooo       313614839       219755   14874914    44240374                2.974160
16pipe_16_ooo       414265289       266498   19470237    57943571                2.976007








output of md5sum:
--------------------------------------------------------------------------------------------
4779892efc200ce705f8c86f655ebba9  2pipe_2_ooo.cnf
b6fc43a460ccec0c5ff856511c3de55f  3pipe_3_ooo.cnf
dc0398db7a783af0c2421735695587cb  4pipe_4_ooo.cnf
b575c60fb63e51b6ac574db44fe9fb5c  5pipe_5_ooo.cnf
5e0902721a1dd119a589dc3ea2a25169  6pipe_6_ooo.cnf
b0c4a25a56827a2980f1e85650e486d0  7pipe_7_ooo.cnf
6cb9253a792cf36ea63fb2bee143066f  8pipe_8_ooo.cnf
36fd540eda8f85f88ee744630d16541a  9pipe_9_ooo.cnf
bd4933f2eba68fef7f17473dad5dd785  10pipe_10_ooo.cnf
03f4c7713f219da1d7b80c08a6082e7d  11pipe_11_ooo.cnf
d54fc7438aabd2aab4000578a9f1e27f  12pipe_12_ooo.cnf 
5fefac42ba6f00a0599aab8046cadeaa  13pipe_13_ooo.cnf 
0fa69224f3e9ddbf4667213fbbee22cd  14pipe_14_ooo.cnf
0a3f81eb95de722db58f6706ef4e7c9a  15pipe_15_ooo.cnf
f64b05708d0fcc453eff5f15646feb0c  16pipe_16_ooo.cnf