修改partition的bug：clause数大于cmax

修改partition的bug：clause数大于cmax
将测试数据放入testdata中
run-all通过了uf20-91的1000个测试用例