Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / .metadata / .plugins / org.eclipse.core.resources / .history / 2a / 306dae83e78c0017137bf1e447c2d48d

diff --git a/JMCR-Stable/.metadata/.plugins/org.eclipse.core.resources/.history/2a/306dae83e78c0017137bf1e447c2d48d b/JMCR-Stable/.metadata/.plugins/org.eclipse.core.resources/.history/2a/306dae83e78c0017137bf1e447c2d48d
new file mode 100644 (file)
index 0000000..0b05106
--- /dev/null
+++ b/JMCR-Stable/.metadata/.plugins/org.eclipse.core.resources/.history/2a/306dae83e78c0017137bf1e447c2d48d
@@ -0,0 +1,9 @@
+#Read, #Constraints, SolvingTime(ms)
+0 0 0
+0 0 0
+1 2 0
+2 4 0
+5 8 0
+10 14 0
+0 0 0
+4 4 0