1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.xtend
index 74532ee5..c5cfb1c7 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.xtend
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.xtend
@@ -44,7 +44,7 @@ class VampireHandler {
                val VAMPNAME = "vampire.exe"
                val TEMPNAME = "TEMP.tptp"
                val OPTION = " --mode casc_sat -t 300 "
-                val SOLNNAME = "_solution" + configuration.typeScopes.maxNewElements + ".tptp"
+                val SOLNNAME = "solution" + configuration.typeScopes.maxNewElements +"_" + configuration.iteration + ".tptp"
                val PATH = "C:/cygwin64/bin"
                val wsURI = workspace.workspaceURI

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.xtend index 74532ee5..c5cfb1c7 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireHandler.xtend
@@ -44,7 +44,7 @@ class VampireHandler {
44	val VAMPNAME = "vampire.exe"	44	val VAMPNAME = "vampire.exe"
45	val TEMPNAME = "TEMP.tptp"	45	val TEMPNAME = "TEMP.tptp"
46	val OPTION = " --mode casc_sat -t 300 "	46	val OPTION = " --mode casc_sat -t 300 "
47	val SOLNNAME = "_solution" + configuration.typeScopes.maxNewElements + ".tptp"	47	val SOLNNAME = "solution" + configuration.typeScopes.maxNewElements +"_" + configuration.iteration + ".tptp"
48	val PATH = "C:/cygwin64/bin"	48	val PATH = "C:/cygwin64/bin"
49		49
50	val wsURI = workspace.workspaceURI	50	val wsURI = workspace.workspaceURI