Name | Rlfap/Rlfap-opt/ Rlfap-graph-01-opt_c18.xml |
MD5SUM | 19ea5b9da6c92ab0a6dd9deb2e409c18 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 18 |
Best CPU time to get the best result obtained on this benchmark | 2520.16 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 1134 |
Number of domains | 7 |
Minimum domain size | 6 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":6,"count":18},{"size":22,"count":28},{"size":24,"count":16},{"size":36,"count":24},{"size":42,"count":34},{"size":44,"count":80}] |
Minimum variable degree | 2 |
Maximum variable degree | 23 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":1},{"degree":4,"count":4},{"degree":5,"count":11},{"degree":6,"count":22},{"degree":7,"count":22},{"degree":8,"count":19},{"degree":9,"count":21},{"degree":10,"count":12},{"degree":11,"count":11},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1},{"degree":18,"count":8},{"degree":19,"count":13},{"degree":20,"count":16},{"degree":21,"count":18},{"degree":22,"count":14},{"degree":23,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":1134}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1134 |
Distribution of constraint types | [{"type":"intension","count":1134}] |
Optimization problem | YES |
Type of objective | min NVALUES |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 18<instantiation cost="18"> <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] </list> <values> 268 30 554 792 268 30 142 380 240 478 540 778 268 30 380 142 792 554 268 30 310 72 478 240 554 792 394 156 792 554 778 540 30 268 72 310 268 30 394 156 778 540 764 526 310 72 268 30 310 72 394 156 268 30 792 554 526 764 778 540 764 526 792 554 512 750 778 540 750 512 764 526 380 142 750 512 156 394 778 540 30 268 512 750 764 526 380 142 792 554 156 394 792 554 512 750 240 478 792 554 512 750 792 554 142 380 792 554 792 554 310 72 764 526 778 540 394 156 142 380 142 380 478 240 554 792 30 268 310 72 268 30 526 764 478 240 526 764 72 310 554 792 142 380 30 268 72 310 72 310 394 156 72 310 268 30 380 142 554 792 554 792 380 142 764 526 750 512 142 380 72 310 268 30 526 764 778 540 764 526 72 310 30 268 30 268 778 540 554 792 72 310 240 478 380 142 792 554 310 72 </values> </instantiation>