3sat 问题的benchmark

[{"title":"（ 16 个子文件 15KB ） 3sat 问题的benchmark","children":[{"title":"sat benchmark","children":[{"title":"11.txt <span style='color:#111;'> 6.83KB </span>","children":null,"spread":false},{"title":"sat测试数据说明.txt <span style='color:#111;'> 383B </span>","children":null,"spread":false},{"title":"9.txt <span style='color:#111;'> 3.35KB </span>","children":null,"spread":false},{"title":"3.txt <span style='color:#111;'> 1.96KB </span>","children":null,"spread":false},{"title":"7.txt <span style='color:#111;'> 3.35KB </span>","children":null,"spread":false},{"title":"4.txt <span style='color:#111;'> 2.65KB </span>","children":null,"spread":false},{"title":"1文件的所有结果.txt <span style='color:#111;'> 3.45KB </span>","children":null,"spread":false},{"title":"12.txt <span style='color:#111;'> 6.85KB </span>","children":null,"spread":false},{"title":"6.txt <span style='color:#111;'> 2.65KB </span>","children":null,"spread":false},{"title":"5.txt <span style='color:#111;'> 2.66KB </span>","children":null,"spread":false},{"title":"0.txt <span style='color:#111;'> 48B </span>","children":null,"spread":false},{"title":"2.txt <span style='color:#111;'> 1.96KB </span>","children":null,"spread":false},{"title":"13.txt <span style='color:#111;'> 32B </span>","children":null,"spread":false},{"title":"1.txt <span style='color:#111;'> 1.96KB </span>","children":null,"spread":false},{"title":"8.txt <span style='color:#111;'> 3.38KB </span>","children":null,"spread":false},{"title":"10.txt <span style='color:#111;'> 6.85KB </span>","children":null,"spread":false}],"spread":false}],"spread":true}]