CNF基准套件：DLX-IQ-UNSAT.2.0========================================描述：DLX处理器正式验证的公式多周期功能单元、异常、分支预测、，和指令队列#实例数：32作者：Miroslav N.Velev(mvelev@ece.cmu.edu)http://www.ece.cmu.edu/~m标高日期：2003年8月2日公式大小范围为：CNF公式大小[Bytes]变量子句文字平均文字/子句----------------------------------------------------------------------------------------------------1dlx_c_mc_ex_bp_f_iq33_a 86160764 207885 3889667 11334393 2.913975...1dlx_c_mc_ex_bp_f_iq64_a 334340704 836658 14201404 41383808 2.914065