Name | XCSP19/hcp/ graph48.xml |
MD5SUM | 4be1059ecfff617ee6b265be93ea8d71 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 1103.6 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 338 |
Number of constraints | 1 |
Number of domains | 338 |
Minimum domain size | 4 |
Maximum domain size | 14 |
Distribution of domain sizes | [{"size":4,"count":318},{"size":14,"count":20}] |
Minimum variable degree | 1 |
Maximum variable degree | 1 |
Distribution of variable degrees | [{"degree":1,"count":338}] |
Minimum constraint arity | 338 |
Maximum constraint arity | 338 |
Distribution of constraint arities | [{"arity":338,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"circuit","count":1}] |
Optimization problem | NO |
Type of objective |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function:<instantiation> <list> v17 v119 v222 v325 v67 v170 v273 v18 v120 v223 v326 v68 v171 v274 v19 v121 v224 v327 v69 v172 v275 v20 v122 v225 v328 v70 v173 v276 v21 v123 v226 v329 v71 v174 v277 v22 v124 v227 v330 v72 v175 v278 v23 v125 v228 v331 v73 v176 v279 v24 v126 v229 v332 v74 v177 v280 v25 v127 v230 v333 v75 v178 v281 v26 v128 v231 v334 v76 v179 v282 v27 v232 v335 v77 v180 v283 v28 v233 v336 v78 v181 v284 v129 v29 v234 v337 v79 v182 v285 v130 v30 v235 v80 v183 v286 v131 v236 v184 v81 v287 v132 v237 v31 v82 v185 v288 v133 v32 v238 v83 v186 v289 v134 v33 v239 v84 v187 v290 v135 v34 v240 v85 v188 v291 v136 v35 v241 v86 v189 v292 v137 v36 v242 v87 v190 v293 v138 v37 v243 v88 v191 v294 v139 v38 v244 v89 v192 v295 v140 v39 v245 v90 v193 v296 v141 v40 v246 v91 v194 v297 v142 v41 v247 v92 v195 v298 v143 v42 v248 v93 v196 v299 v144 v43 v249 v94 v197 v300 v145 v44 v250 v95 v198 v301 v146 v45 v251 v96 v199 v302 v147 v46 v252 v97 v200 v303 v148 v47 v253 v98 v201 v304 v149 v48 v254 v99 v202 v305 v150 v49 v255 v100 v203 v306 v151 v0 v50 v256 v101 v204 v307 v152 v1 v51 v257 v102 v205 v308 v153 v2 v52 v258 v103 v206 v309 v154 v3 v53 v104 v207 v310 v155 v4 v54 v105 v208 v311 v156 v259 v5 v55 v106 v209 v312 v157 v260 v6 v56 v210 v107 v313 v158 v261 v7 v57 v108 v211 v314 v159 v262 v8 v58 v109 v212 v315 v160 v263 v9 v59 v110 v213 v316 v161 v264 v10 v60 v111 v214 v317 v162 v265 v11 v61 v112 v215 v318 v163 v266 v12 v62 v113 v216 v319 v164 v267 v114 v217 v320 v165 v268 v13 v115 v218 v321 v63 v166 v269 v14 v116 v219 v322 v64 v167 v270 v15 v117 v220 v323 v65 v168 v271 v16 v118 v221 v324 v66 v169 v272 </list> <values> 203 307 178 174 4 130 136 27 90 268 193 256 303 196 294 267 297 288 129 270 52 5 15 86 106 229 230 266 93 156 102 160 98 133 127 70 105 322 11 332 337 236 161 151 336 96 191 146 299 212 293 334 17 69 331 165 75 228 49 114 285 128 173 59 186 83 225 13 37 222 289 135 210 260 317 329 43 34 227 276 46 192 164 45 188 274 123 31 312 296 211 87 131 117 213 82 187 134 149 247 33 104 143 201 172 280 283 12 180 249 220 199 112 39 309 335 252 250 242 320 269 157 38 232 207 281 170 272 50 19 316 125 150 184 197 204 195 234 80 1 305 223 216 53 85 326 97 271 314 324 295 244 94 115 304 56 264 302 74 278 162 42 241 202 64 243 120 95 113 20 310 231 72 159 116 3 89 10 265 233 181 194 248 245 273 311 182 315 51 163 190 78 2 121 152 81 142 44 308 292 54 55 321 284 258 226 109 77 9 0 8 124 40 333 330 61 251 286 126 224 323 79 57 14 137 279 73 145 306 63 35 208 88 183 301 217 108 219 138 158 167 91 32 255 29 261 99 16 168 140 291 48 328 318 100 240 287 67 18 76 218 262 153 111 300 169 21 66 60 239 25 215 175 41 214 282 221 246 147 23 313 47 200 275 185 209 139 166 119 141 238 148 319 101 6 24 30 122 237 154 84 103 327 62 290 7 155 253 118 28 171 254 144 263 257 92 198 65 277 22 36 176 235 71 205 177 110 259 325 179 26 107 298 132 189 68 206 58 </values> </instantiation>