Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / stats / edu.tamu.aser.rvtest.comparisonWithNidhugg.Test2

diff --git a/JMCR-Stable/mcr-test/stats/edu.tamu.aser.rvtest.comparisonWithNidhugg.Test2 b/JMCR-Stable/mcr-test/stats/edu.tamu.aser.rvtest.comparisonWithNidhugg.Test2
new file mode 100644 (file)
index 0000000..2dddef8
--- /dev/null
+++ b/JMCR-Stable/mcr-test/stats/edu.tamu.aser.rvtest.comparisonWithNidhugg.Test2
@@ -0,0 +1,81 @@
+#Read, #Constraints, SolvingTime(ms)
+2 4 0
+6 13 0
+7 15 0
+12 28 0
+12 28 0
+13 30 0
+13 30 0
+15 35 0
+3 3 0
+6 6 0
+6 6 0
+8 9 0
+12 14 0
+16 19 0
+20 24 0
+20 24 0
+0 0 0
+4 7 0
+8 14 0
+8 14 0
+10 18 0
+14 27 0
+17 32 0
+20 37 0
+23 42 0
+28 51 0
+33 60 0
+38 69 0
+1 0 0
+3 0 0
+6 2 0
+10 4 0
+10 4 0
+1 0 0
+0 0 0
+3 4 0
+3 4 0
+5 8 0
+9 15 0
+3 3 0
+6 6 0
+6 6 0
+8 9 0
+8 9 0
+1 0 0
+2 0 0
+1 0 0
+1 0 0
+3 0 0
+3 0 0
+3 0 0
+5 2 0
+8 4 0
+10 6 0
+0 0 0
+0 0 0
+2 4 0
+5 9 0
+8 14 0
+11 19 0
+0 0 0
+3 6 0
+6 12 0
+7 14 0
+11 22 0
+15 30 0
+2 0 0
+2 0 0
+3 0 0
+0 0 0
+2 4 0
+4 6 0
+6 8 0
+1 0 0
+3 0 0
+6 2 0
+10 4 0
+0 0 0
+0 0 0
+2 4 0