CNF基准套件：PIPE-UNSAT.1.0======================================描述：管道基准的更大变体#实例数：13作者：Miroslav N.Velev(mvelev@ece.cmu.edu)http://www.ece.cmu.edu/~m标高日期：2003年8月1日CNF公式大小[Bytes]变量子句文字平均文字/子句--------------------------------------------------------------------------------------------2根管道_k 94043 860 6693 18633 2.7839533管道_k 430734 2391 27405 78127 2.8508304管_ k 1324780 5095 79489 229675 2.8893945管道_k 3202950 9330 189109 551125 2.9143256管_k 7276792 15346 408792 1199026 2.9330967管道_k 13632043 23909 751116 2211464 2.9442388管道_k 24720531 35065 1332773 3936683 2.9537549管道_k 43681345 49112 2317839 6864955 2.96179110管道_k 68181984 67300 3601247 10684759 2.96696111管道_k 105862458 89315 5584003 16593705 2.97165012管道_ k 161121304 115915 8395649 24981011 2.97547113管道_k 238974470 147626 12295313 36623081 2.97862114管道_k 342865637 184980 17597059 52461115 2.981243