CNF基准套件：PIPE-SAT.1.0======================================描述：管道基准的可满足变体#实例数：10作者：Miroslav N.Velev(mvelev@ece.cmu.edu)http://www.ece.cmu.edu/~m标高日期：2003年8月24日CNF公式大小[Bytes]变量子句文字平均文字/子句--------------------------------------------------------------------------------------------12管道_布格1 170549541 118040 8804672 26208080 2.97661112管道_套管2 170547896 118040 8804630 26207954 2.97661012管坯3 170549573 118039 8804669 26208073 2.97661112管道_承插4 169372076 117504 8743027 26024169 2.97656312管道_布格5 170549170 118040 8804672 26208080 2.97661112管道_ ug6 167719204 117665 8647068 25736018 2.97627112pipe_bug7 170549170 118040 8804672 26208080 2.97661112管道_ ug8 169681068 117526 8760516 26076624 2.97660812管道_布格9 170120180 118038 8780591 26135841 2.97654712管_包10 170549170 118040 8804672 26208080 2.976611md5sum的输出：--------------------------------------------------------------------------------------------83069560d62b0002a45983fff35af718 12管道_bug1.cnfd8bad50c0bad9871aa2d22395438管道_套管.cnf3660dd3ec7e9eb703809eeec3cdfb33e 12pipe_bug3.cnf8160c65831a734a902f254b234237306 12管道_bug4.cnf23bd2f197ae07f5de3271c1264fc7eca12pipe_bug5.cnf98b16388e4d4d5a43e0f291c2b7358dc 12管道_bug6.cnf07a846cf4b29828369d41d1b5a766851 12管道_bug7.cnfba9eb04fb00c1077041b598a2acbf23a 12pipe_bug8.cnfcef8ec3d13007151a6d36da5656bcbf6管道4092dea7a2dbdefbb8533b31a4c1733d 12pipe_bug10.cnf