Добавлена автоматическая запись результата и времени вычисления кнф
с именем файла filename.cnf в файл filename.res.
Исправлена ошибка с незакрытым файлом в dimacsreader.cpp.