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

【问题标题】：time taken to parse and simplyify a CNF file解析和简化 CNF 文件所花费的时间
【发布时间】：2016-08-11 15:24:47
【问题描述】：

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

我用过

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

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

【问题讨论】：

标签： java sat sat4j

【解决方案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();

这样，解析实例的时间（以毫秒为单位）将出现:)。我希望这会有所帮助！

【讨论】：