| Name | Rlfap/Rlfap-opt/ Rlfap-graph-01-opt_c18.xml |
| MD5SUM | 19ea5b9da6c92ab0a6dd9deb2e409c18 |
| 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 | 252.141 |
| 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 | 0 |
| Number of intensional constraints | 1134 |
| Distribution of constraint types | [{"type":"intension","count":1134}] |
| Optimization problem | YES |
| Type of objective | min NVALUES |
| Solver Name | TraceID | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|---|
| Concrete 3.9.2 (complete) | 4302547 | SAT (TO) | 18 | 252.141 | 234.052 |
| cosoco 1.12 (complete) | 4301500 | SAT (TO) | 20 | 251.997 | 252.01 |
| Choco-solver 4.0.7b seq (e747e1e) (complete) | 4301498 | SAT (TO) | 20 | 252.068 | 244.314 |
| Concrete 3.9.2-SuperNG (complete) | 4302897 | SAT (TO) | 20 | 252.137 | 230.873 |
| Mistral-2.0 2018-08-01 (complete) | 4312532 | SAT (TO) | 30 | 251.995 | 252.011 |
| OscaR - Hybrid 2018-08-14 (complete) | 4310523 | SAT (TO) | 44 | 252.046 | 246.625 |
| Sat4j-CSP 2018-07-11 (complete) | 4301499 | SAT (TO) | 44 | 252.204 | 206.847 |
| OscaR - Conflict Ordering with restarts 2018-08-14 (complete) | 4310173 | SAT | 48 | 250.731 | 247.788 |
| OscaR - Conflict Ordering with restarts 2018-08-17 (complete) | 4312383 | SAT | 48 | 251.405 | 247.373 |
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 cost="18"> <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] </list> <values> 554 792 554 792 254 16 142 380 380 142 666 428 324 86 526 764 380 142 380 142 526 764 142 380 792 554 16 254 254 16 380 142 792 554 254 16 324 86 380 142 114 352 764 526 380 142 254 16 526 764 380 142 554 792 554 792 764 526 526 764 16 254 16 254 324 86 114 352 16 254 792 554 240 478 114 352 352 114 16 254 16 254 380 142 792 554 142 380 666 428 428 666 792 554 526 764 240 478 554 792 254 16 792 554 30 268 30 268 16 254 86 324 30 268 254 16 16 254 380 142 478 240 142 380 16 254 764 526 268 30 666 428 428 666 478 240 30 268 792 554 526 764 86 324 666 428 86 324 324 86 666 428 114 352 764 526 380 142 554 792 30 268 764 526 352 114 86 324 380 142 380 142 554 792 268 30 254 16 526 764 86 324 268 30 554 792 666 428 526 764 16 254 240 478 324 86 554 792 268 30 </values> </instantiation>