Added the possibility to print a result file.