Name | Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml |
MD5SUM | f27483baa127f488650207f51eee544f |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 132 |
Best CPU time to get the best result obtained on this benchmark | 593.18201 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 92 |
Number of constraints | 198 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 474 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":474,"count":91}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":8},{"degree":5,"count":18},{"degree":6,"count":26},{"degree":7,"count":26},{"degree":8,"count":11},{"degree":9,"count":1},{"degree":10,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 53 |
Distribution of constraint arities | [{"arity":2,"count":194},{"arity":42,"count":1},{"arity":43,"count":2},{"arity":53,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 194 |
Distribution of constraint types | [{"type":"intension","count":194},{"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: 132<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] </list> <values> 0 2 1 0 5 8 14 5 9 32 22 37 3 31 42 5 44 41 34 45 12 41 46 42 39 15 56 48 45 70 64 49 52 58 22 10 29 62 82 60 66 55 89 66 102 68 50 68 70 54 74 81 59 68 60 78 79 82 66 85 73 88 89 57 96 65 95 78 79 74 107 46 101 105 114 86 80 88 103 121 105 123 108 109 86 89 116 125 125 116 126 132 </values> </instantiation>