reader = createReader(solver, problemname);
IProblem problem = reader.parseInstance(problemname);
log("... done. Wall clock time " //$NON-NLS-1$
+ (System.currentTimeMillis() - beginTime) / 1000.0 + "s."); //$NON-NLS-1$
log("#vars " + problem.nVars()); //$NON-NLS-1$
log("#constraints " + problem.nConstraints()); //$NON-NLS-1$
problem.printInfos(out,COMMENT_PREFIX);
return problem;
}
protected abstract Reader createReader(ISolver theSolver, String problemname);