Name | SteelMillSlab/ SteelMillSlab-m1-3-0_c18.xml |
MD5SUM | 7371989d8b754960e2638a689dbe5607 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 124 |
Best CPU time to get the best result obtained on this benchmark | 20091.7 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 333 |
Number of constraints | 356 |
Number of domains | 3 |
Minimum domain size | 24 |
Maximum domain size | 111 |
Distribution of domain sizes | [{"size":24,"count":111},{"size":38,"count":111},{"size":111,"count":111}] |
Minimum variable degree | 2 |
Maximum variable degree | 224 |
Distribution of variable degrees | [{"degree":2,"count":111},{"degree":4,"count":111},{"degree":222,"count":78},{"degree":223,"count":24},{"degree":224,"count":9}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 112 |
Distribution of constraint arities | [{"arity":2,"count":132},{"arity":111,"count":113},{"arity":112,"count":111}] |
Number of extensional constraints | 111 |
Number of intensional constraints | 21 |
Distribution of constraint types | [{"type":"extension","count":111},{"type":"intension","count":21},{"type":"ordered","count":1},{"type":"sum","count":223}] |
Optimization problem | YES |
Type of objective | min SUM |
Solver Name | TraceID | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) (complete) | 4297540 | SAT (TO) | 124 | 20091.7 | 2520.14 |
OscaR - Parallel with EPS 2018-07-02 (complete) | 4291127 | ? (TO) | 19848.3 | 2520.31 | |
OscaR - Parallel with EPS 2018-08-14 (complete) | 4308896 | ? (TO) | 19889 | 2520.35 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 124<instantiation> <list>slab[0] slab[1] slab[2] slab[3] slab[4] slab[5] slab[6] slab[7] slab[8] slab[9] slab[10] slab[11] slab[12] slab[13] slab[14] slab[15] slab[16] slab[17] slab[18] slab[19] slab[20] slab[21] slab[22] slab[23] slab[24] slab[25] slab[26] slab[27] slab[28] slab[29] slab[30] slab[31] slab[32] slab[33] slab[34] slab[35] slab[36] slab[37] slab[38] slab[39] slab[40] slab[41] slab[42] slab[43] slab[44] slab[45] slab[46] slab[47] slab[48] slab[49] slab[50] slab[51] slab[52] slab[53] slab[54] slab[55] slab[56] slab[57] slab[58] slab[59] slab[60] slab[61] slab[62] slab[63] slab[64] slab[65] slab[66] slab[67] slab[68] slab[69] slab[70] slab[71] slab[72] slab[73] slab[74] slab[75] slab[76] slab[77] slab[78] slab[79] slab[80] slab[81] slab[82] slab[83] slab[84] slab[85] slab[86] slab[87] slab[88] slab[89] slab[90] slab[91] slab[92] slab[93] slab[94] slab[95] slab[96] slab[97] slab[98] slab[99] slab[100] slab[101] slab[102] slab[103] slab[104] slab[105] slab[106] slab[107] slab[108] slab[109] slab[110] load[0] load[1] load[2] load[3] load[4] load[5] load[6] load[7] load[8] load[9] load[10] load[11] load[12] load[13] load[14] load[15] load[16] load[17] load[18] load[19] load[20] load[21] load[22] load[23] load[24] load[25] load[26] load[27] load[28] load[29] load[30] load[31] load[32] load[33] load[34] load[35] load[36] load[37] load[38] load[39] load[40] load[41] load[42] load[43] load[44] load[45] load[46] load[47] load[48] load[49] load[50] load[51] load[52] load[53] load[54] load[55] load[56] load[57] load[58] load[59] load[60] load[61] load[62] load[63] load[64] load[65] load[66] load[67] load[68] load[69] load[70] load[71] load[72] load[73] load[74] load[75] load[76] load[77] load[78] load[79] load[80] load[81] load[82] load[83] load[84] load[85] load[86] load[87] load[88] load[89] load[90] load[91] load[92] load[93] load[94] load[95] load[96] load[97] load[98] load[99] load[100] load[101] load[102] load[103] load[104] load[105] load[106] load[107] load[108] load[109] load[110] loss[0] loss[1] loss[2] loss[3] loss[4] loss[5] loss[6] loss[7] loss[8] loss[9] loss[10] loss[11] loss[12] loss[13] loss[14] loss[15] loss[16] loss[17] loss[18] loss[19] loss[20] loss[21] loss[22] loss[23] loss[24] loss[25] loss[26] loss[27] loss[28] loss[29] loss[30] loss[31] loss[32] loss[33] loss[34] loss[35] loss[36] loss[37] loss[38] loss[39] loss[40] loss[41] loss[42] loss[43] loss[44] loss[45] loss[46] loss[47] loss[48] loss[49] loss[50] loss[51] loss[52] loss[53] loss[54] loss[55] loss[56] loss[57] loss[58] loss[59] loss[60] loss[61] loss[62] loss[63] loss[64] loss[65] loss[66] loss[67] loss[68] loss[69] loss[70] loss[71] loss[72] loss[73] loss[74] loss[75] loss[76] loss[77] loss[78] loss[79] loss[80] loss[81] loss[82] loss[83] loss[84] loss[85] loss[86] loss[87] loss[88] loss[89] loss[90] loss[91] loss[92] loss[93] loss[94] loss[95] loss[96] loss[97] loss[98] loss[99] loss[100] loss[101] loss[102] loss[103] loss[104] loss[105] loss[106] loss[107] loss[108] loss[109] loss[110] </list> <values>0 1 1 2 3 4 2 5 2 6 4 4 2 7 8 2 5 2 8 9 7 0 0 7 4 3 4 30 5 31 32 8 52 31 24 30 24 22 10 63 12 60 16 15 6 53 45 25 54 33 55 56 46 21 64 47 48 35 57 13 49 58 46 61 14 65 17 23 12 15 32 50 62 18 14 13 23 22 51 34 51 11 12 20 21 16 20 11 11 19 18 19 59 26 27 28 29 9 17 34 36 37 38 39 40 41 42 43 44 10 25 32 31 31 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 29 27 27 27 27 27 27 27 27 27 27 27 27 27 27 26 26 26 26 26 26 25 22 22 22 22 22 22 22 21 19 19 19 16 16 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 2 5 5 5 5 5 5 5 6 8 8 8 11 11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> </instantiation>