| Name | Rlfap/Rlfap-opt/ Rlfap-graph-09-opt_c18.xml |
| MD5SUM | 2788969af340f57bdb68eae00f77e52f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 22 |
| Best CPU time to get the best result obtained on this benchmark | 252.029 |
| 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 | 0 |
| Number of intensional constraints | 5246 |
| Distribution of constraint types | [{"type":"intension","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) | 4301518 | SAT (TO) | 22 | 252.029 | 252.011 |
| Concrete 3.9.2 (complete) | 4302550 | SAT (TO) | 44 | 252.128 | 228.973 |
| OscaR - Hybrid 2018-08-14 (complete) | 4310526 | SAT (TO) | 46 | 252.042 | 247.317 |
| OscaR - Conflict Ordering with restarts 2018-08-14 (complete) | 4310176 | ? | 251.893 | 247.51 | |
| Mistral-2.0 2018-08-01 (complete) | 4312538 | ? (TO) | 251.884 | 252.012 | |
| Choco-solver 4.0.7b seq (e747e1e) (complete) | 4301516 | ? (TO) | 252.115 | 243.72 | |
| OscaR - Conflict Ordering with restarts 2018-08-17 (complete) | 4312386 | ? (TO) | 252.12 | 246.716 | |
| Concrete 3.9.2-SuperNG (complete) | 4302900 | ? (TO) | 252.129 | 227.653 | |
| Sat4j-CSP 2018-07-11 (complete) | 4301517 | ? (TO) | 260.321 | 88.4464 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 22<instantiation type='solution' cost='22'> <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>338 338 100 268 30 380 142 338 100 254 16 100 296 58 338 100 310 72 16 254 58 296 338 310 72 142 380 142 380 142 380 296 58 254 100 338 100 338 296 58 380 142 30 268 16 652 414 100 338 30 268 296 58 296 58 414 338 100 142 380 44 282 142 380 30 268 652 296 58 72 310 652 414 296 58 380 142 142 268 30 142 380 30 268 142 380 254 16 380 58 296 282 44 16 254 58 296 282 44 310 498 736 310 72 58 296 310 72 338 100 72 100 142 380 380 142 268 30 652 414 338 100 100 380 142 736 498 380 142 282 44 30 268 338 268 30 142 380 44 282 282 44 268 30 254 282 44 30 268 296 58 16 254 310 72 16 310 72 380 142 414 652 100 338 694 456 456 380 142 268 30 380 142 254 16 30 268 694 30 268 44 282 30 268 16 254 282 44 310 310 72 694 456 30 268 100 338 310 72 72 414 652 142 380 100 338 100 338 414 652 16 268 30 58 296 380 142 58 296 268 30 254 296 414 652 268 30 44 282 16 254 268 30 100 296 58 268 30 380 142 652 414 58 296 338 310 72 254 16 428 666 694 456 282 44 652 282 44 16 254 30 268 142 380 100 338 414 72 310 456 694 498 736 666 428 338 100 380 428 666 142 380 58 296 142 380 268 30 142 338 100 652 414 44 282 72 310 142 380 310 268 30 338 100 456 694 30 268 666 428 72 16 254 16 254 310 72 694 456 16 254 268 498 736 142 380 30 268 380 142 310 72 30 58 282 44 498 736 100 338 380 142 380 142 282 380 142 310 72 100 338 310 72 380 142 44 296 58 16 254 30 268 58 296 142 380 16 380 142 44 282 100 338 72 310 338 100 254 310 72 100 338 100 338 30 268 338 100 30 338 100 380 142 100 338 142 380 268 30 268 72 310 268 30 30 268 142 380 44 282 16 268 30 72 310 142 380 100 338 268 30 254 268 30 30 268 456 694 338 100 100 338 310 652 414 296 58 694 456 16 254 58 296 72 414 736 498 338 100 310 72 142 380 268 30 268 282 44 310 72 338 100 30 268 72 310 30 30 268 456 694 282 44 72 310 16 254 338 30 268 310 72 30 268 338 100 498 736 100 100 338 142 380 296 58 44 282 694 456 58 100 338 380 142 338 100 456 694 652 414 296 380 142 30 268 100 338 666 428 72 310 100 100 338 268 30 254 16 142 380 282 44 338 254 16 498 736 30 268 16 254 380 142 296 282 44 498 736 142 380 666 428 456 694 58 652 338 100 694 456 16 254 142 380 44 282 58 100 338 498 736 498 736 380 142 72 310 296 652 414 310 72 58 296 338 100 380 142 254 30 268 30 268 30 268 310 72 58 296 16 456 694 380 142 338 100 100 338 268 30 30 100 338 282 44 456 694 338 100 142 380 268 338 100 652 414 652 414 268 30 338 100 380 30 268 72 310 268 30 58 296 296 58 142 100 338 666 428 666 428 30 268 380 142 16 380 142 100 338 652 414 100 338 30 268 254 100 142 380 142 380 296 58 254 16 44 282 30 380 142 44 282 296 58 268 30 338 100 268 16 254 380 142 338 100 338 100 652 414 666 142 380 268 30 30 268 282 44 72 310 428 30 268 666 428 338 100 296 58 100 338 268 736 498 72 310 296 58 268 30 456 694 30 282 44 268 30 694 456 44 282 428 666 58 666 428 338 100 268 30 58 296 30 268 296 142 380 268 30 268 30 338 100 694 456 380 338 100 30 268 666 428 100 338 498 736 142 338 58 296 72 310 44 282 310 72 72 310 142 58 296 380 142 268 30 44 282 268 30 380 428 666 338 100 142 380 380 142 44 282 16 30 268 44 282 100 338 666 428 142 380 254 666 428 100 338 142 380 498 736 142 380 268 142 380 268 30 380 142 268 30 282 44 30 44 282 268 30 380 142 338 100 414 652 58 296 58 44 282 58 296 310 72 498 736 296 268 30 296 58 44 282 268 30 142 380 652 30 268 268 30 268 30 380 142 142 380 414 100 296 58 30 268 30 268 58 296 30 268 142 282 44 100 338 498 736 380 268 30 338 100 100 338 268 30 338 </values> </instantiation>