CNF基准套件：DLX-IQ-UNSAT1.0========================================说明：带有指令队列的DLX处理器的形式验证公式#实例数：32作者：Miroslav N.Velev(mvelev@ece.cmu.edu)http://www.ece.cmu.edu/~m标高日期：2003年8月1日公式大小范围为：CNF公式大小[Bytes]变量子句文字平均文字/子句--------------------------------------------------------------------------------------------1dlx _ c _ iq33 _ a 40122396 143519 1877765 5412261 2.882289...1dlx _ c _ iq64 _ a 279406463 773005 11974186 34786776 2.905147