2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers): solvers results per benchmarks

Result page for benchmark
XCSP19/hcp/
graph197.xml

Jump to solvers results

General information on the benchmark

NameXCSP19/hcp/
graph197.xml
MD5SUM037a78a785183bf334685935f46df3ca
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark156.565
Satisfiable
(Un)Satisfiability was proved
Number of variables1188
Number of constraints1
Number of domains1188
Minimum domain size3
Maximum domain size4
Distribution of domain sizes[{"size":3,"count":1186},{"size":4,"count":2}]
Minimum variable degree1
Maximum variable degree1
Distribution of variable degrees[{"degree":1,"count":1188}]
Minimum constraint arity1188
Maximum constraint arity1188
Distribution of constraint arities[{"arity":1188,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"circuit","count":1}]
Optimization problemNO
Type of objective

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
PicatSAT 2019-09-12 (complete)4395088SAT 156.565 156.583
choco-solver 2019-09-20 (complete)4403568SAT 395.842 99.8924
choco-solver 2019-09-16 (complete)4399068SAT 420.27 106.538
choco-solver 2019-06-14 (complete)4393108SAT 451.178 113.929
choco-solver 2019-09-16 parallel (complete)4399668SAT 915.925 115.629
choco-solver 2019-09-20 parallel (complete)4404468SAT 929.393 117.227
choco-solver 2019-09-24 parallel (complete)4406868SAT 991.067 124.975
choco-solver 2019-06-14 parallel (complete)4393708SAT 1023.83 129.22
BTD 19.07.01 (complete)4386941? (exit code) 0.018283 0.018658
AbsCon 2019-07-23 (complete)4390708? (exit code) 3.75253 2.272
cosoco 2.0 (complete)4408148? (NS) 0.027386 0.027926
cosoco 2.0 (complete)4396888? (NS) 0.027674 0.028316
cosoco 2.0 parallel (complete)4409428? (NS) 0.036513 0.0369259
cosoco 2.O parallel (complete)4398168? (NS) 0.037594 0.039732
Fun-sCOP hybrid+CryptoMiniSat (2019-06-15) (complete)4388401? (NS) 2.08304 1.15619
Fun-sCOP order+ManyGlucose (2019-06-15) (complete)4392508? (NS) 2.10096 1.13925
Fun-sCOP order+GlueMiniSat (2019-06-15) (complete)4388400? (NS) 2.107 1.14101
Fun-sCOP order+ManyGlucose (2019-09-22) (complete)4405368? (NS) 2.11222 1.14576
Fun-sCOP hybrid+ManyGlucose (2019-09-22) (complete)4405668? (NS) 2.12459 1.14551
Fun-sCOP hybrid+ManyGlucose (2019-06-15) (complete)4392808? (NS) 2.13702 1.15047
cosoco 2 (complete)4389608? (TO) 2520.02 2520.08
choco-solver 2019-09-24 (complete)4405968? (TO) 2520.08 2511.71
Concrete 3.12.2 (complete)4395988? (TO) 2520.08 2483.95
Concrete 3.12.2 (complete)4400868? (TO) 2520.08 2466.83
Concrete 3.12.3 (complete)4402668? (TO) 2520.09 2470.64
Concrete 3.10 (complete)4387541? (TO) 2520.12 2471.82

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

objective function:
Solution found:
<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>