Name | XCSP19/hcp/ graph255.xml |
MD5SUM | 0532ed0e06c51195f7ed7ca4343984ea |
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 | 163.368 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1584 |
Number of constraints | 1 |
Number of domains | 1584 |
Minimum domain size | 2 |
Maximum domain size | 217 |
Distribution of domain sizes | [{"size":2,"count":530},{"size":3,"count":620},{"size":4,"count":46},{"size":5,"count":256},{"size":6,"count":130},{"size":217,"count":2}] |
Minimum variable degree | 1 |
Maximum variable degree | 1 |
Distribution of variable degrees | [{"degree":1,"count":1584}] |
Minimum constraint arity | 1584 |
Maximum constraint arity | 1584 |
Distribution of constraint arities | [{"arity":1584,"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> v213 v1476 v423 v844 v1265 v633 v1054 v7 v214 v1477 v424 v845 v1266 v634 v1055 v8 v215 v1478 v425 v846 v1267 v635 v1056 v9 v216 v1479 v426 v847 v1268 v636 v1057 v10 v217 v1480 v427 v848 v1269 v637 v1058 v11 v218 v1481 v428 v849 v1270 v638 v1059 v12 v219 v1482 v850 v429 v1271 v639 v1060 v220 v1483 v851 v430 v1272 v640 v1061 v13 v221 v1484 v852 v431 v1273 v641 v1062 v14 v222 v1485 v432 v853 v1274 v642 v1063 v15 v223 v1486 v433 v854 v1275 v643 v1064 v16 v224 v1487 v434 v855 v1276 v644 v1065 v17 v225 v1488 v435 v856 v1277 v645 v1066 v18 v226 v1489 v436 v857 v1278 v646 v1067 v19 v227 v1490 v437 v858 v1279 v647 v1068 v20 v228 v1491 v438 v859 v1280 v648 v1069 v21 v229 v1492 v439 v860 v1281 v649 v1070 v22 v230 v1493 v440 v861 v1282 v650 v1071 v23 v231 v1494 v441 v862 v1283 v651 v1072 v24 v232 v1495 v442 v863 v1284 v652 v1073 v25 v233 v1496 v443 v864 v1285 v653 v1074 v26 v234 v1497 v444 v865 v1286 v654 v1075 v27 v235 v1498 v445 v866 v1287 v655 v1076 v28 v236 v1499 v446 v867 v1288 v656 v1077 v29 v237 v1500 v447 v868 v1289 v657 v1078 v30 v238 v1501 v448 v869 v1290 v658 v1079 v239 v1502 v449 v870 v1291 v659 v1080 v31 v240 v1503 v450 v871 v1292 v660 v1081 v32 v241 v1504 v451 v872 v1293 v661 v1082 v33 v242 v1505 v452 v873 v1294 v662 v1083 v34 v243 v1506 v453 v874 v1295 v663 v1084 v35 v244 v1507 v454 v875 v1296 v664 v1085 v36 v245 v1508 v455 v876 v1297 v665 v1086 v37 v246 v1509 v456 v877 v1298 v666 v1087 v38 v247 v1510 v457 v878 v1299 v667 v1088 v39 v248 v1511 v458 v879 v1300 v668 v1089 v40 v249 v1512 v459 v880 v1301 v669 v1090 v41 v250 v1513 v460 v881 v1302 v670 v1091 v42 v251 v1514 v461 v882 v1303 v671 v1092 v43 v252 v1515 v462 v883 v1304 v672 v1093 v44 v253 v1516 v463 v884 v1305 v673 v1094 v45 v254 v1517 v464 v885 v1306 v674 v1095 v46 v255 v1518 v465 v886 v1307 v675 v1096 v47 v256 v1519 v466 v887 v1308 v676 v1097 v48 v257 v1520 v467 v888 v1309 v677 v1098 v49 v258 v1521 v468 v889 v1310 v678 v1099 v50 v1522 v469 v890 v1311 v679 v1100 v51 v1523 v470 v891 v1312 v259 v680 v1101 v52 v1524 v471 v892 v1313 v260 v681 v1102 v53 v1525 v472 v893 v1314 v261 v682 v1103 v54 v1526 v473 v894 v1315 v262 v683 v1104 v55 v1527 v474 v895 v1316 v263 v684 v1105 v56 v1528 v475 v896 v1317 v264 v685 v1106 v57 v1529 v476 v897 v1318 v265 v686 v1107 v58 v1530 v477 v898 v1319 v266 v687 v1108 v59 v1531 v478 v899 v1320 v267 v688 v1109 v60 v1532 v479 v900 v1321 v268 v689 v1110 v61 v1533 v480 v901 v1322 v269 v690 v1111 v62 v1534 v481 v902 v1323 v270 v691 v1112 v1535 v482 v903 v1324 v271 v692 v1113 v63 v1536 v483 v904 v1325 v272 v693 v1114 v64 v1537 v484 v905 v1326 v273 v694 v1115 v65 v1538 v485 v906 v1327 v274 v695 v1116 v66 v1539 v486 v907 v1328 v275 v696 v1117 v67 v1540 v487 v908 v1329 v276 v697 v1118 v68 v1541 v488 v909 v1330 v277 v698 v1119 v69 v1542 v489 v910 v1331 v278 v699 v1120 v70 v1543 v490 v911 v1332 v279 v700 v1121 v71 v1544 v491 v912 v1333 v280 v701 v1122 v72 v1545 v492 v913 v1334 v281 v702 v1123 v73 v1546 v493 v914 v1335 v282 v703 v1124 v74 v1547 v494 v915 v1336 v283 v704 v1125 v75 v1548 v495 v916 v1337 v284 v705 v1126 v76 v1549 v496 v917 v1338 v285 v706 v1127 v77 v1550 v497 v918 v1339 v286 v707 v1128 v78 v1551 v498 v919 v1340 v287 v708 v1129 v79 v1552 v499 v920 v1341 v288 v709 v1130 v80 v1553 v500 v921 v1342 v289 v710 v1131 v81 v1554 v501 v922 v1343 v290 v711 v1132 v82 v1555 v502 v923 v1344 v291 v712 v1133 v83 v1556 v503 v924 v1345 v292 v713 v1134 v84 v1557 v504 v925 v1346 v293 v714 v1135 v85 v1558 v505 v926 v1347 v294 v715 v1136 v86 v1559 v506 v927 v1348 v295 v716 v1137 v87 v1560 v507 v928 v1349 v296 v717 v1138 v88 v1561 v508 v929 v1350 v297 v718 v1139 v89 v1562 v509 v930 v1351 v298 v719 v1140 v90 v1563 v510 v931 v1352 v299 v720 v1141 v91 v1564 v511 v932 v1353 v300 v721 v1142 v92 v1565 v512 v933 v1354 v301 v722 v1143 v93 v1566 v513 v934 v1355 v302 v723 v1144 v94 v1567 v514 v935 v1356 v303 v724 v1145 v95 v1568 v515 v936 v1357 v304 v725 v1146 v96 v1569 v516 v937 v1358 v305 v726 v1147 v97 v1570 v517 v938 v1359 v306 v727 v1148 v98 v1571 v518 v939 v1360 v307 v728 v1149 v99 v1572 v519 v940 v1361 v308 v729 v1150 v100 v1573 v520 v941 v1362 v309 v730 v1151 v101 v1574 v521 v942 v1363 v310 v731 v1152 v102 v1575 v522 v943 v1364 v311 v732 v1153 v103 v1576 v944 v1365 v312 v733 v1154 v104 v1577 v945 v1366 v313 v734 v1155 v523 v105 v1578 v946 v1367 v314 v735 v1156 v524 v106 v1579 v947 v1368 v315 v736 v1157 v525 v107 v1580 v948 v1369 v316 v737 v1158 v526 v108 v1581 v949 v1370 v317 v738 v1159 v527 v109 v1582 v950 v1371 v318 v739 v1160 v528 v110 v1583 v951 v1372 v319 v740 v1161 v529 v111 v952 v1373 v320 v741 v1162 v530 v112 v953 v1374 v321 v742 v1163 v531 v113 v954 v1375 v322 v743 v1164 v532 v114 v955 v1376 v323 v744 v1165 v533 v115 v956 v1377 v324 v745 v1166 v534 v116 v957 v1378 v746 v325 v1167 v535 v117 v958 v1379 v747 v326 v1168 v536 v118 v959 v1380 v327 v748 v1169 v537 v119 v960 v1381 v328 v749 v1170 v538 v120 v961 v1382 v329 v750 v1171 v539 v121 v962 v1383 v330 v751 v1172 v540 v122 v963 v1384 v331 v752 v1173 v541 v123 v964 v1385 v332 v753 v1174 v542 v124 v965 v1386 v333 v754 v1175 v543 v125 v966 v1387 v334 v755 v1176 v544 v126 v967 v1388 v335 v756 v1177 v545 v127 v968 v1389 v336 v757 v1178 v546 v128 v969 v1390 v337 v758 v1179 v547 v970 v1391 v338 v759 v1180 v548 v129 v971 v1392 v339 v760 v1181 v549 v130 v972 v1393 v340 v761 v1182 v550 v131 v973 v1394 v341 v762 v1183 v551 v132 v974 v1395 v342 v763 v1184 v552 v133 v975 v1396 v343 v764 v1185 v553 v134 v976 v1397 v344 v765 v1186 v554 v135 v977 v1398 v345 v766 v1187 v555 v136 v978 v1399 v346 v767 v1188 v556 v137 v979 v1400 v347 v768 v1189 v557 v138 v980 v1401 v348 v769 v1190 v558 v139 v981 v1402 v349 v770 v1191 v559 v140 v982 v1403 v350 v771 v1192 v560 v141 v983 v1404 v351 v772 v1193 v561 v142 v984 v1405 v352 v773 v1194 v562 v143 v985 v1406 v353 v774 v1195 v563 v144 v986 v1407 v354 v775 v1196 v564 v145 v987 v1408 v355 v776 v1197 v565 v146 v988 v1409 v356 v777 v1198 v566 v147 v989 v1410 v357 v778 v1199 v567 v148 v990 v1411 v358 v779 v1200 v568 v149 v991 v1412 v359 v780 v1201 v569 v150 v992 v1413 v360 v781 v1202 v570 v151 v993 v1414 v361 v782 v1203 v571 v152 v994 v1415 v362 v783 v1204 v572 v153 v995 v1416 v363 v784 v1205 v573 v154 v996 v1417 v364 v785 v1206 v574 v155 v997 v1418 v365 v786 v1207 v575 v156 v998 v1419 v366 v787 v1208 v576 v157 v999 v1420 v367 v788 v1209 v577 v158 v1000 v1421 v368 v789 v1210 v578 v159 v1001 v1422 v369 v790 v1211 v579 v160 v1002 v1423 v370 v791 v1212 v580 v161 v1003 v1424 v371 v792 v1213 v581 v162 v1004 v1425 v372 v793 v1214 v582 v163 v1005 v1426 v373 v794 v1215 v583 v164 v1006 v1427 v374 v795 v1216 v584 v165 v1007 v1428 v375 v796 v1217 v585 v166 v1008 v1429 v376 v797 v1218 v586 v167 v1009 v1430 v377 v798 v1219 v587 v168 v1010 v1431 v378 v799 v1220 v588 v169 v1011 v1432 v379 v800 v1221 v589 v170 v1012 v1433 v380 v801 v1222 v590 v171 v1013 v1434 v381 v802 v1223 v591 v172 v1014 v1435 v382 v803 v1224 v592 v173 v1015 v1436 v383 v804 v1225 v593 v174 v1016 v1437 v384 v805 v1226 v594 v175 v1017 v1438 v385 v806 v1227 v595 v176 v1018 v1439 v386 v807 v1228 v596 v177 v1019 v1440 v387 v808 v1229 v597 v178 v1020 v1441 v388 v809 v1230 v598 v179 v1021 v1442 v389 v810 v1231 v599 v180 v1022 v1443 v390 v811 v1232 v600 v181 v1023 v1444 v391 v812 v1233 v601 v182 v1024 v1445 v392 v813 v1234 v602 v183 v1025 v1446 v393 v814 v1235 v603 v184 v1026 v1447 v394 v815 v1236 v604 v185 v1027 v1448 v395 v816 v1237 v605 v186 v1028 v1449 v396 v817 v1238 v606 v187 v1029 v1450 v397 v818 v1239 v607 v188 v1030 v1451 v398 v819 v1240 v608 v189 v1031 v1452 v399 v820 v1241 v609 v190 v1032 v1453 v400 v821 v1242 v610 v191 v1033 v1454 v401 v822 v1243 v611 v192 v1034 v1455 v402 v823 v1244 v612 v193 v1035 v1456 v403 v824 v1245 v613 v194 v1036 v1457 v404 v825 v1246 v614 v195 v1037 v1458 v405 v826 v1247 v615 v196 v1038 v1459 v406 v827 v1248 v616 v197 v1039 v1460 v407 v828 v1249 v617 v198 v1040 v1461 v408 v829 v1250 v618 v199 v1041 v1462 v409 v830 v1251 v619 v200 v1042 v1463 v410 v831 v1252 v620 v201 v1043 v1464 v411 v832 v1253 v621 v202 v1044 v1465 v412 v833 v1254 v622 v203 v1045 v1466 v413 v834 v1255 v623 v204 v1046 v1467 v414 v835 v1256 v624 v205 v1047 v1468 v415 v836 v1257 v625 v206 v1048 v1469 v416 v837 v1258 v626 v0 v207 v1049 v1470 v417 v838 v1259 v627 v1 v208 v1050 v1471 v418 v839 v1260 v628 v2 v209 v1472 v419 v840 v1261 v629 v3 v210 v1473 v420 v841 v1262 v630 v1051 v4 v211 v1474 v421 v842 v1263 v631 v1052 v5 v212 v1475 v422 v843 v1264 v632 v1053 v6 </list> <values> 879 1187 1030 731 907 80 1039 1119 487 1042 769 1538 1136 447 1053 1011 888 27 621 1297 1559 709 611 1025 1381 72 1278 139 830 1342 1403 1438 224 384 238 945 182 1351 826 167 42 884 278 855 1108 736 1399 1231 705 40 1073 1138 544 742 88 954 1193 326 1091 947 369 665 727 872 84 495 468 1573 864 354 511 466 1389 905 1365 1050 942 130 721 780 1378 1289 1128 1267 386 1228 1287 294 240 1288 835 644 1165 998 201 1104 955 1355 469 1006 1019 1026 1283 461 1509 778 1402 481 851 92 940 857 871 86 766 814 20 1176 1443 688 339 575 302 911 1546 1200 930 1207 542 620 38 342 747 1468 475 111 1411 532 1256 356 652 1497 806 1229 841 1055 1069 1564 1448 569 1571 716 1013 1179 512 44 1216 524 1521 499 917 918 1551 752 300 1558 992 426 1554 563 1087 993 1457 1525 153 489 410 1111 402 1542 1145 1236 25 605 692 157 1576 812 1127 520 1503 1353 1245 1494 1461 717 1074 693 223 1254 551 656 1146 484 1118 973 787 919 1417 823 1120 1324 505 589 862 455 1388 559 845 816 376 135 921 1106 1253 501 103 245 986 873 104 604 1508 452 772 189 1101 724 890 412 297 1203 533 1082 761 1183 902 143 539 994 283 1248 675 701 309 712 1168 45 896 1423 1235 1219 860 793 1530 1067 194 1357 1009 1058 208 1412 548 381 1537 1166 463 697 773 129 1158 89 1213 315 610 770 69 1052 1298 262 1012 271 1330 843 506 347 767 362 1083 529 1204 1370 132 1280 281 777 279 183 91 1483 32 1523 1541 1296 1317 536 988 334 739 1386 1270 833 176 1464 1157 259 606 1506 591 332 1445 749 1144 1395 935 1322 1227 1463 673 624 799 531 403 210 781 1226 1407 170 1440 1047 1472 141 430 771 580 338 556 433 1299 199 1093 350 36 8 236 953 1232 22 1162 735 901 603 1191 1413 438 1260 768 108 1054 1140 964 185 1534 1303 416 247 1223 975 401 260 396 1441 81 73 923 504 507 1453 759 1487 805 252 1371 1346 311 363 168 891 1526 1037 1258 1281 115 1553 292 541 595 374 1271 1555 602 535 179 1090 241 1319 1113 734 392 920 483 1394 581 555 474 1266 1003 1243 41 1154 977 790 668 192 956 803 776 965 1205 1383 345 1201 647 1419 1269 1437 1234 93 1304 1482 90 842 144 446 424 1565 526 1490 1129 1276 165 1080 549 34 367 497 78 897 720 938 295 1209 834 266 220 952 865 1002 1272 1359 1350 861 1057 1044 337 514 174 322 900 745 699 102 1279 1282 687 107 1367 711 880 408 1427 1566 1454 331 985 158 287 658 748 94 394 1180 680 1385 667 519 217 995 229 5 6 1029 1348 671 848 380 419 248 1117 933 836 1519 169 1477 1112 974 702 958 1210 388 1135 931 1024 1142 963 1063 160 1408 616 828 596 219 600 321 1178 1489 743 1583 434 1010 1306 1535 1374 922 47 1488 730 715 1343 1257 1466 659 61 1460 633 177 195 265 1071 1495 1435 444 1244 883 1424 999 683 909 235 566 698 464 1075 1208 39 1377 530 599 53 1465 110 1124 623 971 14 914 441 813 1159 152 1364 895 637 1065 30 263 128 614 1147 490 112 1309 1334 534 881 810 237 1312 1153 383 1318 437 1339 1242 1036 649 1552 79 330 1131 291 1540 1230 1182 832 1095 1505 1533 1418 1416 579 142 1562 804 370 632 133 1433 1569 1455 662 359 1392 498 1286 471 1132 171 249 1500 493 1022 1121 1515 204 378 233 1498 1130 299 1198 227 1492 906 1194 1527 553 1171 371 448 1513 449 389 798 1215 1428 1442 1163 594 184 729 96 789 619 218 49 625 1034 327 473 678 1316 476 795 213 562 666 51 126 120 1327 509 323 791 413 1206 639 635 1277 275 650 1481 1032 800 256 346 629 1004 209 290 1561 1237 959 792 818 522 1156 984 70 1041 1580 23 46 1484 267 1332 997 1092 31 308 1387 1186 225 669 807 937 10 13 1141 1184 1473 827 825 429 1097 1467 853 1310 822 206 850 636 1259 751 1421 1307 1152 1547 528 197 1314 744 428 317 1199 1114 1035 202 117 1285 459 1524 782 106 366 1263 708 1274 1202 2 124 272 852 1005 627 859 877 379 689 957 29 37 657 1579 1563 1574 1425 1502 840 191 1536 1459 1368 831 1110 628 839 456 910 1195 590 1409 1325 854 763 924 682 573 983 1570 1345 868 65 1539 801 1313 1099 85 941 912 1391 146 364 375 405 1456 797 82 286 1275 319 87 1514 1335 1302 1474 684 1581 1045 893 1134 180 577 1577 1354 648 268 518 343 607 264 254 1545 1218 537 640 425 462 485 1051 232 277 904 212 996 1560 560 1336 696 1520 56 612 1341 1291 543 1188 74 1264 1458 109 710 1161 898 1046 867 12 949 758 929 341 296 1376 477 661 491 1177 601 480 1066 1085 1103 1340 784 99 703 700 307 1284 316 676 435 753 1451 470 756 360 1252 385 567 382 690 1329 981 946 820 1373 516 651 858 685 882 33 1293 913 655 969 646 1062 1450 261 137 140 1125 1575 1221 63 105 570 242 203 406 660 1076 824 211 55 246 1089 631 1077 1572 1020 521 517 114 1366 838 320 1499 928 310 357 908 1109 1518 1059 344 856 3 1406 1094 561 1410 415 1517 1150 1543 1434 207 188 695 122 630 121 1393 1070 844 714 1471 760 48 284 313 811 592 1400 1167 1048 407 71 77 0 257 847 303 1189 282 894 1349 706 1311 16 774 482 540 1115 576 1139 239 1382 234 1326 1344 1 1105 681 1396 57 887 538 58 11 285 1123 187 432 255 445 273 866 226 1432 198 978 513 436 274 664 215 663 987 677 950 762 626 740 1401 1582 1028 870 598 399 328 1308 166 1240 336 719 1078 962 119 162 582 62 1384 926 1173 1246 1578 1333 899 609 453 1014 849 1397 765 101 1021 1040 1475 691 1001 679 200 1529 1064 615 1151 439 312 775 874 421 951 944 1290 306 205 1137 723 269 154 1262 1320 645 1155 737 397 460 939 794 991 1479 552 280 329 43 26 423 1116 755 1439 1414 1261 340 1079 1436 76 1220 404 545 1331 1363 1060 492 454 1358 829 15 1321 718 1031 440 373 414 486 634 970 59 1516 586 178 1222 353 593 979 1315 150 134 409 1567 352 574 230 1469 515 1380 1192 116 982 214 1233 613 500 147 638 325 250 113 1249 796 1356 1480 377 1015 193 1426 1247 100 1507 304 420 125 578 837 1081 349 251 670 925 1295 21 335 97 163 9 35 936 318 1148 876 1511 1347 1478 1170 1522 173 1452 1160 672 1420 892 1501 450 52 1018 136 54 1100 1447 725 707 1268 365 1372 1398 1510 1568 754 222 788 1096 372 618 764 387 288 478 156 1544 597 815 75 617 927 418 1404 390 746 127 351 289 1072 190 948 1446 587 1486 305 98 934 1300 502 915 1362 1224 886 819 1369 878 231 1196 18 1241 1550 1126 28 527 1000 1485 1033 243 585 145 1255 1476 738 1470 361 510 726 1251 148 164 1337 417 1379 903 1273 1265 1086 427 728 503 1504 802 808 757 568 889 149 159 722 1422 713 550 1239 17 1175 19 1217 967 83 1098 565 1430 1133 1172 196 431 451 583 1049 588 972 1088 1491 966 674 584 494 817 821 1556 1338 976 875 750 1212 641 298 258 572 1211 1143 244 1328 564 118 391 1038 1557 324 783 1107 989 547 64 1548 1449 1250 442 443 741 7 1181 1512 1164 733 1068 221 990 704 276 4 314 358 228 885 1405 785 1185 1023 968 546 253 400 809 1149 472 1390 557 1493 642 1061 496 488 694 66 1084 643 1197 1102 293 869 216 1214 508 1444 1549 161 60 393 1174 24 1169 155 395 270 980 1008 654 1431 186 1122 1017 175 1360 1415 608 131 1531 458 1375 686 479 961 523 1007 863 846 779 1496 932 1294 181 301 1462 943 786 1190 1305 1043 1238 1532 1352 1027 1056 68 422 1528 333 467 411 622 558 95 732 465 1323 457 348 916 138 123 1016 172 1292 398 571 1361 151 355 554 50 525 1429 960 368 653 67 1301 1225 </values> </instantiation>