| Name | Rlfap/Rlfap-opt/ Rlfap-graph-02-opt_c18.xml |
| MD5SUM | f46e6f53d96372a3a8925b0c81d3424e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 14 |
| Best CPU time to get the best result obtained on this benchmark | 2520.07 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 400 |
| Number of constraints | 2245 |
| Number of domains | 5 |
| Minimum domain size | 6 |
| Maximum domain size | 44 |
| Distribution of domain sizes | [{"size":6,"count":56},{"size":22,"count":4},{"size":36,"count":66},{"size":42,"count":116},{"size":44,"count":158}] |
| Minimum variable degree | 4 |
| Maximum variable degree | 32 |
| Distribution of variable degrees | [{"degree":4,"count":2},{"degree":6,"count":12},{"degree":7,"count":21},{"degree":8,"count":38},{"degree":9,"count":42},{"degree":10,"count":44},{"degree":11,"count":45},{"degree":12,"count":27},{"degree":13,"count":16},{"degree":14,"count":27},{"degree":15,"count":21},{"degree":16,"count":44},{"degree":17,"count":30},{"degree":18,"count":17},{"degree":19,"count":7},{"degree":20,"count":2},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":32,"count":2}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":2245}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 2245 |
| Distribution of constraint types | [{"type":"intension","count":2245}] |
| 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: 14<instantiation type='solution' cost='14'> <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>694 324 86 142 380 142 380 30 268 296 58 268 268 30 324 86 58 296 694 456 142 380 30 324 86 380 142 30 268 268 30 380 142 484 296 58 324 86 380 142 380 142 142 380 722 268 30 86 324 296 58 142 380 484 722 652 268 30 296 58 142 380 652 414 58 296 414 414 652 380 142 414 652 484 722 58 296 58 324 86 380 142 296 58 58 296 142 380 296 86 324 324 86 268 30 414 652 380 142 414 324 86 694 456 324 86 30 268 30 268 652 456 722 484 268 30 30 268 268 30 142 380 296 86 324 380 142 456 694 652 414 296 58 58 30 268 652 414 142 380 380 142 30 268 30 30 268 86 324 142 380 324 86 30 268 268 722 484 30 268 296 58 380 142 324 86 142 30 268 694 456 380 142 694 456 142 380 380 268 30 380 142 380 142 86 324 86 324 86 414 652 58 296 58 296 30 268 268 30 324 268 30 268 30 142 380 86 324 324 86 694 380 142 142 380 324 86 142 380 142 380 456 414 30 268 694 456 296 58 380 142 142 380 414 142 380 142 380 414 652 380 142 58 296 652 324 86 296 58 268 30 414 652 58 296 142 484 722 414 652 456 694 30 268 142 380 380 296 58 58 296 324 86 30 268 380 142 652 142 380 296 58 484 722 58 296 324 86 414 694 456 296 58 484 722 652 414 484 722 380 652 414 380 142 268 30 324 86 380 142 142 30 268 30 268 30 268 30 268 268 30 58 380 142 324 86 268 30 722 484 268 30 296 652 86 324 268 30 86 324 414 652 86 324 652 86 324 142 380 296 58 58 296 324 86 414 268 30 58 296 30 268 268 30 694 456 324 380 142 86 324 86 324 414 652 380 142 86 296 58 652 414 324 86 58 296 694 456 324 268 30 456 694 86 324 324 86 324 86 86 </values> </instantiation>