All input files are gzip-compressed: please gunzip before use
al.t.gz
ant.t.gz
bunny2.t.gz
cow.t.gz
f-16.t.gz
feline2.t.gz
floppy.t.gz
horse2.t.gz
pawn.t.gz
pig.t.gz
shark.t.gz
toilet.t.gz
venus.t.gz
whale.t.gz