| problem | #var | #eq | #ineq | degree | MMCRSolver | |
| timing(s) | #solution | |||||
| Arthan1A_chunk_0015 | 4 | 0 | 6 | 1 | 122.234375 | 0 |
| Arthan1A_chunk_0016 | 4 | 0 | 6 | 1 | 105.265625 | 1 |
| Arthan1A_chunk_0017 | 4 | 0 | 7 | 4 | 98.78125 | 1 |
| Arthan1A_chunk_0019 | 4 | 0 | 7 | 4 | 95.484375 | 1 |
| Arthan1A_chunk_0020 | 4 | 1 | 6 | 2 | 122.296875 | 3 |
| Arthan1A_chunk_0021 | 4 | 0 | 4 | 2 | 140.390625 | 1 |
| Arthan1A_chunk_0022 | 4 | 0 | 7 | 2 | 294.515625 | 1 |
| Arthan1C_chunk_0002 | 3 | 0 | 2 | 4 | 41.875 | 1 |
| Arthan1C_chunk_0003 | 3 | 0 | 1 | 4 | - | - |
| Arthan1C_chunk_0004 | 3 | 0 | 2 | 4 | 15.343750 | 2 |
| Arthan1C_chunk_0005 | 3 | 1 | 1 | 2 | 74.15625 | 0 |
| Arthan1C_chunk_0007 | 3 | 0 | 2 | 2 | 59.765625 | 3 |
| asin_8_chunk_0018 | 5 | 1 | 7 | 2 | 45.40625 | 1 |
| asin_8_chunk_0019 | 3 | 0 | 5 | 2 | 58.34375 | 1 |
| asin_8_chunk_0020 | 5 | 0 | 8 | 2 | 117.671875 | 1 |
| asin_8_chunk_0021 | 5 | 2 | 7 | 2 | 114.859375 | 1 |
| asin_8_chunk_0022 | 3 | 0 | 5 | 2 | 89 | 1 |
| asin_8_chunk_0023 | 5 | 1 | 8 | 2 | 107.46875 | 1 |
| asin_8_chunk_0024 | 5 | 3 | 7 | 2 | 259.65625 | 1 |
| asin_8_chunk_0025 | 3 | 0 | 5 | 2 | 92.375 | 0 |
| asin_8_chunk_0026 | 5 | 2 | 8 | 2 | 299.125 | 1 |
| asin_8_chunk_0028 | 5 | 3 | 8 | 2 | 405.6875 | 4 |
| asin_8_chunk_0030 | 4 | 0 | 5 | 1 | 122.109375 | 1 |
| asin_8_chunk_0032 | 4 | 0 | 5 | 1 | 97.09375 | 1 |
| asin_8_chunk_0033 | 5 | 3 | 8 | 2 | 158.46875 | 3 |
| asin_8_chunk_0034 | 4 | 0 | 5 | 1 | 101.78125 | 1 |
| asin_8_chunk_0035 | 5 | 3 | 8 | 2 | 165.09375 | 3 |
| asin_8_chunk_0039 | 5 | 3 | 8 | 3 | 285.8125 | 1 |
| asin_8_chunk_0043 | 5 | 0 | 6 | 3 | 329.5 | 1 |
| asin_8_chunk_0045 | 5 | 3 | 8 | 2 | 312.171875 | 1 |
| asin_8_chunk_0046 | 5 | 3 | 8 | 2 | 275.734375 | 1 |
| asin_8_chunk_0047 | 4 | 0 | 5 | 2 | 154.78125 | 1 |
| asin_8_chunk_0050 | 5 | 3 | 8 | 2 | 177.359375 | 3 |
| asin_8_chunk_0053 | 5 | 0 | 5 | 3 | 15.046875 | 0 |
| cos_3410_b_chunk_0012 | 3 | 0 | 7 | 2 | 223.265625 | 1 |
| cos_3410_b_chunk_0013 | 3 | 0 | 7 | 2 | 113.625 | 1 |
| cos_3410_b_chunk_0014 | 3 | 0 | 7 | 2 | 109.625 | 1 |
| cos_3410_b_chunk_0015 | 3 | 0 | 8 | 2 | 141.59375 | 1 |
| cos_3410_b_chunk_0016 | 3 | 0 | 8 | 2 | 348.53125 | 1 |
| cos_3410_b_chunk_0017 | 3 | 0 | 8 | 2 | 287.671875 | 1 |
| cos_3410_b_chunk_0018 | 3 | 0 | 8 | 2 | 204.8125 | 1 |
| cos_3410_b_chunk_0019 | 3 | 0 | 9 | 2 | 238.5625 | 1 |
| cos_3410_b_chunk_0020 | 3 | 0 | 9 | 2 | 247.5 | 1 |
| cos_3410_b_chunk_0021 | 3 | 0 | 10 | 2 | - | - |
| cos_3410_b_chunk_0022 | 3 | 0 | 10 | 2 | 593.109375 | 1 |
| cos_3410_b_chunk_0023 | 3 | 0 | 10 | 2 | 655.703125 | 1 |
| cos_3410_b_chunk_0024 | 3 | 0 | 10 | 2 | 165.203125 | 1 |
| cos_3410_b_chunk_0025 | 3 | 0 | 11 | 2 | 482.390625 | 1 |
| cos_3410_b_chunk_0026 | 3 | 0 | 11 | 2 | 695.078125 | 1 |
| cos_3410_b_chunk_0027 | 3 | 0 | 12 | 2 | - | - |
| cos_problem_5_chunk_0018 | 3 | 1 | 4 | 2 | 17.5625 | 1 |
| cos_problem_5_chunk_0020 | 3 | 0 | 5 | 2 | 99.8125 | 1 |
| cos_problem_5_chunk_0021 | 3 | 2 | 4 | 2 | 35.734375 | 1 |
| cos_problem_12_chunk_0004 | 3 | 0 | 3 | 2 | 53.515625 | 1 |
| cos_problem_12_chunk_0005 | 3 | 0 | 3 | 2 | 55.171875 | 1 |