| Name | Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-04-opt_c18.xml |
| MD5SUM | 8ddce3708400d921c379abaa17dc44a5 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 394 |
| Best CPU time to get the best result obtained on this benchmark | 0.659591 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 400 |
| Number of constraints | 2244 |
| Number of domains | 6 |
| Minimum domain size | 22 |
| Maximum domain size | 44 |
| Distribution of domain sizes | [{"size":22,"count":32},{"size":24,"count":14},{"size":36,"count":90},{"size":42,"count":152},{"size":44,"count":112}] |
| Minimum variable degree | 5 |
| Maximum variable degree | 21 |
| Distribution of variable degrees | [{"degree":5,"count":2},{"degree":6,"count":13},{"degree":7,"count":13},{"degree":8,"count":28},{"degree":9,"count":47},{"degree":10,"count":60},{"degree":11,"count":36},{"degree":12,"count":37},{"degree":13,"count":22},{"degree":14,"count":21},{"degree":15,"count":19},{"degree":16,"count":31},{"degree":17,"count":42},{"degree":18,"count":12},{"degree":19,"count":11},{"degree":20,"count":4},{"degree":21,"count":2}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":2244}] |
| Number of extensional constraints | 2244 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":2244}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
| Solver Name | TraceID | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|---|
| cosoco 1.12 (complete) | 4298161 | OPT | 394 | 0.659591 | 0.661422 |
| Solver of Xavier Schul & Yvhan Smal 2018-04-28 (incomplete) | 4298165 | OPT | 394 | 12.1516 | 8.32408 |
| slowpoke 2018-04-29 (incomplete) | 4298164 | SAT (TO) | 394 | 2520.04 | 2508.92 |
| The dodo solver 2018-04-29 (complete) | 4298167 | SAT (TO) | 394 | 2520.1 | 2477.93 |
| GG's minicp 2018-04-29 (complete) | 4298162 | SAT (TO) | 394 | 2520.1 | 2503.62 |
| SuperSolver_Macq_Stevenart 2018-04-27 (incomplete) | 4298166 | SAT | 736 | 308.709 | 302.524 |
| MiniCPFever 2018-04-29 (complete) | 4298163 | SAT (TO) | 792 | 2520.07 | 2457.41 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 394<instantiation type='solution' cost='394'> <list>x[0] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[10] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[11] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[12] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[13] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[14] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[15] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[16] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[17] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[18] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[19] x[1] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[20] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[21] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[22] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[23] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[24] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[25] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[26] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[27] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[28] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[29] x[2] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[30] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[31] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[32] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[33] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[34] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[35] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[36] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[37] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[38] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[6] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[7] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[8] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[9] </list> <values>58 16 254 16 254 86 324 156 394 128 366 156 156 394 114 352 142 380 16 254 86 324 394 100 338 128 366 156 394 16 254 44 282 128 58 296 30 268 100 338 100 338 156 394 366 156 394 72 310 30 268 16 254 44 282 114 58 296 16 254 156 394 156 394 86 324 352 128 366 16 254 58 296 44 282 156 394 16 156 394 128 366 100 338 16 254 100 338 254 58 296 16 254 86 324 30 268 16 254 156 128 366 128 366 58 296 30 268 142 380 394 296 100 338 30 268 58 296 86 324 72 310 16 142 380 114 352 114 352 114 352 156 394 254 58 296 114 352 128 366 128 366 44 282 72 30 268 100 338 128 366 44 282 86 324 310 16 254 58 296 114 352 72 310 44 282 142 156 394 58 296 156 394 86 324 114 352 380 16 254 30 268 100 338 156 394 156 394 72 58 296 86 324 156 394 86 324 16 254 310 156 394 100 338 58 296 156 394 72 310 128 156 394 142 380 16 254 114 352 30 268 366 30 114 352 86 324 72 310 142 380 44 282 58 58 296 128 366 128 366 16 254 16 254 296 86 324 156 394 86 324 156 394 100 338 142 30 268 142 380 142 380 58 296 100 338 380 128 366 128 366 16 254 30 268 156 394 128 30 268 58 296 30 268 16 254 72 310 366 44 282 86 324 72 310 72 310 16 254 16 30 268 30 268 44 282 128 366 72 310 254 44 282 72 310 142 380 100 338 30 268 100 16 254 156 394 156 394 16 254 30 268 338 268 114 352 44 282 142 380 44 282 86 324 114 58 296 114 352 142 380 16 254 72 310 352 128 366 128 366 30 268 58 296 142 380 44 114 352 44 282 156 394 156 394 58 296 282 114 352 16 254 58 296 30 268 16 254 156 16 254 114 352 156 394 142 380 142 380 394 </values> </instantiation>