Name | Rlfap/Rlfap-opt/ Rlfap-graph-14-opt_c18.xml |
MD5SUM | 06e1d56807384f8426568c6f8eb09a57 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 2520.09 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 916 |
Number of constraints | 4638 |
Number of domains | 6 |
Minimum domain size | 22 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":22,"count":4},{"size":24,"count":2},{"size":36,"count":426},{"size":42,"count":26},{"size":44,"count":458}] |
Minimum variable degree | 6 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":6,"count":2},{"degree":8,"count":62},{"degree":9,"count":41},{"degree":10,"count":352},{"degree":11,"count":180},{"degree":12,"count":118},{"degree":13,"count":63},{"degree":14,"count":34},{"degree":15,"count":20},{"degree":16,"count":22},{"degree":17,"count":6},{"degree":19,"count":4},{"degree":21,"count":6},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":27,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":4638}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 4638 |
Distribution of constraint types | [{"type":"intension","count":4638}] |
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: 10<instantiation cost="10"> <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] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] </list> <values> 352 114 156 394 792 554 114 352 156 394 114 352 394 156 156 394 114 352 394 156 114 352 268 30 296 58 30 268 554 792 792 554 554 792 394 156 394 156 296 58 114 352 352 114 156 394 58 296 792 554 114 352 554 792 394 156 792 554 58 296 30 268 792 554 352 114 58 296 30 268 114 352 156 394 156 394 156 394 352 114 792 554 30 268 156 394 296 58 114 352 58 296 394 156 792 554 114 352 58 296 156 394 394 156 394 156 156 394 554 792 554 792 268 30 394 156 394 156 394 156 30 268 394 156 268 30 30 268 792 554 554 792 394 156 554 792 296 58 394 156 268 30 156 394 394 156 554 792 114 352 352 114 352 114 792 554 268 30 394 156 268 30 296 58 156 394 394 156 792 554 352 114 554 792 114 352 114 352 394 156 296 58 156 394 156 394 296 58 352 114 352 114 268 30 30 268 394 156 352 114 352 114 352 114 554 792 394 156 296 58 792 554 58 296 114 352 554 792 554 792 554 792 30 268 296 58 554 792 30 268 792 554 30 268 156 394 30 268 156 394 58 296 792 554 394 156 296 58 114 352 352 114 394 156 554 792 58 296 114 352 58 296 352 114 352 114 30 268 30 268 352 114 554 792 30 268 554 792 114 352 394 156 394 156 268 30 156 394 352 114 156 394 296 58 30 268 792 554 268 30 58 296 114 352 114 352 156 394 156 394 114 352 792 554 114 352 352 114 58 296 268 30 352 114 296 58 114 352 296 58 268 30 792 554 296 58 58 296 296 58 30 268 554 792 554 792 792 554 58 296 394 156 114 352 268 30 352 114 394 156 30 268 792 554 352 114 792 554 792 554 156 394 554 792 114 352 30 268 156 394 156 394 268 30 296 58 58 296 268 30 394 156 30 268 554 792 554 792 156 394 352 114 114 352 296 58 156 394 352 114 296 58 792 554 268 30 792 554 114 352 114 352 394 156 394 156 114 352 58 296 114 352 114 352 156 394 114 352 554 792 30 268 58 296 268 30 352 114 352 114 114 352 394 156 114 352 296 58 792 554 114 352 58 296 394 156 296 58 30 268 352 114 268 30 58 296 352 114 268 30 554 792 114 352 296 58 394 156 296 58 352 114 114 352 268 30 268 30 296 58 156 394 58 296 352 114 352 114 58 296 554 792 394 156 296 58 114 352 114 352 554 792 30 268 352 114 554 792 792 554 394 156 296 58 156 394 58 296 58 296 268 30 30 268 30 268 30 268 58 296 296 58 352 114 554 792 114 352 792 554 114 352 114 352 296 58 296 58 114 352 58 296 114 352 792 554 114 352 394 156 268 30 30 268 394 156 296 58 156 394 352 114 296 58 58 296 394 156 30 268 296 58 792 554 554 792 554 792 352 114 296 58 268 30 296 58 296 58 30 268 268 30 554 792 792 554 268 30 114 352 156 394 114 352 114 352 268 30 268 30 554 792 156 394 394 156 554 792 114 352 394 156 114 352 114 352 268 30 352 114 58 296 156 394 58 296 352 114 394 156 58 296 58 296 268 30 554 792 296 58 296 58 268 30 792 554 58 296 352 114 30 268 296 58 268 30 352 114 394 156 352 114 30 268 30 268 352 114 58 296 30 268 268 30 58 296 268 30 114 352 114 352 296 58 792 554 792 554 156 394 554 792 554 792 30 268 268 30 114 352 268 30 58 296 114 352 58 296 268 30 352 114 156 394 58 296 156 394 114 352 296 58 268 30 554 792 30 268 792 554 268 30 296 58 156 394 352 114 268 30 296 58 58 296 296 58 268 30 792 554 296 58 394 156 30 268 268 30 352 114 58 296 268 30 268 30 296 58 30 268 296 58 30 268 352 114 296 58 268 30 58 296 792 554 268 30 296 58 58 296 30 268 268 30 58 296 268 30 114 352 30 268 30 268 296 58 156 394 268 30 58 296 58 296 296 58 792 554 296 58 58 296 58 296 352 114 792 554 268 30 792 554 792 554 268 30 268 30 268 30 30 268 30 268 58 296 268 30 58 296 114 352 268 30 296 58 114 352 296 58 268 30 296 58 352 114 30 268 114 352 268 30 554 792 58 296 </values> </instantiation>