Name | Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-46-04.xml |
MD5SUM | 2bf32ca1cbb3a17ab70e7ee7c2cd4ace |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 180 |
Best CPU time to get the best result obtained on this benchmark | 251.87601 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 122 |
Number of constraints | 261 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 650 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":650,"count":121}] |
Minimum variable degree | 3 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":3,"count":2},{"degree":4,"count":3},{"degree":5,"count":29},{"degree":6,"count":41},{"degree":7,"count":32},{"degree":8,"count":12},{"degree":9,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 71 |
Distribution of constraint arities | [{"arity":2,"count":257},{"arity":51,"count":1},{"arity":54,"count":1},{"arity":65,"count":1},{"arity":71,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 257 |
Distribution of constraint types | [{"type":"intension","count":257},{"type":"cumulative","count":4}] |
Optimization problem | YES |
Type of objective | min VAR |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 180<instantiation type="solution"> <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] s[100] s[101] s[102] s[103] s[104] s[105] s[106] s[107] s[108] s[109] s[110] s[111] s[112] s[113] s[114] s[115] s[116] s[117] s[118] s[119] s[120] s[121] </list> <values> 0 0 0 0 16 7 23 9 39 48 64 24 61 9 76 32 69 78 90 6 8 36 18 66 36 58 27 74 13 134 51 86 34 92 78 47 43 64 46 86 90 39 46 56 56 65 90 42 110 6 22 93 116 93 110 66 134 102 63 119 28 124 110 56 102 110 77 122 28 56 87 167 126 145 74 129 90 163 104 119 153 146 82 120 146 69 120 97 115 154 87 145 120 117 130 130 155 123 123 165 144 143 156 170 157 126 147 148 134 163 155 164 161 169 167 167 164 172 167 179 175 180 </values> </instantiation>