Question

我刚刚开始使用Sat4j库。你能指导我如何计算解析和简化给定CNF输入所需的时间。

我用过

ISolver solver = SolverFactory.newDefault();
Reader reader = new DimacsReader(solver);
IProblem problem = reader.parseInstance(filename.cnf);
boolean check=problem.isSatisfiable();

我希望计算读者解析和满意的时间。如果可能的话，请指导我在图像中查找每个处理过的cnf文件的信息 screenshot of the details i look to collect using sat4j lib 感谢您提前的时间。

Answer 1

我尝试以旧方式嵌入您的源代码以获得执行时间。

Date startDate = Calendar.getInstance().getTime();
long d_StartTime = new Date().getTime();

    ISolver solver = SolverFactory.newDefault();
    Reader reader = new DimacsReader(solver);
    IProblem problem = reader.parseInstance(filename.cnf);

Date endDate = Calendar.getInstance().getTime();
long d_endTime = new Date().getTime();

System.out.format("Milli = %s, ( D_Start : %s, D_End : %s ) \n", (d_endTime - d_StartTime),d_StartTime, d_endTime);

boolean check=problem.isSatisfiable();

这样，将显示解析实例的时间（以毫秒为单位）。我希望这有帮助！

解析和简化CNF文件所花费的时间

1 个答案: