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