CNF Benchmark Suite: PIPE-UNSAT.1.0
======================================
Description: Bigger variants of the pipe benchmarks
# of instances: 13
Author: Miroslav N. Velev (mvelev@ece.cmu.edu)
http://www.ece.cmu.edu/~mvelev
Date: August 1, 2003
CNF Formula Size [Bytes] Variables Clauses Literals Avg. Literals/Clause
--------------------------------------------------------------------------------------------
2pipe_k 94043 860 6693 18633 2.783953
3pipe_k 430734 2391 27405 78127 2.850830
4pipe_k 1324780 5095 79489 229675 2.889394
5pipe_k 3202950 9330 189109 551125 2.914325
6pipe_k 7276792 15346 408792 1199026 2.933096
7pipe_k 13632043 23909 751116 2211464 2.944238
8pipe_k 24720531 35065 1332773 3936683 2.953754
9pipe_k 43681345 49112 2317839 6864955 2.961791
10pipe_k 68181984 67300 3601247 10684759 2.966961
11pipe_k 105862458 89315 5584003 16593705 2.971650
12pipe_k 161121304 115915 8395649 24981011 2.975471
13pipe_k 238974470 147626 12295313 36623081 2.978621
14pipe_k 342865637 184980 17597059 52461115 2.981243