Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / spider.checkpoint

diff --git a/JMCR-Stable/mcr-test/spider.checkpoint b/JMCR-Stable/mcr-test/spider.checkpoint
new file mode 100644 (file)
index 0000000..b268624
Binary files /dev/null and b/JMCR-Stable/mcr-test/spider.checkpoint differ