Время, необходимое для разбора и упрощения файла CNF

Question

Я только начал использовать библиотеки Sat4j. Можете ли вы указать мне, как рассчитать время, необходимое для анализа и упрощения ввода данных CNF.

я использовал

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

Я хотел бы рассчитать время, затраченное читателем на анализ и является удовлетворительным. Если возможно, пожалуйста, попросите меня найти информацию на изображении для каждого обработанного снимка экрана cnf файла деталей, которые я собираюсь собрать, используя 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(); 

При этом появится время в миллисекундах для разбора экземпляра:). Я надеюсь, что это поможет!