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

Result page for benchmark
XCSP19/hcp/
graph249.xml

Jump to solvers results

General information on the benchmark

NameXCSP19/hcp/
graph249.xml
MD5SUM9deb1a9239474f0b39e24b397fc75368
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 benchmark37.7136
Satisfiable
(Un)Satisfiability was proved
Number of variables1558
Number of constraints1
Number of domains1558
Minimum domain size3
Maximum domain size4
Distribution of domain sizes[{"size":3,"count":1556},{"size":4,"count":2}]
Minimum variable degree1
Maximum variable degree1
Distribution of variable degrees[{"degree":1,"count":1558}]
Minimum constraint arity1558
Maximum constraint arity1558
Distribution of constraint arities[{"arity":1558,"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
choco-solver 2019-09-16 (complete)4399071SAT 37.2332 9.8483
choco-solver 2019-09-20 (complete)4403571SAT 37.7136 10.1477
choco-solver 2019-06-14 (complete)4393111SAT 45.8008 12.3043
choco-solver 2019-09-20 parallel (complete)4404471SAT 85.5103 11.7018
choco-solver 2019-09-24 parallel (complete)4406871SAT 90.2486 12.2825
choco-solver 2019-09-16 parallel (complete)4399671SAT 107.077 14.3804
choco-solver 2019-06-14 parallel (complete)4393711SAT 119.406 16.5578
PicatSAT 2019-09-12 (complete)4395091SAT 153.399 153.454
choco-solver 2019-09-24 (complete)4405971SAT 428.361 423.763
BTD 19.07.01 (complete)4386946? (exit code) 0.02216 0.0226929
AbsCon 2019-07-23 (complete)4390711? (exit code) 3.9538 2.30553
cosoco 2.0 (complete)4396891? (NS) 0.035036 0.0356699
cosoco 2.0 (complete)4408151? (NS) 0.035216 0.0354521
cosoco 2.0 parallel (complete)4409431? (NS) 0.047377 0.0480311
cosoco 2.O parallel (complete)4398171? (NS) 0.048249 0.049832
Fun-sCOP hybrid+CryptoMiniSat (2019-06-15) (complete)4388416? (NS) 2.20949 1.18958
Fun-sCOP order+GlueMiniSat (2019-06-15) (complete)4388415? (NS) 2.21245 2.05289
Fun-sCOP order+ManyGlucose (2019-09-22) (complete)4405371? (NS) 2.23545 1.1772
Fun-sCOP order+ManyGlucose (2019-06-15) (complete)4392511? (NS) 2.23627 1.18088
Fun-sCOP hybrid+ManyGlucose (2019-06-15) (complete)4392811? (NS) 2.27791 1.52197
Fun-sCOP hybrid+ManyGlucose (2019-09-22) (complete)4405671? (NS) 2.31151 1.17674
cosoco 2 (complete)4389611? (TO) 2520.05 2519.9
Concrete 3.12.3 (complete)4402671? (TO) 2520.12 2474.83
Concrete 3.12.2 (complete)4395991? (TO) 2520.13 2469.3
Concrete 3.10 (complete)4387546? (TO) 2520.13 2468.03
Concrete 3.12.2 (complete)4400871? (TO) 2520.15 2468

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>v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 v22 v23 v24 v25 v26 v27 v28 v29 v30 v31
v32 v33 v34 v35 v36 v37 v38 v39 v40 v41 v42 v43 v44 v45 v46 v47 v48 v49 v50 v51 v52 v53 v54 v55 v56 v57 v58 v59 v60 v61 v62 v63 v64 v65 v66
v67 v68 v69 v70 v71 v72 v73 v74 v75 v76 v77 v78 v79 v80 v81 v82 v83 v84 v85 v86 v87 v88 v89 v90 v91 v92 v93 v94 v95 v96 v97 v98 v99 v100
v101 v102 v103 v104 v105 v106 v107 v108 v109 v110 v111 v112 v113 v114 v115 v116 v117 v118 v119 v120 v121 v122 v123 v124 v125 v126 v127 v128
v129 v130 v131 v132 v133 v134 v135 v136 v137 v138 v139 v140 v141 v142 v143 v144 v145 v146 v147 v148 v149 v150 v151 v152 v153 v154 v155 v156
v157 v158 v159 v160 v161 v162 v163 v164 v165 v166 v167 v168 v169 v170 v171 v172 v173 v174 v175 v176 v177 v178 v179 v180 v181 v182 v183 v184
v185 v186 v187 v188 v189 v190 v191 v192 v193 v194 v195 v196 v197 v198 v199 v200 v201 v202 v203 v204 v205 v206 v207 v208 v209 v210 v211 v212
v213 v214 v215 v216 v217 v218 v219 v220 v221 v222 v223 v224 v225 v226 v227 v228 v229 v230 v231 v232 v233 v234 v235 v236 v237 v238 v239 v240
v241 v242 v243 v244 v245 v246 v247 v248 v249 v250 v251 v252 v253 v254 v255 v256 v257 v258 v259 v260 v261 v262 v263 v264 v265 v266 v267 v268
v269 v270 v271 v272 v273 v274 v275 v276 v277 v278 v279 v280 v281 v282 v283 v284 v285 v286 v287 v288 v289 v290 v291 v292 v293 v294 v295 v296
v297 v298 v299 v300 v301 v302 v303 v304 v305 v306 v307 v308 v309 v310 v311 v312 v313 v314 v315 v316 v317 v318 v319 v320 v321 v322 v323 v324
v325 v326 v327 v328 v329 v330 v331 v332 v333 v334 v335 v336 v337 v338 v339 v340 v341 v342 v343 v344 v345 v346 v347 v348 v349 v350 v351 v352
v353 v354 v355 v356 v357 v358 v359 v360 v361 v362 v363 v364 v365 v366 v367 v368 v369 v370 v371 v372 v373 v374 v375 v376 v377 v378 v379 v380
v381 v382 v383 v384 v385 v386 v387 v388 v389 v390 v391 v392 v393 v394 v395 v396 v397 v398 v399 v400 v401 v402 v403 v404 v405 v406 v407 v408
v409 v410 v411 v412 v413 v414 v415 v416 v417 v418 v419 v420 v421 v422 v423 v424 v425 v426 v427 v428 v429 v430 v431 v432 v433 v434 v435 v436
v437 v438 v439 v440 v441 v442 v443 v444 v445 v446 v447 v448 v449 v450 v451 v452 v453 v454 v455 v456 v457 v458 v459 v460 v461 v462 v463 v464
v465 v466 v467 v468 v469 v470 v471 v472 v473 v474 v475 v476 v477 v478 v479 v480 v481 v482 v483 v484 v485 v486 v487 v488 v489 v490 v491 v492
v493 v494 v495 v496 v497 v498 v499 v500 v501 v502 v503 v504 v505 v506 v507 v508 v509 v510 v511 v512 v513 v514 v515 v516 v517 v518 v519 v520
v521 v522 v523 v524 v525 v526 v527 v528 v529 v530 v531 v532 v533 v534 v535 v536 v537 v538 v539 v540 v541 v542 v543 v544 v545 v546 v547 v548
v549 v550 v551 v552 v553 v554 v555 v556 v557 v558 v559 v560 v561 v562 v563 v564 v565 v566 v567 v568 v569 v570 v571 v572 v573 v574 v575 v576
v577 v578 v579 v580 v581 v582 v583 v584 v585 v586 v587 v588 v589 v590 v591 v592 v593 v594 v595 v596 v597 v598 v599 v600 v601 v602 v603 v604
v605 v606 v607 v608 v609 v610 v611 v612 v613 v614 v615 v616 v617 v618 v619 v620 v621 v622 v623 v624 v625 v626 v627 v628 v629 v630 v631 v632
v633 v634 v635 v636 v637 v638 v639 v640 v641 v642 v643 v644 v645 v646 v647 v648 v649 v650 v651 v652 v653 v654 v655 v656 v657 v658 v659 v660
v661 v662 v663 v664 v665 v666 v667 v668 v669 v670 v671 v672 v673 v674 v675 v676 v677 v678 v679 v680 v681 v682 v683 v684 v685 v686 v687 v688
v689 v690 v691 v692 v693 v694 v695 v696 v697 v698 v699 v700 v701 v702 v703 v704 v705 v706 v707 v708 v709 v710 v711 v712 v713 v714 v715 v716
v717 v718 v719 v720 v721 v722 v723 v724 v725 v726 v727 v728 v729 v730 v731 v732 v733 v734 v735 v736 v737 v738 v739 v740 v741 v742 v743 v744
v745 v746 v747 v748 v749 v750 v751 v752 v753 v754 v755 v756 v757 v758 v759 v760 v761 v762 v763 v764 v765 v766 v767 v768 v769 v770 v771 v772
v773 v774 v775 v776 v777 v778 v779 v780 v781 v782 v783 v784 v785 v786 v787 v788 v789 v790 v791 v792 v793 v794 v795 v796 v797 v798 v799 v800
v801 v802 v803 v804 v805 v806 v807 v808 v809 v810 v811 v812 v813 v814 v815 v816 v817 v818 v819 v820 v821 v822 v823 v824 v825 v826 v827 v828
v829 v830 v831 v832 v833 v834 v835 v836 v837 v838 v839 v840 v841 v842 v843 v844 v845 v846 v847 v848 v849 v850 v851 v852 v853 v854 v855 v856
v857 v858 v859 v860 v861 v862 v863 v864 v865 v866 v867 v868 v869 v870 v871 v872 v873 v874 v875 v876 v877 v878 v879 v880 v881 v882 v883 v884
v885 v886 v887 v888 v889 v890 v891 v892 v893 v894 v895 v896 v897 v898 v899 v900 v901 v902 v903 v904 v905 v906 v907 v908 v909 v910 v911 v912
v913 v914 v915 v916 v917 v918 v919 v920 v921 v922 v923 v924 v925 v926 v927 v928 v929 v930 v931 v932 v933 v934 v935 v936 v937 v938 v939 v940
v941 v942 v943 v944 v945 v946 v947 v948 v949 v950 v951 v952 v953 v954 v955 v956 v957 v958 v959 v960 v961 v962 v963 v964 v965 v966 v967 v968
v969 v970 v971 v972 v973 v974 v975 v976 v977 v978 v979 v980 v981 v982 v983 v984 v985 v986 v987 v988 v989 v990 v991 v992 v993 v994 v995 v996
v997 v998 v999 v1000 v1001 v1002 v1003 v1004 v1005 v1006 v1007 v1008 v1009 v1010 v1011 v1012 v1013 v1014 v1015 v1016 v1017 v1018 v1019 v1020
v1021 v1022 v1023 v1024 v1025 v1026 v1027 v1028 v1029 v1030 v1031 v1032 v1033 v1034 v1035 v1036 v1037 v1038 v1039 v1040 v1041 v1042 v1043
v1044 v1045 v1046 v1047 v1048 v1049 v1050 v1051 v1052 v1053 v1054 v1055 v1056 v1057 v1058 v1059 v1060 v1061 v1062 v1063 v1064 v1065 v1066
v1067 v1068 v1069 v1070 v1071 v1072 v1073 v1074 v1075 v1076 v1077 v1078 v1079 v1080 v1081 v1082 v1083 v1084 v1085 v1086 v1087 v1088 v1089
v1090 v1091 v1092 v1093 v1094 v1095 v1096 v1097 v1098 v1099 v1100 v1101 v1102 v1103 v1104 v1105 v1106 v1107 v1108 v1109 v1110 v1111 v1112
v1113 v1114 v1115 v1116 v1117 v1118 v1119 v1120 v1121 v1122 v1123 v1124 v1125 v1126 v1127 v1128 v1129 v1130 v1131 v1132 v1133 v1134 v1135
v1136 v1137 v1138 v1139 v1140 v1141 v1142 v1143 v1144 v1145 v1146 v1147 v1148 v1149 v1150 v1151 v1152 v1153 v1154 v1155 v1156 v1157 v1158
v1159 v1160 v1161 v1162 v1163 v1164 v1165 v1166 v1167 v1168 v1169 v1170 v1171 v1172 v1173 v1174 v1175 v1176 v1177 v1178 v1179 v1180 v1181
v1182 v1183 v1184 v1185 v1186 v1187 v1188 v1189 v1190 v1191 v1192 v1193 v1194 v1195 v1196 v1197 v1198 v1199 v1200 v1201 v1202 v1203 v1204
v1205 v1206 v1207 v1208 v1209 v1210 v1211 v1212 v1213 v1214 v1215 v1216 v1217 v1218 v1219 v1220 v1221 v1222 v1223 v1224 v1225 v1226 v1227
v1228 v1229 v1230 v1231 v1232 v1233 v1234 v1235 v1236 v1237 v1238 v1239 v1240 v1241 v1242 v1243 v1244 v1245 v1246 v1247 v1248 v1249 v1250
v1251 v1252 v1253 v1254 v1255 v1256 v1257 v1258 v1259 v1260 v1261 v1262 v1263 v1264 v1265 v1266 v1267 v1268 v1269 v1270 v1271 v1272 v1273
v1274 v1275 v1276 v1277 v1278 v1279 v1280 v1281 v1282 v1283 v1284 v1285 v1286 v1287 v1288 v1289 v1290 v1291 v1292 v1293 v1294 v1295 v1296
v1297 v1298 v1299 v1300 v1301 v1302 v1303 v1304 v1305 v1306 v1307 v1308 v1309 v1310 v1311 v1312 v1313 v1314 v1315 v1316 v1317 v1318 v1319
v1320 v1321 v1322 v1323 v1324 v1325 v1326 v1327 v1328 v1329 v1330 v1331 v1332 v1333 v1334 v1335 v1336 v1337 v1338 v1339 v1340 v1341 v1342
v1343 v1344 v1345 v1346 v1347 v1348 v1349 v1350 v1351 v1352 v1353 v1354 v1355 v1356 v1357 v1358 v1359 v1360 v1361 v1362 v1363 v1364 v1365
v1366 v1367 v1368 v1369 v1370 v1371 v1372 v1373 v1374 v1375 v1376 v1377 v1378 v1379 v1380 v1381 v1382 v1383 v1384 v1385 v1386 v1387 v1388
v1389 v1390 v1391 v1392 v1393 v1394 v1395 v1396 v1397 v1398 v1399 v1400 v1401 v1402 v1403 v1404 v1405 v1406 v1407 v1408 v1409 v1410 v1411
v1412 v1413 v1414 v1415 v1416 v1417 v1418 v1419 v1420 v1421 v1422 v1423 v1424 v1425 v1426 v1427 v1428 v1429 v1430 v1431 v1432 v1433 v1434
v1435 v1436 v1437 v1438 v1439 v1440 v1441 v1442 v1443 v1444 v1445 v1446 v1447 v1448 v1449 v1450 v1451 v1452 v1453 v1454 v1455 v1456 v1457
v1458 v1459 v1460 v1461 v1462 v1463 v1464 v1465 v1466 v1467 v1468 v1469 v1470 v1471 v1472 v1473 v1474 v1475 v1476 v1477 v1478 v1479 v1480
v1481 v1482 v1483 v1484 v1485 v1486 v1487 v1488 v1489 v1490 v1491 v1492 v1493 v1494 v1495 v1496 v1497 v1498 v1499 v1500 v1501 v1502 v1503
v1504 v1505 v1506 v1507 v1508 v1509 v1510 v1511 v1512 v1513 v1514 v1515 v1516 v1517 v1518 v1519 v1520 v1521 v1522 v1523 v1524 v1525 v1526
v1527 v1528 v1529 v1530 v1531 v1532 v1533 v1534 v1535 v1536 v1537 v1538 v1539 v1540 v1541 v1542 v1543 v1544 v1545 v1546 v1547 v1548 v1549
v1550 v1551 v1552 v1553 v1554 v1555 v1556 v1557 </list> <values>927 1385 862 1372 821 877 376 1433 723 1023 380 1448 1067 1449 90 183 646
525 260 97 1113 542 397 988 873 610 938 367 940 1555 398 1505 1422 1108 83 561 18 452 1248 308 224 1412 738 661 906 931 1084 1330 340 1415
586 1520 1069 578 53 1089 1025 1361 377 607 1337 1134 773 84 170 1403 1208 644 543 120 288 182 1060 717 495 1521 520 1120 1313 1523 1045 958
396 955 523 460 106 1227 1098 642 1136 1481 75 1171 720 1173 1059 1107 566 1174 1553 418 141 1543 1269 1294 227 1303 16 422 318 712 1336 333
537 670 535 602 1164 357 593 19 1364 669 548 1488 655 1186 908 1235 528 1298 454 364 1460 9 527 1198 592 247 1039 1105 1161 35 741 1090 981
1328 944 913 419 1439 302 1063 464 94 719 843 515 1323 1411 369 339 605 98 760 484 1061 1184 11 1405 218 658 898 929 1038 349 859 1472 71
653 1280 1487 1043 426 1117 1116 1259 628 1409 856 275 85 3 360 350 126 576 796 1348 991 668 1345 1498 808 1432 1517 1274 932 243 1332 1367
393 547 984 1317 1441 1214 220 1033 682 822 544 747 1382 539 585 993 1206 1284 1011 886 863 24 1257 552 463 894 1050 1087 252 976 163 1196
283 1012 600 1272 180 77 928 1133 317 963 1211 305 415 290 31 216 190 177 314 584 1192 68 1065 890 1434 129 435 395 501 1357 276 1310 196
1057 889 1044 715 246 608 1176 709 138 427 1042 558 1128 1356 824 365 239 390 1366 432 676 989 807 1292 387 355 1036 466 1118 467 255 1201
786 1346 459 345 1326 1086 1121 839 1020 739 575 1175 1204 366 119 88 1286 81 45 729 870 1245 680 38 1483 625 1157 740 696 1506 833 504 1491
1316 698 1256 962 943 382 251 444 502 282 219 476 300 1393 156 1518 200 509 57 321 1277 1391 1557 694 1421 603 28 433 1296 1261 348 1288 373
1179 1209 728 568 1363 1300 1461 446 517 95 1265 1507 1447 919 1143 811 1480 1243 338 641 1101 829 952 152 598 280 1417 1156 1228 912 881 69
885 599 416 403 937 874 1126 945 329 765 832 301 849 1048 1407 880 323 1097 109 800 154 1369 1383 951 1519 1218 1494 298 20 1093 1496 970
872 1479 556 1068 1414 1081 1055 1540 1075 1064 1131 1205 486 1529 1371 706 1546 722 664 424 193 671 1501 1080 226 1130 1031 781 844 1091
1358 891 604 423 1347 613 477 281 392 1305 206 953 1185 902 1144 735 470 195 1249 175 1246 1537 1471 96 533 112 1255 33 1424 232 428 673
1099 1304 1470 1324 482 400 65 134 791 1110 848 1119 1299 812 1141 113 1027 1040 964 1234 1398 985 996 1051 1264 285 1166 1114 157 1456 708
998 1008 1239 176 1413 197 750 581 1122 492 1200 203 1014 632 967 1148 1536 804 616 1216 1049 820 429 1338 635 341 1511 371 1428 1475 307
759 1260 933 462 1307 447 86 306 1017 1478 816 1225 473 414 269 1466 1109 481 253 1138 1047 258 1539 1029 1376 127 330 1079 1151 406 439 236
1512 1191 702 1552 250 310 43 688 1420 1199 328 1202 1359 1440 597 700 336 1389 254 865 920 342 139 827 356 12 1254 677 1319 1074 140 1238
1486 437 810 449 145 790 128 546 1327 1278 64 882 1085 354 1237 503 1455 1349 1104 1139 185 375 361 1052 636 388 137 893 451 1026 1429 1219
774 1230 202 979 1160 522 324 756 1516 114 34 47 596 174 309 384 458 618 978 972 1329 30 714 1127 412 74 1181 8 54 222 1526 1335 214 55 1401
1445 1147 497 1070 92 1425 147 478 1482 744 494 1462 270 343 158 1473 794 549 591 897 297 1477 91 746 620 434 550 559 1508 850 817 155 1528
1054 1437 1350 1220 1210 825 1096 118 1180 353 751 210 25 512 431 758 351 136 469 319 1308 485 179 151 1279 555 1076 1390 681 667 293 701
899 737 213 754 457 857 809 726 778 614 1236 489 194 802 534 131 1503 1145 257 736 1355 1384 742 1123 980 1394 133 892 571 1015 491 121 1183
471 1392 78 402 707 294 1197 1135 316 1542 1030 1223 337 27 1150 934 1053 1100 562 732 1190 493 1469 601 1170 1544 1457 325 1381 506 229
1153 519 1058 453 1095 941 1341 883 545 645 448 292 322 249 629 1538 334 1399 864 465 685 289 705 987 855 267 1458 775 230 29 100 1545 1442
693 296 358 1344 79 757 1072 291 187 277 1446 633 1408 697 923 554 1312 526 513 430 946 587 241 789 904 957 1165 284 1154 895 404 168 1423
13 1155 803 1397 1177 1003 814 1500 1213 977 1231 1351 871 44 514 1037 749 40 1514 1241 662 703 385 1416 901 417 116 1244 436 1368 408 1073
295 150 806 623 461 711 66 769 204 1547 242 63 638 866 1229 660 960 841 1340 830 692 474 36 490 1140 656 734 405 621 171 1400 420 1549 793
1215 279 1380 212 59 162 1452 1522 1311 15 1314 39 146 541 1509 1013 983 1430 924 1268 819 123 1016 6 1132 383 594 684 1541 731 60 223 968
208 879 231 565 142 215 1115 51 612 221 1533 173 207 619 799 1262 1212 1142 374 795 510 363 663 1034 617 70 1490 573 1250 456 1476 1435 1388
1168 1342 76 1515 1534 631 1370 648 733 654 1035 332 153 647 1493 1252 211 782 1301 362 986 1377 103 640 487 721 574 1419 1504 149 132 971
372 352 787 102 678 73 780 1374 0 1282 710 1188 853 99 245 500 627 7 1137 209 93 188 1373 911 381 104 327 699 1309 725 990 89 695 425 442
784 1224 854 1062 14 1402 974 639 649 1009 1320 973 347 768 1263 813 1007 479 413 666 1334 10 410 507 23 1182 475 160 1102 496 1233 713 1082
48 657 1410 611 1302 505 589 637 959 379 992 846 1454 455 858 521 926 178 1094 101 878 1004 391 72 1005 766 634 961 1438 1221 896 777 925
1103 1281 622 1217 1532 1499 999 225 1467 2 58 331 1125 538 117 1002 125 1022 835 1502 1293 499 1548 508 32 1146 511 837 262 122 518 256
1387 1066 315 1375 199 1289 801 472 1431 995 1088 399 186 1271 483 876 563 580 201 1283 46 409 1325 748 1106 907 966 727 797 869 665 838
1418 1459 1556 359 915 1287 917 755 1386 1464 56 217 828 771 950 1333 1290 320 169 690 553 344 772 861 1395 42 264 557 1492 1149 166 1468
303 868 762 567 1525 1465 378 1297 1339 438 1315 167 386 130 370 389 1322 1028 914 1162 1451 969 368 852 716 767 80 244 884 1071 67 590 779
909 335 1124 1436 450 1077 948 1178 595 570 630 1352 1531 949 942 1078 1083 1024 718 792 1270 531 272 921 148 1251 867 1484 445 764 240 845
5 1444 1427 1275 569 1404 818 687 689 659 192 540 1222 947 1247 144 1362 261 1111 205 268 888 615 233 1019 248 50 831 407 815 910 259 805
583 1527 609 61 1193 905 304 159 198 1463 530 842 770 468 643 108 411 776 588 443 1041 165 1056 1226 1187 1169 936 679 1207 237 954 401 840
1295 606 312 421 1360 498 1 271 834 87 763 1018 1232 930 480 266 1550 1378 579 441 651 788 1195 1158 1258 753 582 626 1524 1343 1406 532
1273 1267 1172 965 743 529 1497 1318 17 847 524 1489 1554 997 939 1032 1152 551 1021 1194 982 191 1331 826 265 1485 4 1353 798 1266 860 691
161 1306 1443 730 975 273 577 1189 564 228 49 572 189 624 1321 752 21 52 263 1129 235 1474 1240 935 1396 1426 785 823 238 286 1203 1379 313
115 1112 1495 394 234 311 37 683 994 1001 1354 1453 1253 1006 652 903 675 1450 440 761 724 918 62 887 1010 704 1551 26 110 1530 1513 650 107
745 41 1510 916 922 326 686 181 516 875 674 1167 1276 184 1159 1046 488 851 783 143 1000 672 82 1092 1291 1242 900 1365 560 836 124 278 1285
1535 1163 346 287 299 956 111 172 164 135 274 22 536 105 </values> </instantiation>