Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / stats / edu.tamu.aser.rvtest_simple_tests.MTSetTest

diff --git a/JMCR-Stable/mcr-test/stats/edu.tamu.aser.rvtest_simple_tests.MTSetTest b/JMCR-Stable/mcr-test/stats/edu.tamu.aser.rvtest_simple_tests.MTSetTest
new file mode 100644 (file)
index 0000000..2ec1395
--- /dev/null
+++ b/JMCR-Stable/mcr-test/stats/edu.tamu.aser.rvtest_simple_tests.MTSetTest
@@ -0,0 +1,236 @@
+#Read, #Constraints, SolvingTime(ms)
+9 0 0
+80 4 0
+122 6 0
+165 8 0
+209 10 0
+247 12 0
+286 14 0
+326 16 0
+367 18 0
+379 18 0
+392 18 0
+416 18 0
+435 20 0
+448 20 0
+480 23 10
+487 23 10
+520 25 10
+554 27 10
+589 29 10
+600 29 10
+615 29 10
+707 33 20
+802 37 30
+838 39 30
+870 41 30
+907 43 30
+42 2 0
+88 4 0
+147 8 0
+170 10 0
+194 12 0
+204 12 0
+218 12 0
+306 18 0
+397 24 0
+419 26 0
+482 32 0
+507 34 0
+534 36 0
+560 38 0
+622 42 0
+651 44 0
+669 46 0
+672 46 0
+694 49 0
+700 49 0
+728 51 0
+751 51 0
+782 53 0
+812 55 0
+845 57 0
+877 59 0
+938 63 0
+972 65 0
+7 0 0
+7 0 0
+7 0 0
+7 0 0
+7 0 0
+7 0 0
+7 0 0
+19 2 0
+42 4 0
+50 4 0
+51 4 0
+78 8 0
+97 10 0
+32 2 0
+65 4 0
+95 6 0
+126 8 0
+162 10 0
+199 12 0
+233 14 0
+268 16 0
+306 18 0
+345 20 0
+353 20 0
+419 24 0
+466 26 0
+517 28 0
+526 28 0
+540 30 0
+552 30 0
+579 33 0
+585 33 0
+604 33 0
+610 33 0
+620 33 0
+648 35 0
+675 37 0
+686 37 0
+715 39 0
+24 0 0
+59 0 0
+98 0 0
+116 0 0
+184 7 10
+202 7 10
+229 7 10
+255 7 10
+280 7 10
+304 7 10
+359 11 10
+414 13 10
+470 18 10
+510 18 10
+516 18 10
+533 18 10
+18 2 0
+24 2 0
+47 2 0
+57 2 0
+71 2 0
+50 7 0
+93 9 0
+142 15 0
+154 15 0
+216 22 0
+265 26 0
+273 26 0
+280 26 0
+286 26 0
+352 28 0
+359 28 0
+385 28 0
+415 28 0
+458 30 0
+9 0 0
+40 4 0
+48 4 0
+56 4 0
+68 4 0
+79 4 0
+94 6 0
+8 0 0
+8 0 0
+7 0 0
+34 2 0
+69 4 0
+105 6 0
+142 8 0
+172 10 0
+203 12 0
+235 14 0
+268 16 0
+296 18 0
+325 20 0
+350 22 0
+376 24 0
+379 24 0
+464 28 0
+549 32 10
+576 34 10
+588 36 10
+606 36 10
+631 39 10
+643 39 10
+656 39 10
+701 41 10
+750 43 10
+765 43 10
+779 43 10
+843 48 10
+860 49 10
+878 49 10
+14 0 0
+27 1 0
+37 1 0
+88 4 0
+110 4 0
+131 4 0
+194 6 0
+257 8 0
+281 8 0
+304 8 0
+325 8 0
+334 8 0
+366 8 0
+402 8 0
+413 8 0
+7 0 0
+10 0 0
+7 0 0
+8 0 0
+8 0 0
+19 1 0
+31 3 0
+34 3 0
+50 6 0
+62 6 0
+75 6 0
+97 8 0
+123 10 0
+162 14 0
+208 23 0
+252 26 0
+297 34 0
+315 34 0
+378 43 0
+423 49 0
+436 51 0
+450 53 0
+461 55 0
+473 57 0
+476 57 0
+534 61 0
+592 65 0
+20 0 0
+44 0 0
+81 2 0
+96 3 0
+140 10 0
+179 11 0
+222 17 0
+236 17 0
+294 24 0
+337 28 0
+389 30 0
+441 32 0
+451 32 0
+463 32 0
+474 32 0
+483 32 0
+495 32 0
+10 0 0
+7 0 0
+7 0 0
+7 0 0
+7 0 0
+10 0 0
+24 0 0
+42 2 0
+48 2 0
+71 2 0