Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / stats / omcr.ticketorder.TicketsOrderSim

diff --git a/JMCR-Stable/mcr-test/stats/omcr.ticketorder.TicketsOrderSim b/JMCR-Stable/mcr-test/stats/omcr.ticketorder.TicketsOrderSim
new file mode 100644 (file)
index 0000000..f8df78d
--- /dev/null
+++ b/JMCR-Stable/mcr-test/stats/omcr.ticketorder.TicketsOrderSim
@@ -0,0 +1,97 @@
+#Read, #Constraints, SolvingTime(ms)
+143 204 30
+144 206 30
+146 210 30
+150 218 30
+156 230 30
+164 246 30
+174 266 30
+194 304 30
+229 360 30
+279 434 30
+344 526 30
+424 636 30
+447 680 30
+502 766 30
+588 894 30
+705 1064 30
+853 1276 30
+1000 1486 40
+1121 1662 50
+1188 1758 60
+1259 1858 70
+1332 1962 80
+1409 2070 90
+1528 2244 100
+1666 2442 110
+1807 2644 120
+1952 2852 130
+1955 2858 130
+1960 2868 130
+1967 2882 130
+1976 2900 130
+1997 2940 130
+2022 2984 130
+2049 3032 130
+2080 3084 130
+2116 3142 130
+2156 3204 130
+2198 3270 130
+2244 3340 130
+2295 3416 130
+2350 3496 130
+2407 3580 130
+2468 3668 130
+2534 3762 130
+2604 3860 130
+2676 3962 130
+2752 4068 130
+2776 4114 130
+2820 4184 130
+2867 4258 130
+2918 4338 130
+2974 4426 130
+3049 4538 130
+3127 4654 130
+3209 4776 130
+3296 4906 130
+3402 5060 130
+3511 5218 130
+3624 5382 130
+3742 5554 130
+3879 5750 130
+4019 5950 130
+4163 6156 130
+4185 6198 130
+4211 6244 130
+4239 6294 130
+4271 6348 130
+4296 6396 130
+4341 6468 130
+4389 6544 140
+4441 6626 140
+4478 6686 140
+4519 6750 140
+4562 6818 140
+4609 6890 150
+4666 6980 160
+4742 7094 170
+4821 7212 180
+4904 7336 190
+4956 7414 190
+5012 7496 190
+5070 7582 200
+5132 7672 210
+5220 7804 220
+5327 7960 230
+5437 8120 240
+5551 8286 250
+5578 8336 250
+5663 8462 260
+5744 8582 270
+5794 8660 280
+5848 8744 290
+5907 8836 300
+5997 8970 310
+6113 9138 320
+6225 9300 330