/.VampireSolver.java._trace
/.TypeMappingTechnique.java._trace
/.VampireBackendSolver.java._trace
/.VampireSolverConfiguration.java._trace
/.VampireAnalyzerConfiguration.xtendbin
/.VampireSolver.xtendbin
/TypeMappingTechnique.java
/VampireBackendSolver.java
/VampireSolver.java
/VampireSolverConfiguration.java