Changed memory limit for the current VampirePrime

Author: ZOUG

PSOATransRun/src/main/java/org/ruleml/psoa/psoatransrun/tptp/VampirePrimeEngine.java

@@ -97,7 +97,8 @@ public QueryResult executeQuery(String query, List<String> queryVars,
 
 		CommandLine cl = new CommandLine(m_config.binPath);
 		cl.addArguments(new String[] { "-t", String.valueOf(m_config.timeout),
-				"-m", "2048000", "--elim_def", "0", "--selection", "8",
+				"-m", "300000",    // For an improved VampirePrime, consider: "-m", "2048000",
+				"--elim_def", "0", "--selection", "8",
 				"--config", m_config.answerPredicatePath,
 				"--max_number_of_answers", "400",
 				"--inconsistencies_as_answers", "off",