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