From e0fc38cb9a22bf0c21053361a22b8fa167f30625 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Sat, 12 Oct 2019 23:10:19 -0400 Subject: VAMPIRE: complete data collection and code setup --- .../ecse/dslreasoner/vampire/icse/YakinduTest.xtend | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse') diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend index 9121367b..26b91525 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend @@ -59,12 +59,12 @@ class YakinduTest { // val queries = null println("DSL loaded") - var SZ_TOP = 30 - var SZ_BOT = 5 - var INC = 5 - var REPS = 1 + var SZ_TOP = 150 + var SZ_BOT = 150 + var INC = 10 + var REPS = 10 - val RUNTIME = 20 + val RUNTIME = 300 val EXACT = -1 if (EXACT != -1) { @@ -82,13 +82,13 @@ class YakinduTest { // , // BackendSolver::GEOIII // , - BackendSolver::IPROVER +// BackendSolver::IPROVER // , // BackendSolver::PARADOX // , // BackendSolver::VAMPIRE // , -// BackendSolver::Z3 + BackendSolver::Z3 ) @@ -197,7 +197,7 @@ class YakinduTest { writer.append(satOut + ",") writer.append(satTime + ",") writer.append(modOut + ",") - writer.append(modTime + ",") + writer.append(modTime + "") writer.append("\n") // print("(" + tTime + "/" + sTime + "s)..") -- cgit v1.2.3-54-g00ecf