Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / MyDerby-10.3 / sharedvariables.ser

diff --git a/JMCR-Stable/real-world application/MyDerby-10.3/sharedvariables.ser b/JMCR-Stable/real-world application/MyDerby-10.3/sharedvariables.ser
new file mode 100644 (file)
index 0000000..0cd7135
Binary files /dev/null and b/JMCR-Stable/real-world application/MyDerby-10.3/sharedvariables.ser differ