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

Result page for benchmark
XCSP19/hcp/
graph237.xml

Jump to solvers results

General information on the benchmark

NameXCSP19/hcp/
graph237.xml
MD5SUM381d980e7a453e02616e2fcc42a92093
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 benchmark228.804
Satisfiable
(Un)Satisfiability was proved
Number of variables1476
Number of constraints1
Number of domains1476
Minimum domain size3
Maximum domain size4
Distribution of domain sizes[{"size":3,"count":1474},{"size":4,"count":2}]
Minimum variable degree1
Maximum variable degree1
Distribution of variable degrees[{"degree":1,"count":1476}]
Minimum constraint arity1476
Maximum constraint arity1476
Distribution of constraint arities[{"arity":1476,"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)4395090SAT 228.804 228.839
choco-solver 2019-09-20 (complete)4403570SAT 541.077 136.418
choco-solver 2019-06-14 (complete)4393110SAT 560.537 141.323
choco-solver 2019-09-16 (complete)4399070SAT 564.361 142.328
choco-solver 2019-09-24 parallel (complete)4406870SAT 1124.89 141.867
choco-solver 2019-06-14 parallel (complete)4393710SAT 1169.11 147.411
choco-solver 2019-09-20 parallel (complete)4404470SAT 1280.19 161.32
choco-solver 2019-09-16 parallel (complete)4399670SAT 1285.87 161.968
BTD 19.07.01 (complete)4386943? (exit code) 0.02122 0.0214739
AbsCon 2019-07-23 (complete)4390710? (exit code) 3.98775 2.34344
cosoco 2.0 (complete)4408150? (NS) 0.033619 0.0340129
cosoco 2.0 (complete)4396890? (NS) 0.033722 0.0340169
cosoco 2.O parallel (complete)4398170? (NS) 0.045506 0.0455849
cosoco 2.0 parallel (complete)4409430? (NS) 0.045771 0.046174
Fun-sCOP order+GlueMiniSat (2019-06-15) (complete)4388406? (NS) 2.19296 1.17811
Fun-sCOP hybrid+ManyGlucose (2019-06-15) (complete)4392810? (NS) 2.20293 1.17582
Fun-sCOP hybrid+ManyGlucose (2019-09-22) (complete)4405670? (NS) 2.21373 1.16706
Fun-sCOP order+ManyGlucose (2019-06-15) (complete)4392510? (NS) 2.21689 1.18317
Fun-sCOP hybrid+CryptoMiniSat (2019-06-15) (complete)4388407? (NS) 2.22598 1.178
Fun-sCOP order+ManyGlucose (2019-09-22) (complete)4405370? (NS) 2.24436 1.18558
choco-solver 2019-09-24 (complete)4405970? (TO) 2520.05 2511.41
Concrete 3.12.3 (complete)4402670? (TO) 2520.06 2471.44
Concrete 3.12.2 (complete)4400870? (TO) 2520.07 2467.53
Concrete 3.10 (complete)4387543? (TO) 2520.12 2471.14
Concrete 3.12.2 (complete)4395990? (TO) 2520.21 2481.63
cosoco 2 (complete)4389610Signal 0.044984 1.13574

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> 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>