/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/files/
../
logProb.logicproblem
vampireCode.tptp