Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / ConstraintsProfile / edu.tamu.aser.results.mutual_exclusion.Bakery

diff --git a/JMCR-Stable/ConstraintsProfile/edu.tamu.aser.results.mutual_exclusion.Bakery b/JMCR-Stable/ConstraintsProfile/edu.tamu.aser.results.mutual_exclusion.Bakery
new file mode 100644 (file)
index 0000000..e6b37da
--- /dev/null
+++ b/JMCR-Stable/ConstraintsProfile/edu.tamu.aser.results.mutual_exclusion.Bakery
@@ -0,0 +1,30 @@
+#Read, #Constraints, SolvingTime(ms)
+41 37 0
+82 74 0
+123 112 0
+164 150 0
+205 188 0
+246 226 0
+287 264 0
+328 302 0
+369 340 0
+410 378 0
+451 416 0
+492 454 0
+533 492 0
+574 530 0
+615 567 0
+656 604 0
+697 641 0
+738 678 0
+7 0 0
+27 9 0
+49 19 0
+75 32 0
+103 46 0
+135 63 0
+169 81 0
+14 2 0
+14 2 0
+0 0 0
+7 2 0