Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / stats / edu.tamu.aser.rvtest_simple_tests.StringBufferTest

diff --git a/JMCR-Stable/mcr-test/stats/edu.tamu.aser.rvtest_simple_tests.StringBufferTest b/JMCR-Stable/mcr-test/stats/edu.tamu.aser.rvtest_simple_tests.StringBufferTest
new file mode 100644 (file)
index 0000000..dbf148d
--- /dev/null
+++ b/JMCR-Stable/mcr-test/stats/edu.tamu.aser.rvtest_simple_tests.StringBufferTest
@@ -0,0 +1,28 @@
+#Read, #Constraints, SolvingTime(ms)
+17 4 10
+37 10 10
+53 12 10
+80 24 20
+107 32 20
+128 40 20
+160 58 30
+192 72 30
+209 76 30
+236 84 30
+254 90 30
+282 100 30
+304 108 30
+336 120 30
+359 130 30
+392 144 30
+409 150 40
+431 157 40
+11 0 0
+16 9 0
+32 18 0
+43 18 0
+64 28 0
+74 28 0
+85 30 0
+100 34 0
+116 40 0