Name | Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-01-opt_c18.xml |
MD5SUM | ca38267c950192fd3d26d9a78c88ff19 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 2519.92 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 1134 |
Number of domains | 7 |
Minimum domain size | 6 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":6,"count":18},{"size":22,"count":28},{"size":24,"count":16},{"size":36,"count":24},{"size":42,"count":34},{"size":44,"count":80}] |
Minimum variable degree | 2 |
Maximum variable degree | 23 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":1},{"degree":4,"count":4},{"degree":5,"count":11},{"degree":6,"count":22},{"degree":7,"count":22},{"degree":8,"count":19},{"degree":9,"count":21},{"degree":10,"count":12},{"degree":11,"count":11},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1},{"degree":18,"count":8},{"degree":19,"count":13},{"degree":20,"count":16},{"degree":21,"count":18},{"degree":22,"count":14},{"degree":23,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":1134}] |
Number of extensional constraints | 1134 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":1134}] |
Optimization problem | YES |
Type of objective | min NVALUES |
Solver Name | TraceID | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|---|
cosoco 1.12 (complete) | 4298189 | SAT (TO) | 20 | 2519.92 | 2520.01 |
MiniCPFever 2018-04-29 (complete) | 4298191 | ? (NS) | 2.54795 | 0.900338 | |
Solver of Xavier Schul & Yvhan Smal 2018-04-28 (incomplete) | 4298193 | ? (NS) | 2.71097 | 0.929101 | |
SuperSolver_Macq_Stevenart 2018-04-27 (incomplete) | 4298194 | ? (NS) | 2.89411 | 0.980096 | |
slowpoke 2018-04-29 (incomplete) | 4298192 | ? (NS) | 2.91483 | 0.991744 | |
The dodo solver 2018-04-29 (complete) | 4298195 | ? (NS) | 2.92315 | 0.992995 | |
GG's minicp 2018-04-29 (complete) | 4298190 | ? (NS) | 3.18093 | 1.08652 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 20<instantiation type='solution' cost='20'> <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[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] 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>58 324 86 394 156 296 58 282 44 44 282 282 142 380 86 324 282 44 44 282 380 142 44 142 380 142 380 296 58 352 114 44 282 86 324 86 428 666 142 380 86 324 142 380 324 58 296 58 296 114 352 254 16 394 156 296 428 666 156 394 324 86 666 428 484 722 58 394 156 352 114 44 282 352 114 254 16 254 380 142 16 254 324 86 16 254 142 380 16 114 352 324 86 58 296 44 282 282 44 254 156 394 380 142 114 352 394 156 114 352 16 296 86 324 240 478 296 58 484 722 254 16 254 44 282 86 324 394 156 44 282 254 16 16 352 114 114 352 254 16 114 352 86 324 666 254 16 86 324 58 296 254 16 484 722 428 296 58 16 254 58 296 428 666 58 296 142 352 114 142 380 428 666 722 484 324 86 380 16 254 44 282 58 296 254 16 142 380 380 282 44 282 44 86 324 142 380 296 58 142 </values> </instantiation>