/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/FAMTest/
../
Fam.logicproblem
vampireProblem.tptp