v0.tsl.universe  : universe file for orig or seeded versions
testscripts   : contains test scripts which are used in universe.tsl
inst_scripts  : contains 567 test scripts for instrumented versions
