| Name | SuperSolutions/SuperSolutions-Taillard-js15/ SuperTaillard-js-15-02.xml |
| MD5SUM | c67201b80d2f8cf37dc6fc32cd78d58c |
| 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 | 422.969 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 450 |
| Number of constraints | 5580 |
| Number of domains | 85 |
| Minimum domain size | 1165 |
| Maximum domain size | 1263 |
| Distribution of domain sizes | [{"size":1165,"count":2},{"size":1166,"count":8},{"size":1167,"count":2},{"size":1168,"count":4},{"size":1169,"count":2},{"size":1170,"count":6},{"size":1171,"count":10},{"size":1172,"count":4},{"size":1173,"count":10},{"size":1174,"count":8},{"size":1176,"count":6},{"size":1178,"count":4},{"size":1179,"count":6},{"size":1180,"count":2},{"size":1181,"count":6},{"size":1182,"count":4},{"size":1183,"count":4},{"size":1185,"count":2},{"size":1186,"count":4},{"size":1187,"count":2},{"size":1188,"count":4},{"size":1191,"count":10},{"size":1192,"count":6},{"size":1193,"count":4},{"size":1194,"count":6},"...",{"size":1236,"count":8}, {"size":1237,"count":4}, {"size":1239,"count":6}, {"size":1240,"count":8}, {"size":1241,"count":12}, {"size":1242,"count":2}, {"size":1243,"count":6}, {"size":1244,"count":8}, {"size":1245,"count":8}, {"size":1247,"count":2}, {"size":1248,"count":6}, {"size":1250,"count":4}, {"size":1251,"count":6}, {"size":1252,"count":2}, {"size":1253,"count":6}, {"size":1254,"count":6}, {"size":1255,"count":2}, {"size":1256,"count":10}, {"size":1257,"count":4}, {"size":1258,"count":2}, {"size":1259,"count":4}, {"size":1260,"count":2}, {"size":1261,"count":4}, {"size":1262,"count":2}, {"size":1263,"count":4}] |
| 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> 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 x250 x44 x353 x95 x198 x301 x146 x406 x251 x45 x354 x199 x96 x302 x147 x407 x252 x46 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 x108 x211 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 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 x225 x122 x328 x173 x70 x276 x21 x433 x381 x123 x226 x329 x174 x71 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 x31 x237 x340 x82 x185 x288 x133 x445 x393 x32 x238 x341 x83 x186 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 </list> <values> 1181 523 1086 536 533 273 450 691 1180 554 1087 779 597 275 441 750 139 555 1104 781 594 395 576 752 127 566 1103 917 707 396 577 824 240 565 1226 912 706 435 623 823 257 600 1210 1017 767 431 622 864 272 601 0 1018 783 714 504 863 271 672 1 1115 791 715 501 900 673 351 36 1116 790 805 536 898 350 767 35 1229 868 534 804 938 439 768 98 1244 869 607 868 944 444 863 78 0 933 616 869 1024 476 899 160 1 10 932 705 909 1008 485 991 161 78 2 993 707 908 0 502 992 232 67 115 994 814 977 2 503 1054 233 138 114 1091 815 30 581 1053 349 143 183 1090 826 32 580 1139 348 236 978 184 1127 825 63 651 1140 377 235 992 336 1128 847 62 652 4 376 252 994 335 1191 846 101 719 43 471 253 1017 439 1190 1209 102 704 170 472 306 1013 440 30 1240 130 879 138 516 305 1103 506 7 0 129 793 256 524 378 1105 507 69 1 196 982 255 572 379 1166 601 68 34 197 998 368 560 467 1167 194 378 1166 399 598 466 1240 600 193 384 1186 513 597 33 552 1239 676 235 409 1245 512 641 133 537 1 677 239 408 1243 613 642 128 610 13 703 263 468 1252 612 702 229 615 78 705 262 466 1256 704 734 232 659 79 846 351 550 36 705 788 347 658 177 847 350 828 35 726 845 345 727 127 932 399 1056 725 129 1145 728 431 306 927 398 1055 130 727 1146 831 430 299 1005 473 1100 182 728 127 533 823 332 996 472 1101 181 876 111 534 929 333 1013 474 1143 245 887 198 595 930 429 1014 475 1142 246 909 203 594 1198 431 1145 566 1154 259 907 252 684 1147 496 1115 565 1180 976 267 685 76 599 1175 753 1210 975 319 705 72 637 258 1171 751 1209 1018 352 704 167 638 278 0 831 54 1025 446 849 168 736 279 834 22 1132 447 825 245 735 320 887 323 1 1108 532 898 246 799 321 876 322 99 1145 533 897 445 840 454 1062 416 100 1146 617 1088 444 912 455 1059 417 197 276 616 1082 479 911 514 1093 447 196 270 683 1139 481 988 513 1094 444 235 392 684 1129 545 991 540 532 236 391 692 </values> </instantiation>