Name | Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-09-opt_c18.xml |
MD5SUM | bd1798e7d7609d757850ce39a0b70327 |
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.04 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 916 |
Number of constraints | 5246 |
Number of domains | 7 |
Minimum domain size | 6 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":2},{"size":36,"count":408},{"size":42,"count":306},{"size":44,"count":188}] |
Minimum variable degree | 2 |
Maximum variable degree | 38 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":10},{"degree":4,"count":22},{"degree":5,"count":38},{"degree":6,"count":81},{"degree":7,"count":93},{"degree":8,"count":105},{"degree":9,"count":86},{"degree":10,"count":68},{"degree":11,"count":42},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":4},{"degree":15,"count":2},{"degree":16,"count":10},{"degree":17,"count":3},{"degree":18,"count":32},{"degree":19,"count":53},{"degree":20,"count":77},{"degree":21,"count":81},{"degree":22,"count":42},{"degree":23,"count":14},{"degree":24,"count":9},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":38,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":5246}] |
Number of extensional constraints | 5246 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":5246}] |
Optimization problem | YES |
Type of objective | min NVALUES |
Solver Name | TraceID | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|---|
cosoco 1.12 (complete) | 4298217 | SAT (TO) | 18 | 2520.04 | 2520.01 |
MiniCPFever 2018-04-29 (complete) | 4298219 | ? (NS) | 5.29765 | 1.8807 | |
GG's minicp 2018-04-29 (complete) | 4298218 | ? (NS) | 7.29667 | 3.43845 | |
SuperSolver_Macq_Stevenart 2018-04-27 (incomplete) | 4298222 | ? (NS) | 9.33585 | 3.13524 | |
Solver of Xavier Schul & Yvhan Smal 2018-04-28 (incomplete) | 4298221 | ? (NS) | 9.75568 | 3.28698 | |
The dodo solver 2018-04-29 (complete) | 4298223 | ? (NS) | 9.76956 | 3.33758 | |
slowpoke 2018-04-29 (incomplete) | 4298220 | ? (NS) | 27.9274 | 7.98882 |
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 type='solution' cost='18'> <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[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[40] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[41] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[42] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[43] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[44] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[45] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[46] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[47] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[48] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[49] x[4] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[50] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[51] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[52] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[53] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[54] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[55] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[56] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[57] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[58] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[59] x[5] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[60] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[61] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[62] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[63] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[64] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[65] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[66] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[67] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[68] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[69] x[6] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[70] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[71] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[72] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[73] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[74] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[75] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[76] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[77] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[78] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[79] x[7] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[80] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[81] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[82] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[83] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[84] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[85] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[86] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[87] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[88] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[89] x[8] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[90] x[910] x[911] x[912] x[913] x[914] x[915] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[9] </list> <values>114 324 86 44 282 324 86 114 352 16 254 114 324 86 114 352 254 16 652 414 324 86 352 44 282 324 86 282 44 352 114 114 352 44 44 282 282 44 86 324 44 282 44 282 282 414 652 380 142 86 324 324 86 254 16 470 352 114 16 254 86 324 142 380 352 114 708 442 680 142 380 254 16 16 254 282 44 778 86 324 352 114 86 324 442 680 16 254 540 254 16 86 324 254 16 380 142 282 44 282 44 282 380 142 324 86 16 254 414 652 44 352 324 86 86 324 380 142 16 254 324 86 142 282 44 86 324 380 142 114 352 282 44 380 324 86 282 44 324 86 44 282 380 142 16 86 324 44 282 282 44 16 254 324 86 254 86 324 282 44 282 44 282 44 442 680 708 44 282 114 352 380 142 324 86 352 114 470 324 86 86 324 142 380 414 652 324 86 16 44 282 142 380 380 142 652 414 254 16 254 142 380 254 16 282 44 254 16 254 16 254 324 86 324 86 282 44 324 86 114 352 16 16 470 708 282 44 680 442 254 16 324 86 114 680 442 282 44 380 142 414 652 324 86 352 142 380 324 86 540 778 16 254 324 86 254 652 414 16 254 44 282 652 414 282 44 16 254 16 16 254 778 540 442 680 44 282 114 282 44 114 352 16 254 380 142 142 380 352 86 324 16 254 44 282 142 380 380 142 708 352 114 44 282 324 86 114 352 324 86 470 254 16 86 324 16 254 708 470 778 540 282 540 778 44 282 282 44 352 114 142 380 44 254 324 86 414 652 352 114 142 380 282 44 16 652 414 254 16 114 352 16 254 352 114 254 778 540 16 254 282 44 352 114 44 282 142 44 282 44 282 282 44 380 142 380 142 380 380 142 282 44 44 282 380 142 114 352 680 16 254 114 352 44 282 414 652 324 86 442 282 44 86 324 142 380 352 114 324 86 16 352 114 86 324 114 352 44 282 44 282 254 324 86 44 282 352 114 44 282 352 114 44 470 708 352 114 680 442 16 254 708 470 282 254 470 708 44 282 470 708 652 414 324 86 142 778 540 414 652 16 254 114 352 380 142 380 380 142 414 652 352 114 352 114 254 16 352 44 282 708 470 352 114 114 352 114 352 114 114 352 142 380 652 414 142 380 44 282 86 114 352 114 352 86 324 778 540 16 254 324 282 44 442 680 44 282 708 470 44 282 142 414 652 44 282 778 540 324 86 114 352 380 16 254 414 652 86 324 16 254 142 380 380 44 282 114 352 380 142 442 680 254 16 142 16 114 352 44 282 652 414 540 778 414 652 254 282 44 442 680 142 380 44 282 142 380 16 142 380 86 324 86 324 114 352 324 86 254 44 282 282 44 44 282 86 324 352 114 16 708 470 282 44 282 44 442 680 324 86 114 44 282 86 324 254 16 380 142 16 254 352 44 282 708 470 652 414 708 470 352 114 380 142 380 114 352 380 142 114 352 324 86 142 44 282 470 708 652 414 324 86 778 540 16 282 44 352 114 540 778 16 254 86 324 254 86 142 380 778 540 86 324 414 652 680 442 44 142 380 324 86 414 652 142 380 44 282 282 708 470 282 44 380 142 142 380 540 778 44 282 44 114 352 324 86 708 470 352 114 282 114 352 352 114 470 708 142 380 86 324 352 652 414 324 86 380 142 282 44 142 380 114 352 114 44 282 86 324 778 540 142 380 254 142 380 652 414 44 282 680 442 352 114 16 44 282 282 44 86 324 324 86 114 352 142 680 442 282 44 680 442 114 352 652 414 380 324 352 114 442 680 352 114 282 44 114 352 114 680 442 380 142 442 680 44 282 282 44 352 540 778 86 324 44 282 282 44 44 282 16 86 324 352 114 324 86 86 324 380 142 254 114 352 282 44 142 380 380 142 540 778 380 44 282 282 44 352 114 86 324 442 680 142 442 680 778 540 324 86 414 652 86 324 254 282 44 86 324 324 86 86 324 352 114 16 86 324 114 352 86 324 86 324 44 282 114 282 44 44 282 44 282 282 44 142 380 352 254 652 414 44 282 282 44 282 44 44 282 86 282 44 142 380 414 652 324 442 680 352 114 142 380 324 86 16 </values> </instantiation>