add general information to reasoner output files