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 | 24.9259 |
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 |
Solver Name | TraceID | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) (complete) | 4297603 | OPT | 4482 | 24.9259 | 4.53474 |
OscaR - Parallel with EPS 2018-07-02 (complete) | 4291190 | OPT | 4482 | 26.5815 | 6.21659 |
OscaR - Parallel with EPS 2018-08-14 (complete) | 4308959 | OPT | 4482 | 28.4707 | 6.41128 |
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>69 0 1 47 62 85 44 25 74 45 71 24 40 99 61 70 10 79 75 95 58 73 64 59 31 81 72 21 11 83 16 32 54 96 84 22 29 33 48 87 50 49 26 67 89 19 37 78 15 9 53 42 51 7 55 90 28 57 97 63 66 98 93 30 38 34 65 27 18 46 82 86 5 23 12 76 52 13 80 2 60 3 56 88 43 36 14 6 41 17 8 35 92 20 94 91 77 39 4 68 44 0 60 156 84 82 26 248 327 92 406 266 485 189 15 18 412 488 151 333 357 105 422 51 264 82 388 55 183 241 93 450 108 440 385 36 52 44 39 246 373 123 354 358 31 167 21 496 401 411 480 306 89 466 260 11 240 0 259 364 240 207 51 2 106 49 316 123 354 30 371 473 31 314 169 391 122 213 6 270 89 216 18 0 16 398 486 14 364 20 161 344 0 4 0 58 4 38 330 226 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>