*.out.bad
*.notrun
*.full
check.log
check.time
