/Testing/Semantic/
../
t1-1a.p
t1-1b.p
t1-2.p
t1-2a.p
t1-2b.p
t1-3.p
t1-4.p
t1-5.p
t2-1.p
t2-2.p
t2-3.p
t3-2.p
t3-3.p
t3-3a.p
t3-4.p
t4-1.p
t5-2.p
t5-3.p
t5-4.p
t6-1.p
t6-2.p
test-semantic.p