Java 解析和简化CNF文件所需的时间

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

我用过

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

我希望计算一下读者解析和满足所需的时间。 如果可能，请指示我查找图像中处理的每个cnf文件的信息

---

提前感谢您的时间。

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

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(); 

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