1 files changed, 8 insertions, 8 deletions
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_TOP = 150
-                var SZ_BOT = 5
+                var SZ_BOT = 150
-                var INC = 5
+                var INC = 10
-                var REPS = 1
+                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)..")

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 {
59	// val queries = null	59	// val queries = null
60	println("DSL loaded")	60	println("DSL loaded")
61		61
62	var SZ_TOP = 30	62	var SZ_TOP = 150
63	var SZ_BOT = 5	63	var SZ_BOT = 150
64	var INC = 5	64	var INC = 10
65	var REPS = 1	65	var REPS = 10
66		66
67	val RUNTIME = 20	67	val RUNTIME = 300
68		68
69	val EXACT = -1	69	val EXACT = -1
70	if (EXACT != -1) {	70	if (EXACT != -1) {
@@ -82,13 +82,13 @@ class YakinduTest {
82	// ,	82	// ,
83	// BackendSolver::GEOIII	83	// BackendSolver::GEOIII
84	// ,	84	// ,
85	BackendSolver::IPROVER	85	// BackendSolver::IPROVER
86	// ,	86	// ,
87	// BackendSolver::PARADOX	87	// BackendSolver::PARADOX
88	// ,	88	// ,
89	// BackendSolver::VAMPIRE	89	// BackendSolver::VAMPIRE
90	// ,	90	// ,
91	// BackendSolver::Z3	91	BackendSolver::Z3
92	)	92	)
93		93
94		94
@@ -197,7 +197,7 @@ class YakinduTest {
197	writer.append(satOut + ",")	197	writer.append(satOut + ",")
198	writer.append(satTime + ",")	198	writer.append(satTime + ",")
199	writer.append(modOut + ",")	199	writer.append(modOut + ",")
200	writer.append(modTime + ",")	200	writer.append(modTime + "")
201	writer.append("\n")	201	writer.append("\n")
202		202
203	// print("(" + tTime + "/" + sTime + "s)..")	203	// print("(" + tTime + "/" + sTime + "s)..")