CNF基准套件：ENGINE-UNSAT1.0========================================说明：来自无序处理器正式验证的公式带有寄存器重命名和重排序缓冲区#实例数：10作者：Miroslav N.Velev(mvelev@ece.cmu.edu)http://www.ece.cmu.edu/~m标高日期：2003年8月5日CNF公式大小[Bytes]变量子句文字平均文字/子句----------------------------------------------------------------------------------------------------发动机-4 1101656 6944 66654 188252 2.824317发动机_4_nd 1119014 7000 67586 190944 2.825200发动机_5 3818245 18788 214095 610365 2.850907发动机_5_case1 3820146 18810 214185 610591 2.850765发动机_5_nd 3858344 18878 216156 616378 2.851542发动机_5_nd_case1 3862397 18900 216246 616604 2.851401发动机-6 11332474 45276 605958 1740542 2.872381发动机_6壳体1 11334786 45303 606068 1740818 2.872315发动机_6_nd 11415783 45408 610010 1752446 2.872815发动机_6_nd_case1 11417558 45435 610120 1752722 2.872750