/test/regress/regress2/push-pop/
../
DRAGON_4_e2_2799_e3_1915.lus.ic3.1.min.smt2