CNF基准套房：LIVENESS-SAT.1.0========================================说明：通过活性的形式验证得出的可满足CNF公式双问题超标量DLX处理器#实例数：10作者：Miroslav N.Velev(mvelev@ece.cmu.edu)http://www.ece.cmu.edu/~m标高日期：2003年8月24日CNF公式大小[Bytes]变量子句文字平均文字/子句------------------------------------------------------------------------------------------------------------2dlx_cc_ex_bp_f_bug1_liveness.cnf 55831152 171648 2614464 7528066 2.8793922dlx_cc_ex_bp_f_bug2_liveness.cnf 66391816 196655 3068742 8843042 2.8816512dlx_cc_ex_bp_f_bug3_liveness.cnf 78722583 224920 3596474 10372084 2.8839592dlx_cc_ex_bp_f_bug4_liveness.cnf 93030189 256697 4205986 12139670 2.8862842dlx_cc_ex_bp_f_bug5_生命.cnf 109530177 292249 4906188 14172012 2.8885992dlx_cc_ex_bp_f_bug6_liness.cnf 128456797 331848 5706594 16497116 2.8908872dlx_cc_ex_bp_f_bug7_生命.cnf 150058806 375775 6617342 19144842 2.8931322dlx_cc_ex_bp_f_bug8_liveness.cnf 174600908 424320 7649214 22146964 2.8953252dlx_cc_ex_bp_f_bug9_liveness.cnf 202364254 477782 8813656 25537230 2.8974622dlx_cc_ex_bp_f_bug10_生命.cnf 233646943 536469 10122798 29351422 2.899536md5sum的输出：--------------------------------------------------------------------------------------------d3869b114bb0dff542e25f3614f7423d 2dlx_cc_ex_bp_f_bug1_liveness.cnf119942c4fc9d71ad0dc631d9ca7ee8 dlx_cc_ex_bp_f_bug2_liveness.cnf3a0af1030ba5ab83e5ffb0bac3958b2d 2dlx_cc_ex_bp_f_bug3_liveness.cnfa3e0b7a5a85eca10c4fc3b8e9dbe10 dlx_cc_ex_bp_f_bug4_liveness.cnf8c534c95f6cc272df0b4b3683c9240bf 2dlx_cc_ex_bp_f_bug5_生命.cnfebe34b026b75d6f4d87b49970d55c844 2dlx_cc_ex_bp_f_bug6_生命.cnfc0539ad44a0d78491578774e67737cd4 2dlx_cc_ex_bp_f_bug7_生命.cnf2c571abcaefc605b98f3144 dlx_cc_ex_bp_f_bug8_liveness.cnf0523c9b605200827b552d4525ff98cb0 2dlx_cc_ex_bp_f_bug9_生命.cnfb127727ba128dac95112e1dlx_cc_ex_bp_f_bug10_liveness.cnf