Name | XCSP19/hcp/ graph237.xml |
MD5SUM | 381d980e7a453e02616e2fcc42a92093 |
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 | 228.804 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1476 |
Number of constraints | 1 |
Number of domains | 1476 |
Minimum domain size | 3 |
Maximum domain size | 4 |
Distribution of domain sizes | [{"size":3,"count":1474},{"size":4,"count":2}] |
Minimum variable degree | 1 |
Maximum variable degree | 1 |
Distribution of variable degrees | [{"degree":1,"count":1476}] |
Minimum constraint arity | 1476 |
Maximum constraint arity | 1476 |
Distribution of constraint arities | [{"arity":1476,"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> 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 v213 v423 v844 v1265 v633 v1054 v7 v214 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 v450 v871 v1292 v660 v1081 v32 v241 v451 v872 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 v906 v485 v1327 v274 v695 v1116 v66 v907 v486 v1328 v696 v275 v1117 v67 v487 v908 v1329 v697 v276 v1118 v68 v488 v909 v1330 v698 v277 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 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 v1011 v169 v1432 v379 v800 v1221 v589 v1012 v170 v1433 v801 v380 v1222 v590 v1013 v171 v1434 v802 v381 v1223 v591 v1014 v172 v1435 v803 v382 v1224 v592 v1015 v173 v1436 v383 v804 v1225 v593 v174 v1016 v1437 v384 v805 v1226 v594 </list> <values> 1408 1080 904 1469 1281 1006 164 28 53 1347 728 1366 1091 367 263 425 155 173 264 165 649 221 526 297 30 570 434 614 1287 152 701 577 255 1160 270 1124 1187 1418 876 25 1190 931 1168 1475 1044 1119 611 1084 533 850 630 1340 1201 709 7 51 662 575 1269 639 1293 137 57 822 975 783 494 711 1167 513 799 138 1338 267 756 299 436 659 970 89 475 123 583 272 1116 581 1274 46 781 62 222 486 1446 990 923 1467 14 1430 153 672 629 1182 737 1407 481 1354 1425 666 193 1031 624 1384 564 1213 377 951 388 61 719 953 136 1164 359 1315 899 544 748 1462 838 553 842 1081 403 163 1352 635 80 994 763 437 429 1105 764 1246 1344 901 79 362 817 665 778 1268 448 1077 518 1415 679 613 800 1241 441 1369 1463 480 1342 814 189 427 1111 293 759 839 186 884 1026 16 357 677 875 1409 1309 805 562 1459 642 495 1092 1240 1099 587 636 720 1110 1200 894 179 489 1047 643 1009 738 148 1055 1214 1063 1069 483 1057 1011 358 275 1022 549 656 673 516 1090 857 1100 947 1433 926 689 1426 210 641 739 670 302 1410 218 682 1393 158 1356 439 1064 1211 669 1067 1222 1317 127 537 273 832 1151 808 847 88 534 872 1295 992 632 147 269 696 1078 1247 796 1355 1297 10 1174 1434 789 1466 1451 343 239 406 352 125 1024 1379 23 131 594 50 478 450 390 732 146 379 335 1176 1298 1436 504 824 598 956 717 664 1074 5 37 410 199 1041 205 317 373 157 39 963 59 256 372 1152 1224 340 685 547 1204 382 1106 889 1104 1310 402 1028 1339 203 1258 497 1453 741 512 967 745 522 124 104 1318 1140 1191 1471 1260 657 356 536 258 24 715 1324 1368 332 802 1389 862 1185 1045 1332 785 484 573 653 1193 1183 18 883 749 1226 1205 77 430 41 1412 965 729 90 1432 1457 576 1286 515 776 254 559 115 1019 815 710 615 417 1 8 625 1311 856 1427 692 595 416 426 907 182 779 473 83 174 1134 181 528 220 384 1209 1236 699 917 906 191 712 870 539 487 540 2 369 101 651 422 463 1330 933 365 1256 328 404 44 207 409 693 601 1357 154 506 623 470 1458 443 103 1231 202 1173 488 1138 655 676 765 851 257 1198 1229 752 572 646 794 829 11 852 276 1288 1062 228 438 1470 1208 988 64 395 1239 1336 196 957 32 493 1046 663 1327 1089 707 1029 40 902 1223 773 1396 178 118 143 1296 21 412 561 1128 396 341 1118 954 697 966 1422 846 1098 569 810 1020 1276 283 1325 1266 247 874 517 1021 932 1308 1445 216 944 777 968 730 232 126 740 162 1149 1228 27 638 177 860 454 1435 1263 807 1206 253 380 117 706 1107 242 735 1391 318 75 816 320 585 1348 449 241 102 394 114 744 784 811 1195 1218 3 691 161 85 1120 285 464 1005 848 76 1253 485 107 134 820 1171 351 252 937 1123 831 1093 69 1103 1440 1048 93 766 166 391 869 835 78 1136 858 1030 886 208 465 1376 1343 993 60 1452 928 1448 910 878 1404 981 626 1402 882 477 592 411 375 678 509 900 1037 235 1461 924 338 818 144 976 647 826 295 1362 521 1131 911 45 238 291 145 453 1007 591 909 1054 1225 296 1405 1216 312 1232 392 97 982 1321 1043 599 920 156 240 743 1442 1262 1121 415 420 1337 905 721 1300 1284 757 55 948 1146 1438 1073 1272 1172 168 86 984 31 844 542 105 751 1165 786 290 1251 15 468 725 1353 213 452 908 49 405 661 321 1372 1375 605 680 364 1148 755 399 1008 726 1437 187 1038 833 331 1264 244 1283 1058 1351 204 310 859 1215 1349 20 1033 861 307 1428 280 543 231 472 1086 442 455 1166 945 6 960 1279 185 314 681 1360 952 183 1159 1102 1184 985 1431 658 913 897 590 347 1346 1307 727 226 762 916 1139 1472 1265 361 1109 790 890 304 1079 311 337 245 980 1257 423 736 527 334 1460 265 821 1010 1273 986 551 96 837 459 792 974 376 946 787 1388 401 571 772 1267 482 746 603 795 71 466 1189 609 350 116 830 400 969 1383 342 1059 827 1259 374 1314 82 355 1042 339 354 684 525 718 864 713 268 167 675 775 284 1212 274 81 938 246 330 251 903 671 129 925 1378 619 250 961 1291 788 1371 1403 1237 865 98 500 972 771 1414 48 973 586 660 877 722 214 298 1413 600 73 1003 100 1202 227 1322 1468 170 1083 1177 1385 1238 308 1243 120 389 1294 535 1088 1203 1161 192 1290 479 863 644 1097 555 1192 501 336 1270 440 962 881 387 303 1157 419 694 650 1145 867 828 853 1358 1186 288 879 424 1454 1350 1170 1101 197 959 172 1154 194 366 108 224 936 329 1361 733 1014 949 474 348 74 211 823 333 200 1076 1419 106 1143 467 1017 190 370 898 1087 446 1394 1331 511 695 462 1227 305 1377 668 1135 301 616 708 1323 22 188 1207 891 1114 33 259 344 825 999 113 1147 1367 490 492 1392 248 19 63 654 529 195 17 584 292 1359 1249 1248 637 1301 469 1465 935 385 13 760 868 1312 1220 381 548 589 316 110 1012 987 278 568 1313 934 306 617 1219 319 798 1400 1386 326 1406 1025 277 640 1271 567 530 978 1188 1126 198 9 991 1155 1302 1245 1395 927 35 34 1277 1115 121 29 1027 1429 758 588 922 871 408 383 1032 353 1261 65 1060 1282 1122 943 206 627 1065 607 260 461 1335 0 159 1292 683 873 523 457 1112 1075 1197 919 566 840 12 87 271 950 688 141 286 180 133 1132 94 294 1363 1455 67 1035 1334 1127 843 84 230 687 503 458 111 896 1004 854 266 1306 175 723 622 1072 445 281 628 1304 315 171 435 574 510 552 768 1374 109 1387 667 1341 289 72 1153 150 580 621 261 413 1117 1397 929 507 608 1443 1449 1095 1444 1420 508 767 1345 160 433 1382 915 349 1133 686 977 797 1234 324 1169 498 95 885 502 1156 531 1242 774 139 229 1424 431 1196 184 327 371 151 836 958 1051 52 524 690 309 845 1142 633 1398 813 418 579 279 209 519 1150 1303 770 130 634 1049 1380 363 801 1464 471 1441 1039 834 236 514 1439 451 201 1125 368 1319 325 43 921 955 698 1326 612 447 414 750 618 1163 812 780 135 132 1181 1417 941 1137 1328 596 499 753 1333 505 1001 602 223 1199 397 1217 378 855 119 997 809 556 804 703 345 702 1070 631 122 346 645 754 176 545 398 597 1235 704 914 1474 234 444 888 323 1130 724 1278 36 91 47 791 1221 1066 432 421 983 1002 92 1373 219 996 169 1000 407 940 243 554 496 1381 1210 912 610 565 1040 964 1244 262 841 1447 282 578 1370 360 895 66 128 971 1456 1230 1094 880 893 887 1085 142 918 1036 930 58 313 979 1113 1411 38 700 456 1473 233 563 249 582 558 1275 1158 849 1096 322 546 892 1023 300 866 215 1450 1416 1280 769 995 217 1316 460 593 1305 806 1175 1013 140 393 1320 942 1053 1289 1233 1141 1180 1061 1399 1250 1050 1068 604 520 538 734 1255 149 782 714 491 1018 1178 1254 386 1364 560 1329 541 803 648 652 56 1052 705 212 606 99 1056 747 819 42 26 731 1401 54 1144 225 1179 1299 68 1194 237 4 1034 476 1071 793 1423 532 1421 557 1390 1108 998 70 761 1015 428 1365 939 1082 716 550 1162 742 1252 674 287 112 1285 620 989 1129 1016 </values> </instantiation>