Name | Mario/ Mario-t-hard-2_c18.xml |
MD5SUM | 2b9b9d57997e47756252872b7d7d2054 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4850 |
Best CPU time to get the best result obtained on this benchmark | 6.4515 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 300 |
Number of constraints | 201 |
Number of domains | 161 |
Minimum domain size | 1 |
Maximum domain size | 100 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":98},{"size":85,"count":3},{"size":86,"count":3},{"size":87,"count":7},{"size":88,"count":10},{"size":89,"count":13},{"size":90,"count":11},{"size":91,"count":13},{"size":92,"count":9},{"size":93,"count":7},{"size":94,"count":9},{"size":95,"count":4},{"size":96,"count":8},{"size":97,"count":2},{"size":99,"count":1},{"size":100,"count":100}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":199},{"degree":3,"count":99}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 100 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":198},{"arity":100,"count":2}] |
Number of extensional constraints | 100 |
Number of intensional constraints | 99 |
Distribution of constraint types | [{"type":"extension","count":100},{"type":"intension","count":99},{"type":"sum","count":1},{"type":"circuit","count":1}] |
Optimization problem | YES |
Type of objective | max SUM |
Solver Name | TraceID | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|---|
OscaR - Conflict Ordering with restarts 2018-08-17 (complete) | 4312340 | OPT | 4850 | 6.4515 | 2.68808 |
OscaR - Hybrid 2018-08-14 (complete) | 4310480 | OPT | 4850 | 8.82873 | 4.91438 |
Mistral-2.0 2018-08-01 (complete) | 4312695 | OPT | 4850 | 12.3109 | 12.3186 |
Choco-solver 4.0.7b seq (e747e1e) (complete) | 4301987 | OPT | 4850 | 15.8807 | 12.6684 |
Concrete 3.9.2-SuperNG (complete) | 4302854 | OPT | 4850 | 33.1028 | 18.658 |
Concrete 3.9.2 (complete) | 4302504 | OPT | 4850 | 82.1721 | 67.4625 |
OscaR - Conflict Ordering with restarts 2018-08-14 (complete) | 4310130 | SAT (TO) | 4850 | 252.074 | 245.52 |
cosoco 1.12 (complete) | 4301989 | ? (NS) | 0.087157 | 0.0882101 | |
Sat4j-CSP 2018-07-11 (complete) | 4301988 | ? (TO) | 260.25 | 89.7603 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 4850<instantiation> <list> s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] s[92] s[93] s[94] s[95] s[96] s[97] s[98] s[99] f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] g[25] g[26] g[27] g[28] g[29] g[30] g[31] g[32] g[33] g[34] g[35] g[36] g[37] g[38] g[39] g[40] g[41] g[42] g[43] g[44] g[45] g[46] g[47] g[48] g[49] g[50] g[51] g[52] g[53] g[54] g[55] g[56] g[57] g[58] g[59] g[60] g[61] g[62] g[63] g[64] g[65] g[66] g[67] g[68] g[69] g[70] g[71] g[72] g[73] g[74] g[75] g[76] g[77] g[78] g[79] g[80] g[81] g[82] g[83] g[84] g[85] g[86] g[87] g[88] g[89] g[90] g[91] g[92] g[93] g[94] g[95] g[96] g[97] g[98] g[99] </list> <values> 63 0 48 74 79 36 4 24 73 99 86 26 98 35 46 16 55 47 69 41 62 53 28 8 15 83 76 12 10 6 61 54 75 5 49 34 14 94 40 65 97 81 30 78 32 3 37 43 70 45 22 50 44 92 29 90 67 21 84 17 68 91 38 89 1 66 18 11 23 80 87 33 20 2 57 95 64 42 77 27 25 9 39 7 52 71 59 51 82 31 85 72 56 88 13 93 58 96 19 60 194 0 200 86 453 368 119 30 112 46 135 456 161 302 334 407 481 465 23 5 370 100 359 390 125 85 317 9 289 108 217 132 497 21 414 33 288 274 128 70 6 227 461 327 260 202 384 35 128 43 273 69 451 165 129 427 182 49 17 355 118 120 494 78 124 118 44 253 34 176 18 118 377 91 356 241 215 176 242 20 331 178 110 64 152 479 195 28 110 87 368 139 0 444 305 401 107 115 60 84 0 0 40 67 89 50 6 19 47 68 94 86 34 14 14 16 67 99 30 31 78 47 99 42 56 14 62 35 53 62 79 26 7 50 30 24 97 15 67 88 2 55 58 19 42 40 34 83 36 67 59 66 98 31 99 9 58 2 70 73 14 62 94 13 34 56 38 26 94 47 91 36 35 88 33 71 8 23 5 19 31 93 72 92 46 65 8 37 35 2 86 35 3 49 43 67 70 64 96 66 </values> </instantiation>