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

Result page for benchmark
XCSP19/hcp/
graph255.xml

Jump to solvers results

General information on the benchmark

NameXCSP19/hcp/
graph255.xml
MD5SUM0532ed0e06c51195f7ed7ca4343984ea
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 benchmark163.368
Satisfiable
(Un)Satisfiability was proved
Number of variables1584
Number of constraints1
Number of domains1584
Minimum domain size2
Maximum domain size217
Distribution of domain sizes[{"size":2,"count":530},{"size":3,"count":620},{"size":4,"count":46},{"size":5,"count":256},{"size":6,"count":130},{"size":217,"count":2}]
Minimum variable degree1
Maximum variable degree1
Distribution of variable degrees[{"degree":1,"count":1584}]
Minimum constraint arity1584
Maximum constraint arity1584
Distribution of constraint arities[{"arity":1584,"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)4395094SAT 163.368 163.412
BTD 19.07.01 (complete)4386947? (exit code) 0.023378 0.0237659
AbsCon 2019-07-23 (complete)4390714? (exit code) 3.99273 2.32047
cosoco 2.0 (complete)4396894? (NS) 0.036686 0.0370969
cosoco 2.0 (complete)4408154? (NS) 0.036809 0.0370961
cosoco 2.0 parallel (complete)4409434? (NS) 0.049546 0.0501459
cosoco 2.O parallel (complete)4398174? (NS) 0.050371 0.0509541
Fun-sCOP hybrid+ManyGlucose (2019-06-15) (complete)4392814? (NS) 2.2152 1.17958
Fun-sCOP hybrid+CryptoMiniSat (2019-06-15) (complete)4388419? (NS) 2.26201 1.18378
Fun-sCOP order+GlueMiniSat (2019-06-15) (complete)4388418? (NS) 2.27245 1.24026
Fun-sCOP hybrid+ManyGlucose (2019-09-22) (complete)4405674? (NS) 2.28434 1.22153
Fun-sCOP order+ManyGlucose (2019-06-15) (complete)4392514? (NS) 2.33819 1.20602
Fun-sCOP order+ManyGlucose (2019-09-22) (complete)4405374? (NS) 2.37734 1.19989
choco-solver 2019-09-24 (complete)4405974? (TO) 2520.04 2510.81
Concrete 3.12.2 (complete)4400874? (TO) 2520.07 2461.64
Concrete 3.12.3 (complete)4402674? (TO) 2520.08 2464.64
Concrete 3.10 (complete)4387547? (TO) 2520.08 2464.93
Concrete 3.12.2 (complete)4395994? (TO) 2520.12 2470.52
choco-solver 2019-09-16 (complete)4399074? (TO) 2520.4 635.177
choco-solver 2019-06-14 (complete)4393114? (TO) 2520.42 634.8
choco-solver 2019-09-20 (complete)4403574? (TO) 2520.44 634.989
choco-solver 2019-06-14 parallel (complete)4393714? (TO) 19937.1 2520.1
choco-solver 2019-09-16 parallel (complete)4399674? (TO) 19988.5 2520.1
choco-solver 2019-09-20 parallel (complete)4404474? (TO) 19998 2520.1
choco-solver 2019-09-24 parallel (complete)4406874? (TO) 19999.9 2520.12
cosoco 2 (complete)4389614Wrong UNSAT 0.045418 0.0451421

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> v213 v1476 v423 v844 v1265 v633 v1054 v7 v214 v1477 v424 v845 v1266 v634 v1055 v8 v215 v1478 v425 v846 v1267 v635
v1056 v9 v216 v1479 v426 v847 v1268 v636 v1057 v10 v217 v1480 v427 v848 v1269 v637 v1058 v11 v218 v1481 v428 v849 v1270 v638 v1059 v12 v219
v1482 v850 v429 v1271 v639 v1060 v220 v1483 v851 v430 v1272 v640 v1061 v13 v221 v1484 v852 v431 v1273 v641 v1062 v14 v222 v1485 v432 v853
v1274 v642 v1063 v15 v223 v1486 v433 v854 v1275 v643 v1064 v16 v224 v1487 v434 v855 v1276 v644 v1065 v17 v225 v1488 v435 v856 v1277 v645
v1066 v18 v226 v1489 v436 v857 v1278 v646 v1067 v19 v227 v1490 v437 v858 v1279 v647 v1068 v20 v228 v1491 v438 v859 v1280 v648 v1069 v21 v229
v1492 v439 v860 v1281 v649 v1070 v22 v230 v1493 v440 v861 v1282 v650 v1071 v23 v231 v1494 v441 v862 v1283 v651 v1072 v24 v232 v1495 v442
v863 v1284 v652 v1073 v25 v233 v1496 v443 v864 v1285 v653 v1074 v26 v234 v1497 v444 v865 v1286 v654 v1075 v27 v235 v1498 v445 v866 v1287
v655 v1076 v28 v236 v1499 v446 v867 v1288 v656 v1077 v29 v237 v1500 v447 v868 v1289 v657 v1078 v30 v238 v1501 v448 v869 v1290 v658 v1079
v239 v1502 v449 v870 v1291 v659 v1080 v31 v240 v1503 v450 v871 v1292 v660 v1081 v32 v241 v1504 v451 v872 v1293 v661 v1082 v33 v242 v1505
v452 v873 v1294 v662 v1083 v34 v243 v1506 v453 v874 v1295 v663 v1084 v35 v244 v1507 v454 v875 v1296 v664 v1085 v36 v245 v1508 v455 v876
v1297 v665 v1086 v37 v246 v1509 v456 v877 v1298 v666 v1087 v38 v247 v1510 v457 v878 v1299 v667 v1088 v39 v248 v1511 v458 v879 v1300 v668
v1089 v40 v249 v1512 v459 v880 v1301 v669 v1090 v41 v250 v1513 v460 v881 v1302 v670 v1091 v42 v251 v1514 v461 v882 v1303 v671 v1092 v43 v252
v1515 v462 v883 v1304 v672 v1093 v44 v253 v1516 v463 v884 v1305 v673 v1094 v45 v254 v1517 v464 v885 v1306 v674 v1095 v46 v255 v1518 v465
v886 v1307 v675 v1096 v47 v256 v1519 v466 v887 v1308 v676 v1097 v48 v257 v1520 v467 v888 v1309 v677 v1098 v49 v258 v1521 v468 v889 v1310
v678 v1099 v50 v1522 v469 v890 v1311 v679 v1100 v51 v1523 v470 v891 v1312 v259 v680 v1101 v52 v1524 v471 v892 v1313 v260 v681 v1102 v53
v1525 v472 v893 v1314 v261 v682 v1103 v54 v1526 v473 v894 v1315 v262 v683 v1104 v55 v1527 v474 v895 v1316 v263 v684 v1105 v56 v1528 v475
v896 v1317 v264 v685 v1106 v57 v1529 v476 v897 v1318 v265 v686 v1107 v58 v1530 v477 v898 v1319 v266 v687 v1108 v59 v1531 v478 v899 v1320
v267 v688 v1109 v60 v1532 v479 v900 v1321 v268 v689 v1110 v61 v1533 v480 v901 v1322 v269 v690 v1111 v62 v1534 v481 v902 v1323 v270 v691
v1112 v1535 v482 v903 v1324 v271 v692 v1113 v63 v1536 v483 v904 v1325 v272 v693 v1114 v64 v1537 v484 v905 v1326 v273 v694 v1115 v65 v1538
v485 v906 v1327 v274 v695 v1116 v66 v1539 v486 v907 v1328 v275 v696 v1117 v67 v1540 v487 v908 v1329 v276 v697 v1118 v68 v1541 v488 v909
v1330 v277 v698 v1119 v69 v1542 v489 v910 v1331 v278 v699 v1120 v70 v1543 v490 v911 v1332 v279 v700 v1121 v71 v1544 v491 v912 v1333 v280
v701 v1122 v72 v1545 v492 v913 v1334 v281 v702 v1123 v73 v1546 v493 v914 v1335 v282 v703 v1124 v74 v1547 v494 v915 v1336 v283 v704 v1125 v75
v1548 v495 v916 v1337 v284 v705 v1126 v76 v1549 v496 v917 v1338 v285 v706 v1127 v77 v1550 v497 v918 v1339 v286 v707 v1128 v78 v1551 v498
v919 v1340 v287 v708 v1129 v79 v1552 v499 v920 v1341 v288 v709 v1130 v80 v1553 v500 v921 v1342 v289 v710 v1131 v81 v1554 v501 v922 v1343
v290 v711 v1132 v82 v1555 v502 v923 v1344 v291 v712 v1133 v83 v1556 v503 v924 v1345 v292 v713 v1134 v84 v1557 v504 v925 v1346 v293 v714
v1135 v85 v1558 v505 v926 v1347 v294 v715 v1136 v86 v1559 v506 v927 v1348 v295 v716 v1137 v87 v1560 v507 v928 v1349 v296 v717 v1138 v88
v1561 v508 v929 v1350 v297 v718 v1139 v89 v1562 v509 v930 v1351 v298 v719 v1140 v90 v1563 v510 v931 v1352 v299 v720 v1141 v91 v1564 v511
v932 v1353 v300 v721 v1142 v92 v1565 v512 v933 v1354 v301 v722 v1143 v93 v1566 v513 v934 v1355 v302 v723 v1144 v94 v1567 v514 v935 v1356
v303 v724 v1145 v95 v1568 v515 v936 v1357 v304 v725 v1146 v96 v1569 v516 v937 v1358 v305 v726 v1147 v97 v1570 v517 v938 v1359 v306 v727
v1148 v98 v1571 v518 v939 v1360 v307 v728 v1149 v99 v1572 v519 v940 v1361 v308 v729 v1150 v100 v1573 v520 v941 v1362 v309 v730 v1151 v101
v1574 v521 v942 v1363 v310 v731 v1152 v102 v1575 v522 v943 v1364 v311 v732 v1153 v103 v1576 v944 v1365 v312 v733 v1154 v104 v1577 v945 v1366
v313 v734 v1155 v523 v105 v1578 v946 v1367 v314 v735 v1156 v524 v106 v1579 v947 v1368 v315 v736 v1157 v525 v107 v1580 v948 v1369 v316 v737
v1158 v526 v108 v1581 v949 v1370 v317 v738 v1159 v527 v109 v1582 v950 v1371 v318 v739 v1160 v528 v110 v1583 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 v746 v325 v1167 v535 v117 v958 v1379 v747 v326 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 v169 v1011
v1432 v379 v800 v1221 v589 v170 v1012 v1433 v380 v801 v1222 v590 v171 v1013 v1434 v381 v802 v1223 v591 v172 v1014 v1435 v382 v803 v1224 v592
v173 v1015 v1436 v383 v804 v1225 v593 v174 v1016 v1437 v384 v805 v1226 v594 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  </list> <values> 879  1187  1030  731  907  80  1039  1119  487  1042  769  1538  1136  447  1053  1011  888  27  621  1297  1559  709 
611  1025  1381  72  1278  139  830  1342  1403  1438  224  384  238  945  182  1351  826  167  42  884  278  855  1108  736  1399  1231 
705  40  1073  1138  544  742  88  954  1193  326  1091  947  369  665  727  872  84  495  468  1573  864  354  511  466  1389  905  1365 
1050  942  130  721  780  1378  1289  1128  1267  386  1228  1287  294  240  1288  835  644  1165  998  201  1104  955  1355  469  1006 
1019  1026  1283  461  1509  778  1402  481  851  92  940  857  871  86  766  814  20  1176  1443  688  339  575  302  911  1546  1200  930 
1207  542  620  38  342  747  1468  475  111  1411  532  1256  356  652  1497  806  1229  841  1055  1069  1564  1448  569  1571  716  1013 
1179  512  44  1216  524  1521  499  917  918  1551  752  300  1558  992  426  1554  563  1087  993  1457  1525  153  489  410  1111  402 
1542  1145  1236  25  605  692  157  1576  812  1127  520  1503  1353  1245  1494  1461  717  1074  693  223  1254  551  656  1146  484 
1118  973  787  919  1417  823  1120  1324  505  589  862  455  1388  559  845  816  376  135  921  1106  1253  501  103  245  986  873  104
 604  1508  452  772  189  1101  724  890  412  297  1203  533  1082  761  1183  902  143  539  994  283  1248  675  701  309  712  1168  45
 896  1423  1235  1219  860  793  1530  1067  194  1357  1009  1058  208  1412  548  381  1537  1166  463  697  773  129  1158  89  1213 
315  610  770  69  1052  1298  262  1012  271  1330  843  506  347  767  362  1083  529  1204  1370  132  1280  281  777  279  183  91  1483
 32  1523  1541  1296  1317  536  988  334  739  1386  1270  833  176  1464  1157  259  606  1506  591  332  1445  749  1144  1395  935 
1322  1227  1463  673  624  799  531  403  210  781  1226  1407  170  1440  1047  1472  141  430  771  580  338  556  433  1299  199  1093 
350  36  8  236  953  1232  22  1162  735  901  603  1191  1413  438  1260  768  108  1054  1140  964  185  1534  1303  416  247  1223  975 
401  260  396  1441  81  73  923  504  507  1453  759  1487  805  252  1371  1346  311  363  168  891  1526  1037  1258  1281  115  1553 
292  541  595  374  1271  1555  602  535  179  1090  241  1319  1113  734  392  920  483  1394  581  555  474  1266  1003  1243  41  1154 
977  790  668  192  956  803  776  965  1205  1383  345  1201  647  1419  1269  1437  1234  93  1304  1482  90  842  144  446  424  1565 
526  1490  1129  1276  165  1080  549  34  367  497  78  897  720  938  295  1209  834  266  220  952  865  1002  1272  1359  1350  861 
1057  1044  337  514  174  322  900  745  699  102  1279  1282  687  107  1367  711  880  408  1427  1566  1454  331  985  158  287  658 
748  94  394  1180  680  1385  667  519  217  995  229  5  6  1029  1348  671  848  380  419  248  1117  933  836  1519  169  1477  1112 
974  702  958  1210  388  1135  931  1024  1142  963  1063  160  1408  616  828  596  219  600  321  1178  1489  743  1583  434  1010  1306 
1535  1374  922  47  1488  730  715  1343  1257  1466  659  61  1460  633  177  195  265  1071  1495  1435  444  1244  883  1424  999  683 
909  235  566  698  464  1075  1208  39  1377  530  599  53  1465  110  1124  623  971  14  914  441  813  1159  152  1364  895  637  1065 
30  263  128  614  1147  490  112  1309  1334  534  881  810  237  1312  1153  383  1318  437  1339  1242  1036  649  1552  79  330  1131 
291  1540  1230  1182  832  1095  1505  1533  1418  1416  579  142  1562  804  370  632  133  1433  1569  1455  662  359  1392  498  1286 
471  1132  171  249  1500  493  1022  1121  1515  204  378  233  1498  1130  299  1198  227  1492  906  1194  1527  553  1171  371  448 
1513  449  389  798  1215  1428  1442  1163  594  184  729  96  789  619  218  49  625  1034  327  473  678  1316  476  795  213  562  666 
51  126  120  1327  509  323  791  413  1206  639  635  1277  275  650  1481  1032  800  256  346  629  1004  209  290  1561  1237  959  792
 818  522  1156  984  70  1041  1580  23  46  1484  267  1332  997  1092  31  308  1387  1186  225  669  807  937  10  13  1141  1184  1473 
827  825  429  1097  1467  853  1310  822  206  850  636  1259  751  1421  1307  1152  1547  528  197  1314  744  428  317  1199  1114  1035
 202  117  1285  459  1524  782  106  366  1263  708  1274  1202  2  124  272  852  1005  627  859  877  379  689  957  29  37  657  1579 
1563  1574  1425  1502  840  191  1536  1459  1368  831  1110  628  839  456  910  1195  590  1409  1325  854  763  924  682  573  983  1570
 1345  868  65  1539  801  1313  1099  85  941  912  1391  146  364  375  405  1456  797  82  286  1275  319  87  1514  1335  1302  1474 
684  1581  1045  893  1134  180  577  1577  1354  648  268  518  343  607  264  254  1545  1218  537  640  425  462  485  1051  232  277 
904  212  996  1560  560  1336  696  1520  56  612  1341  1291  543  1188  74  1264  1458  109  710  1161  898  1046  867  12  949  758  929
 341  296  1376  477  661  491  1177  601  480  1066  1085  1103  1340  784  99  703  700  307  1284  316  676  435  753  1451  470  756 
360  1252  385  567  382  690  1329  981  946  820  1373  516  651  858  685  882  33  1293  913  655  969  646  1062  1450  261  137  140 
1125  1575  1221  63  105  570  242  203  406  660  1076  824  211  55  246  1089  631  1077  1572  1020  521  517  114  1366  838  320 
1499  928  310  357  908  1109  1518  1059  344  856  3  1406  1094  561  1410  415  1517  1150  1543  1434  207  188  695  122  630  121 
1393  1070  844  714  1471  760  48  284  313  811  592  1400  1167  1048  407  71  77  0  257  847  303  1189  282  894  1349  706  1311 
16  774  482  540  1115  576  1139  239  1382  234  1326  1344  1  1105  681  1396  57  887  538  58  11  285  1123  187  432  255  445  273
 866  226  1432  198  978  513  436  274  664  215  663  987  677  950  762  626  740  1401  1582  1028  870  598  399  328  1308  166  1240
 336  719  1078  962  119  162  582  62  1384  926  1173  1246  1578  1333  899  609  453  1014  849  1397  765  101  1021  1040  1475  691 
1001  679  200  1529  1064  615  1151  439  312  775  874  421  951  944  1290  306  205  1137  723  269  154  1262  1320  645  1155  737 
397  460  939  794  991  1479  552  280  329  43  26  423  1116  755  1439  1414  1261  340  1079  1436  76  1220  404  545  1331  1363 
1060  492  454  1358  829  15  1321  718  1031  440  373  414  486  634  970  59  1516  586  178  1222  353  593  979  1315  150  134  409 
1567  352  574  230  1469  515  1380  1192  116  982  214  1233  613  500  147  638  325  250  113  1249  796  1356  1480  377  1015  193 
1426  1247  100  1507  304  420  125  578  837  1081  349  251  670  925  1295  21  335  97  163  9  35  936  318  1148  876  1511  1347 
1478  1170  1522  173  1452  1160  672  1420  892  1501  450  52  1018  136  54  1100  1447  725  707  1268  365  1372  1398  1510  1568 
754  222  788  1096  372  618  764  387  288  478  156  1544  597  815  75  617  927  418  1404  390  746  127  351  289  1072  190  948 
1446  587  1486  305  98  934  1300  502  915  1362  1224  886  819  1369  878  231  1196  18  1241  1550  1126  28  527  1000  1485  1033 
243  585  145  1255  1476  738  1470  361  510  726  1251  148  164  1337  417  1379  903  1273  1265  1086  427  728  503  1504  802  808 
757  568  889  149  159  722  1422  713  550  1239  17  1175  19  1217  967  83  1098  565  1430  1133  1172  196  431  451  583  1049  588 
972  1088  1491  966  674  584  494  817  821  1556  1338  976  875  750  1212  641  298  258  572  1211  1143  244  1328  564  118  391 
1038  1557  324  783  1107  989  547  64  1548  1449  1250  442  443  741  7  1181  1512  1164  733  1068  221  990  704  276  4  314  358 
228  885  1405  785  1185  1023  968  546  253  400  809  1149  472  1390  557  1493  642  1061  496  488  694  66  1084  643  1197  1102 
293  869  216  1214  508  1444  1549  161  60  393  1174  24  1169  155  395  270  980  1008  654  1431  186  1122  1017  175  1360  1415 
608  131  1531  458  1375  686  479  961  523  1007  863  846  779  1496  932  1294  181  301  1462  943  786  1190  1305  1043  1238  1532 
1352  1027  1056  68  422  1528  333  467  411  622  558  95  732  465  1323  457  348  916  138  123  1016  172  1292  398  571  1361  151 
355  554  50  525  1429  960  368  653  67  1301  1225   </values> </instantiation>