| Name | Mario/ Mario-t-hard-5_c18.xml |
| MD5SUM | 4de37f7087aa8e77bde3fd457ed5d54a |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4482 |
| Best CPU time to get the best result obtained on this benchmark | 3.6868 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 300 |
| Number of constraints | 201 |
| Number of domains | 166 |
| Minimum domain size | 1 |
| Maximum domain size | 100 |
| Distribution of domain sizes | [{"size":1,"count":5},{"size":2,"count":95},{"size":83,"count":1},{"size":85,"count":1},{"size":86,"count":3},{"size":87,"count":3},{"size":88,"count":8},{"size":89,"count":19},{"size":90,"count":19},{"size":91,"count":8},{"size":92,"count":17},{"size":93,"count":12},{"size":94,"count":3},{"size":95,"count":3},{"size":96,"count":1},{"size":97,"count":2},{"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 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 4482<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> 27 0 21 18 97 45 16 24 72 59 19 60 71 99 56 35 73 87 48 91 68 25 3 53 13 50 80 4 61 96 15 89 82 28 36 98 52 42 51 66 54 6 69 63 93 33 67 32 58 78 7 34 55 11 46 10 88 57 30 8 65 20 39 75 81 9 90 17 44 95 5 41 31 85 84 64 12 1 38 37 83 49 77 74 62 40 43 47 23 86 2 22 92 79 94 29 26 70 76 14 180 0 108 58 114 121 204 54 385 63 248 428 488 189 219 375 91 55 90 71 336 365 354 367 387 428 407 342 54 367 72 371 231 89 250 95 54 249 350 188 170 67 446 71 186 41 206 303 41 279 211 41 246 322 359 367 44 0 220 46 111 372 41 77 18 455 135 62 254 157 109 397 70 127 2 65 387 121 151 159 281 195 250 200 382 389 153 441 268 429 18 27 0 232 0 36 246 228 303 29 0 0 74 24 6 5 54 91 22 21 31 3 47 60 28 90 78 15 17 17 8 65 8 56 61 2 80 47 15 20 89 92 57 29 7 30 46 43 69 33 84 51 70 57 41 98 52 42 53 95 25 5 12 37 3 12 59 0 47 31 99 51 7 26 98 65 33 97 44 18 49 36 58 30 55 57 69 60 13 99 65 73 84 63 56 91 88 6 91 37 43 11 0 1 0 85 27 69 54 60 </values> </instantiation>