/testsuites/sptests/spintrcritical12/
../
spintrcritical12.doc
spintrcritical12.scn