../../matitac.opt `cat partial.txt`
-cd basic_2/rt_computation/
-../../../../matitac.opt `cat partial.txt`
-cd ../rt_equivalence/
-../../../../matitac.opt `cat partial.txt`
-cd ../dynamic/
+cd basic_2/dynamic/
../../../../matitac.opt `cat partial.txt`
cd ../../