Name | Rlfap/Rlfap-opt/ Rlfap-scen-03-opt_c18.xml |
MD5SUM | 631d96c8d55ed895f005166b86b2772f |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 16 |
Best CPU time to get the best result obtained on this benchmark | 251.992 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 2760 |
Number of domains | 4 |
Minimum domain size | 6 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":22,"count":8},{"size":36,"count":182},{"size":44,"count":208}] |
Minimum variable degree | 4 |
Maximum variable degree | 62 |
Distribution of variable degrees | [{"degree":4,"count":16},{"degree":5,"count":11},{"degree":6,"count":28},{"degree":7,"count":18},{"degree":8,"count":30},{"degree":9,"count":5},{"degree":10,"count":40},{"degree":11,"count":25},{"degree":12,"count":20},{"degree":13,"count":11},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":20},{"degree":17,"count":7},{"degree":18,"count":26},{"degree":19,"count":7},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":5},{"degree":26,"count":9},{"degree":27,"count":4},{"degree":28,"count":2},{"degree":29,"count":4},{"degree":30,"count":2},{"degree":31,"count":4},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":37,"count":1},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":55,"count":1},{"degree":62,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":2760}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 2760 |
Distribution of constraint types | [{"type":"intension","count":2760}] |
Optimization problem | YES |
Type of objective | min NVALUES |
Solver Name | TraceID | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|---|
cosoco 1.12 (complete) | 4301524 | SAT (TO) | 16 | 251.992 | 252.011 |
Choco-solver 4.0.7b seq (e747e1e) (complete) | 4301522 | SAT (TO) | 18 | 252.048 | 244.914 |
Concrete 3.9.2-SuperNG (complete) | 4302905 | SAT (TO) | 18 | 252.166 | 228.052 |
Concrete 3.9.2 (complete) | 4302555 | SAT (TO) | 20 | 252.068 | 230.343 |
Mistral-2.0 2018-08-01 (complete) | 4312540 | SAT (TO) | 34 | 251.958 | 252.01 |
OscaR - Conflict Ordering with restarts 2018-08-14 (complete) | 4310181 | SAT (TO) | 46 | 252.049 | 247.037 |
OscaR - Conflict Ordering with restarts 2018-08-17 (complete) | 4312391 | SAT (TO) | 46 | 252.105 | 247.118 |
OscaR - Hybrid 2018-08-14 (complete) | 4310531 | ? (TO) | 252.228 | 247.421 | |
Sat4j-CSP 2018-07-11 (complete) | 4301523 | ? (TO) | 260.06 | 87.8507 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 16<instantiation type='solution' cost='16'> <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>16 30 268 16 254 142 380 142 380 254 16 254 680 442 100 338 30 268 142 380 268 30 16 16 254 58 296 58 296 16 254 16 254 380 16 254 442 680 254 16 338 100 338 100 142 338 100 268 30 652 414 380 142 380 142 16 296 58 338 100 442 680 268 30 142 380 254 282 44 100 338 58 296 16 254 380 142 268 142 380 282 44 268 30 442 680 30 268 30 100 338 296 58 680 442 30 268 254 16 100 268 30 268 30 282 44 380 142 338 100 338 254 254 16 282 44 30 268 100 338 414 652 44 254 16 254 16 58 296 30 268 58 296 282 268 30 338 100 380 142 44 282 44 282 142 254 16 142 380 338 100 142 380 16 254 380 282 44 142 380 282 44 338 100 338 100 100 380 142 338 100 268 30 268 30 100 338 338 282 44 338 100 100 338 30 268 268 30 254 296 58 44 282 30 268 100 338 268 30 16 268 30 282 44 142 380 268 30 142 380 442 268 30 16 254 268 30 268 30 268 30 680 16 254 16 442 680 16 254 16 254 268 30 414 442 680 338 100 254 16 142 380 142 380 652 100 338 100 338 58 296 652 414 100 338 282 268 30 30 268 268 30 380 142 268 30 44 254 16 652 414 268 30 254 16 30 268 142 380 142 16 254 30 268 338 100 268 30 380 44 282 268 30 44 282 268 30 100 338 680 100 338 30 268 380 142 142 380 254 16 442 282 44 30 268 282 44 338 100 30 268 142 30 268 58 296 268 30 142 380 414 652 380 254 100 338 442 680 380 142 16 254 16 254 30 254 16 282 44 254 16 338 100 652 414 268 380 142 30 268 652 414 30 268 296 58 268 30 268 44 282 44 282 16 254 142 380 30 142 380 680 442 268 30 268 30 254 16 142 254 16 268 30 652 414 254 16 58 296 380 </values> </instantiation>