[ ATP-pragma ] Fixed version in *.out files