| Name | SuperSolutions/SuperSolutions-Taillard-js15/ SuperTaillard-js-15-13.xml |
| MD5SUM | 388994c608323cc5ca888624a3c66f06 |
| 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 | 110.493 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 450 |
| Number of constraints | 5580 |
| Number of domains | 89 |
| Minimum domain size | 1197 |
| Maximum domain size | 1295 |
| Distribution of domain sizes | [{"size":1197,"count":4},{"size":1199,"count":2},{"size":1200,"count":14},{"size":1201,"count":2},{"size":1202,"count":4},{"size":1203,"count":4},{"size":1204,"count":4},{"size":1206,"count":6},{"size":1207,"count":6},{"size":1208,"count":4},{"size":1209,"count":4},{"size":1210,"count":6},{"size":1211,"count":2},{"size":1212,"count":6},{"size":1213,"count":6},{"size":1214,"count":6},{"size":1215,"count":6},{"size":1216,"count":8},{"size":1217,"count":2},{"size":1218,"count":6},{"size":1219,"count":2},{"size":1220,"count":6},{"size":1221,"count":6},{"size":1222,"count":4},{"size":1223,"count":4},"...",{"size":1269,"count":8}, {"size":1270,"count":6}, {"size":1271,"count":4}, {"size":1272,"count":4}, {"size":1273,"count":6}, {"size":1274,"count":6}, {"size":1275,"count":4}, {"size":1277,"count":6}, {"size":1278,"count":6}, {"size":1279,"count":8}, {"size":1280,"count":4}, {"size":1281,"count":6}, {"size":1282,"count":6}, {"size":1283,"count":4}, {"size":1284,"count":10}, {"size":1285,"count":6}, {"size":1286,"count":6}, {"size":1287,"count":4}, {"size":1288,"count":2}, {"size":1289,"count":2}, {"size":1290,"count":2}, {"size":1291,"count":6}, {"size":1292,"count":4}, {"size":1293,"count":10}, {"size":1295,"count":2}] |
| Minimum variable degree | 16 |
| Maximum variable degree | 33 |
| Distribution of variable degrees | [{"degree":16,"count":30},{"degree":17,"count":195},{"degree":31,"count":30},{"degree":33,"count":195}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":5580}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 5580 |
| Distribution of constraint types | [{"type":"intension","count":5580}] |
| 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> x14 x426 x374 x116 x219 x322 x64 x167 x270 x15 x427 x375 x117 x220 x323 x65 x168 x271 x16 x428 x376 x118 x221 x324 x66 x169 x272 x17 x429 x377 x119 x222 x325 x67 x170 x273 x18 x430 x378 x120 x223 x326 x68 x171 x274 x19 x431 x379 x121 x224 x327 x69 x172 x275 x20 x432 x380 x122 x225 x328 x70 x173 x276 x21 x433 x381 x123 x226 x329 x71 x174 x277 x22 x434 x382 x124 x227 x330 x72 x175 x278 x23 x435 x383 x125 x228 x331 x73 x176 x279 x24 x436 x384 x126 x229 x332 x74 x177 x280 x25 x437 x385 x127 x230 x333 x75 x178 x281 x26 x438 x386 x128 x231 x334 x76 x179 x282 x27 x439 x387 x232 x335 x77 x180 x283 x28 x440 x388 x233 x336 x78 x181 x284 x129 x29 x441 x389 x234 x337 x79 x182 x285 x130 x30 x442 x390 x235 x338 x80 x183 x286 x131 x443 x391 x236 x339 x81 x184 x287 x132 x444 x392 x237 x31 x340 x185 x82 x288 x133 x445 x393 x238 x32 x341 x186 x83 x289 x134 x446 x394 x33 x239 x342 x84 x187 x290 x135 x447 x395 x34 x240 x343 x85 x188 x291 x136 x448 x396 x35 x241 x344 x86 x189 x292 x137 x449 x397 x36 x242 x345 x87 x190 x293 x138 x398 x37 x243 x346 x88 x191 x294 x139 x399 x38 x244 x347 x89 x192 x295 x140 x400 x39 x245 x348 x90 x193 x296 x141 x401 x40 x246 x349 x91 x194 x297 x142 x402 x41 x247 x350 x92 x195 x298 x143 x403 x42 x248 x351 x93 x196 x299 x144 x404 x43 x249 x352 x94 x197 x300 x145 x405 x44 x250 x353 x95 x198 x301 x146 x406 x45 x251 x354 x96 x199 x302 x147 x407 x46 x252 x355 x97 x200 x303 x148 x408 x47 x253 x356 x98 x201 x304 x149 x409 x48 x254 x357 x99 x202 x305 x150 x410 x49 x255 x358 x100 x203 x306 x151 x0 x411 x50 x256 x359 x101 x204 x307 x152 x1 x412 x51 x257 x360 x102 x205 x308 x153 x2 x413 x52 x258 x361 x103 x206 x309 x154 x3 x414 x53 x362 x104 x207 x310 x155 x4 x415 x54 x363 x105 x208 x311 x156 x259 x5 x416 x55 x364 x106 x209 x312 x157 x260 x6 x417 x56 x365 x107 x210 x313 x158 x261 x7 x418 x57 x366 x211 x108 x314 x159 x262 x8 x419 x58 x367 x109 x212 x315 x160 x263 x9 x420 x59 x368 x110 x213 x316 x161 x264 x10 x421 x60 x369 x111 x214 x317 x162 x265 x11 x422 x61 x370 x112 x215 x318 x163 x266 x12 x423 x62 x371 x113 x216 x319 x164 x267 x424 x372 x114 x217 x320 x165 x268 x13 x425 x373 x115 x218 x321 x63 x166 x269 </list> <values> 738 382 383 1026 447 928 175 716 0 737 383 382 1028 482 927 170 772 1 807 454 413 1044 481 999 303 773 28 811 453 412 1047 606 943 300 803 27 868 465 576 0 561 1086 385 804 32 867 468 578 1 768 1078 386 863 33 934 527 608 52 899 1182 481 866 68 935 534 606 40 1023 1188 488 1115 67 1103 619 672 105 1007 32 710 1116 148 1095 622 668 101 1075 33 706 1148 149 1189 707 736 119 1072 111 781 1147 198 1186 708 737 120 1101 110 783 1200 199 1194 768 828 176 1102 169 879 1201 252 1195 774 835 1122 170 880 126 244 1207 839 1031 1119 271 899 127 336 191 1206 838 1030 1187 270 898 176 337 352 315 934 0 1184 360 932 177 383 345 935 1 1192 383 933 255 382 425 1023 11 1197 322 425 270 977 528 426 1022 10 1268 415 424 307 976 529 457 1124 98 407 1267 512 1048 299 601 460 1123 97 467 10 513 1049 375 600 525 1212 192 470 11 591 1253 351 633 522 1220 191 562 84 589 1247 485 620 727 321 582 79 662 1271 479 656 733 320 621 111 663 1262 559 657 795 382 630 143 751 127 560 753 794 383 860 272 807 95 574 752 827 445 858 448 936 188 573 1068 828 444 936 640 940 187 589 1192 876 571 937 641 1019 270 590 0 901 570 989 730 1017 271 606 1 978 663 988 729 1033 351 605 99 960 664 1007 761 1052 350 767 97 1280 704 1008 763 1088 383 768 116 1263 703 1030 860 1057 382 840 117 0 832 1029 859 1144 481 839 198 1 45 831 1116 908 1143 479 889 197 84 127 840 1115 909 1 512 888 265 83 237 841 1142 936 0 513 1145 268 117 238 934 1143 39 524 1149 315 116 400 935 1173 40 523 1215 316 128 937 401 1113 1172 149 550 1214 349 127 1022 520 1114 1178 148 551 63 350 287 1021 521 1211 1179 193 127 592 479 286 1116 583 1195 1273 191 591 199 480 476 1117 582 198 1272 232 655 119 647 477 1139 664 197 37 231 660 282 648 574 1138 663 271 38 316 692 278 736 573 1218 667 272 123 331 668 403 737 618 1219 368 367 934 302 781 623 1278 676 287 359 933 432 782 124 719 1277 </values> </instantiation>