3SAT问题测试用例

可满足性问题: 1. m=3(变元的个数),n=5(子句的个数),l=3(子句的长度), 3-5-3.txt: 1 -2 3 0 1 -2 -3 0 1 2 -3 0 1 2 3 0 -1 2 3 0 其中文件表示如下合取范式: cnf=(p1并(P2的非)并p3)交(p1并(P2的非)并(p3的非))交(p1并P2并(p3的非))交(p1并P2并p3)交((p1的非)并P2并p3)