String evaluationResultFilename =
resultFilename.substring(
0,
resultFilename.lastIndexOf('.'))
+ ".eval";
te.evaluate(resultFilename);
if (evaluation_per_query)
te.writeEvaluationResultOfEachQuery(evaluationResultFilename);
else
te.writeEvaluationResult(evaluationResultFilename);
}