3sat 问题的benchmark

【文件属性】：
文件名称：3sat 问题的benchmark
文件大小：15KB
文件格式：RAR
更新时间：2016-04-21 06:11:39
3sat benchmark 测试数据 3CNF 里面包含了13组数据，来测试自己的速度，数据格式里面有解释。

【文件预览】：
sat benchmark
----11.txt(7KB)
----sat测试数据说明.txt(383B)
----9.txt(3KB)
----3.txt(2KB)
----7.txt(3KB)
----4.txt(3KB)
----1文件的所有结果.txt(3KB)
----12.txt(7KB)
----6.txt(3KB)
----5.txt(3KB)
----0.txt(48B)
----2.txt(2KB)
----13.txt(32B)
----1.txt(2KB)
----8.txt(3KB)
----10.txt(7KB)