supercomp11.pdf supercomp11.ps data/all.tex data/all.pdf data/results-[IR][1N]-1*.*[01] data/results.done