Name | Rlfap/Rlfap-opt/ Rlfap-scen-05-opt_c18.xml |
MD5SUM | d1449c913cc5aeed08f9a5dcd27a0601 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 792 |
Best CPU time to get the best result obtained on this benchmark | 14.6745 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 2598 |
Number of domains | 4 |
Minimum domain size | 6 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":22,"count":10},{"size":36,"count":192},{"size":44,"count":196}] |
Minimum variable degree | 2 |
Maximum variable degree | 60 |
Distribution of variable degrees | [{"degree":2,"count":4},{"degree":3,"count":2},{"degree":4,"count":16},{"degree":5,"count":10},{"degree":6,"count":37},{"degree":7,"count":16},{"degree":8,"count":41},{"degree":9,"count":14},{"degree":10,"count":40},{"degree":11,"count":20},{"degree":12,"count":14},{"degree":13,"count":13},{"degree":14,"count":21},{"degree":15,"count":8},{"degree":16,"count":16},{"degree":17,"count":12},{"degree":18,"count":18},{"degree":19,"count":9},{"degree":20,"count":14},{"degree":21,"count":13},{"degree":22,"count":6},{"degree":23,"count":10},{"degree":24,"count":4},{"degree":25,"count":11},{"degree":26,"count":4},{"degree":27,"count":2},{"degree":28,"count":2},{"degree":29,"count":3},{"degree":30,"count":2},{"degree":31,"count":3},{"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":53,"count":1},{"degree":60,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":2598}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 2598 |
Distribution of constraint types | [{"type":"intension","count":2598}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
Solver Name | TraceID | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) (complete) | 4297871 | OPT | 792 | 14.6745 | 3.18506 |
OscaR - Parallel with EPS 2018-07-02 (complete) | 4291870 | OPT | 792 | 159.654 | 25.2944 |
OscaR - Parallel with EPS 2018-08-14 (complete) | 4309227 | OPT | 792 | 339.356 | 51.063 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 792<instantiation> <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] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] </list> <values>156 394 156 394 16 254 30 268 414 652 254 16 128 366 414 652 792 554 554 792 16 254 708 470 666 428 442 680 72 310 414 652 128 366 736 498 44 282 268 30 442 680 736 498 254 16 310 72 736 498 792 554 310 72 764 526 310 72 428 666 30 268 484 722 16 254 16 254 254 16 254 16 16 254 484 722 296 58 296 58 16 254 16 254 296 58 366 128 128 366 16 254 254 16 736 498 156 394 142 380 792 554 254 16 156 394 324 86 540 778 498 736 380 142 16 254 282 44 254 16 156 394 414 652 268 30 254 16 652 414 442 680 394 156 394 156 268 30 680 442 666 428 750 512 414 652 666 428 114 352 338 100 338 100 30 268 750 512 722 484 764 526 366 128 268 30 428 666 694 456 736 498 394 156 16 254 764 526 666 428 338 100 324 86 680 442 268 30 666 428 666 428 428 666 128 366 72 310 414 652 652 414 792 554 254 16 428 666 512 750 352 114 114 352 708 470 498 736 268 30 512 750 456 694 30 268 44 282 540 778 652 414 16 254 764 526 366 128 652 414 254 16 512 750 268 30 428 666 296 58 680 442 268 30 428 666 268 30 324 86 310 72 86 324 750 512 540 778 526 764 666 428 30 268 282 44 428 666 114 352 666 428 86 324 114 352 114 352 44 282 16 254 666 428 680 442 414 652 394 156 778 540 296 58 254 16 296 58 694 456 128 366 254 16 540 778 442 680 694 456 414 652 310 72 30 268 484 722 526 764 30 268 694 456 114 352 428 666 498 736 16 254 324 86 268 30 100 338 428 666 30 268 694 456 484 722 268 30 666 428 268 30 498 736 428 666 268 30 750 512 30 268 484 722 30 268 484 722 428 666 268 30 428 666 282 44 268 30 694 456 764 526 268 30 114 352 268 30 44 282 </values> </instantiation>