Skip to content
Snippets Groups Projects
Commit 3180bbb7 authored by Gonzalo Menendez Berch - ENS's avatar Gonzalo Menendez Berch - ENS
Browse files

lmao

parent d6dc5ef9
No related branches found
No related tags found
No related merge requests found
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 18120 additions and 0 deletions
malva/.Rhistory 0 → 100644
+ 0
− 0
View file @ 3180bbb7
malva/.cproject 0 → 100644
+ 134
− 0
View file @ 3180bbb7
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<?fileVersion 4.0.0?>
<cproject storage_type_id="org.eclipse.cdt.core.XmlProjectDescriptionStorage">
<storageModule moduleId="org.eclipse.cdt.core.settings">
<cconfiguration id="cdt.managedbuild.toolchain.gnu.base.1028103499">
<storageModule buildSystemId="org.eclipse.cdt.managedbuilder.core.configurationDataProvider" id="cdt.managedbuild.toolchain.gnu.base.1028103499" moduleId="org.eclipse.cdt.core.settings" name="Default">
<externalSettings/>
<extensions>
<extension id="org.eclipse.cdt.core.ELF" point="org.eclipse.cdt.core.BinaryParser"/>
<extension id="org.eclipse.cdt.core.GmakeErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
<extension id="org.eclipse.cdt.core.CWDLocator" point="org.eclipse.cdt.core.ErrorParser"/>
<extension id="org.eclipse.cdt.core.GCCErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
<extension id="org.eclipse.cdt.core.GASErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
<extension id="org.eclipse.cdt.core.GLDErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
</extensions>
</storageModule>
<storageModule moduleId="cdtBuildSystem" version="4.0.0">
<configuration artifactName="${ProjName}" buildProperties="" description="" id="cdt.managedbuild.toolchain.gnu.base.1028103499" name="Default" parent="org.eclipse.cdt.build.core.emptycfg">
<folderInfo id="cdt.managedbuild.toolchain.gnu.base.1028103499.1127827476" name="/" resourcePath="">
<toolChain id="cdt.managedbuild.toolchain.gnu.base.765753298" name="cdt.managedbuild.toolchain.gnu.base" superClass="cdt.managedbuild.toolchain.gnu.base">
<targetPlatform archList="all" binaryParser="org.eclipse.cdt.core.ELF" id="cdt.managedbuild.target.gnu.platform.base.1817766457" name="Debug Platform" osList="linux,hpux,aix,qnx" superClass="cdt.managedbuild.target.gnu.platform.base"/>
<builder id="cdt.managedbuild.target.gnu.builder.base.1493464269" keepEnvironmentInBuildfile="false" managedBuildOn="false" name="Gnu Make Builder" superClass="cdt.managedbuild.target.gnu.builder.base"/>
<tool id="cdt.managedbuild.tool.gnu.archiver.base.1457471918" name="GCC Archiver" superClass="cdt.managedbuild.tool.gnu.archiver.base"/>
<tool id="cdt.managedbuild.tool.gnu.cpp.compiler.base.1006777203" name="GCC C++ Compiler" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.base">
<inputType id="cdt.managedbuild.tool.gnu.cpp.compiler.input.224865571" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.input"/>
</tool>
<tool id="cdt.managedbuild.tool.gnu.c.compiler.base.2140176745" name="GCC C Compiler" superClass="cdt.managedbuild.tool.gnu.c.compiler.base">
<inputType id="cdt.managedbuild.tool.gnu.c.compiler.input.587099952" superClass="cdt.managedbuild.tool.gnu.c.compiler.input"/>
</tool>
<tool id="cdt.managedbuild.tool.gnu.c.linker.base.1988570852" name="GCC C Linker" superClass="cdt.managedbuild.tool.gnu.c.linker.base"/>
<tool id="cdt.managedbuild.tool.gnu.cpp.linker.base.1956065400" name="GCC C++ Linker" superClass="cdt.managedbuild.tool.gnu.cpp.linker.base">
<inputType id="cdt.managedbuild.tool.gnu.cpp.linker.input.507618374" superClass="cdt.managedbuild.tool.gnu.cpp.linker.input">
<additionalInput kind="additionalinputdependency" paths="$(USER_OBJS)"/>
<additionalInput kind="additionalinput" paths="$(LIBS)"/>
</inputType>
</tool>
<tool id="cdt.managedbuild.tool.gnu.assembler.base.535458070" name="GCC Assembler" superClass="cdt.managedbuild.tool.gnu.assembler.base">
<inputType id="cdt.managedbuild.tool.gnu.assembler.input.584095528" superClass="cdt.managedbuild.tool.gnu.assembler.input"/>
</tool>
</toolChain>
</folderInfo>
</configuration>
</storageModule>
<storageModule moduleId="scannerConfiguration">
<autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
<profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile">
<buildOutputProvider>
<openAction enabled="true" filePath=""/>
<parser enabled="true"/>
</buildOutputProvider>
<scannerInfoProvider id="specsFile">
<runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
<parser enabled="true"/>
</scannerInfoProvider>
</profile>
<profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile">
<buildOutputProvider>
<openAction enabled="true" filePath=""/>
<parser enabled="true"/>
</buildOutputProvider>
<scannerInfoProvider id="makefileGenerator">
<runAction arguments="-E -P -v -dD" command="" useDefault="true"/>
<parser enabled="true"/>
</scannerInfoProvider>
</profile>
<profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile">
<buildOutputProvider>
<openAction enabled="true" filePath=""/>
<parser enabled="true"/>
</buildOutputProvider>
<scannerInfoProvider id="specsFile">
<runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
<parser enabled="true"/>
</scannerInfoProvider>
</profile>
<profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP">
<buildOutputProvider>
<openAction enabled="true" filePath=""/>
<parser enabled="true"/>
</buildOutputProvider>
<scannerInfoProvider id="specsFile">
<runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/>
<parser enabled="true"/>
</scannerInfoProvider>
</profile>
<profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC">
<buildOutputProvider>
<openAction enabled="true" filePath=""/>
<parser enabled="true"/>
</buildOutputProvider>
<scannerInfoProvider id="specsFile">
<runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/>
<parser enabled="true"/>
</scannerInfoProvider>
</profile>
<profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile">
<buildOutputProvider>
<openAction enabled="true" filePath=""/>
<parser enabled="true"/>
</buildOutputProvider>
<scannerInfoProvider id="specsFile">
<runAction arguments="-c 'gcc -E -P -v -dD &quot;${plugin_state_location}/${specs_file}&quot;'" command="sh" useDefault="true"/>
<parser enabled="true"/>
</scannerInfoProvider>
</profile>
<profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP">
<buildOutputProvider>
<openAction enabled="true" filePath=""/>
<parser enabled="true"/>
</buildOutputProvider>
<scannerInfoProvider id="specsFile">
<runAction arguments="-c 'g++ -E -P -v -dD &quot;${plugin_state_location}/specs.cpp&quot;'" command="sh" useDefault="true"/>
<parser enabled="true"/>
</scannerInfoProvider>
</profile>
<profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC">
<buildOutputProvider>
<openAction enabled="true" filePath=""/>
<parser enabled="true"/>
</buildOutputProvider>
<scannerInfoProvider id="specsFile">
<runAction arguments="-c 'gcc -E -P -v -dD &quot;${plugin_state_location}/specs.c&quot;'" command="sh" useDefault="true"/>
<parser enabled="true"/>
</scannerInfoProvider>
</profile>
</storageModule>
<storageModule moduleId="org.eclipse.cdt.core.externalSettings"/>
</cconfiguration>
</storageModule>
<storageModule moduleId="cdtBuildSystem" version="4.0.0">
<project id="malva.null.2024921052" name="malva"/>
</storageModule>
</cproject>
malva/.gitignore 0 → 100644
+ 6
− 0
View file @ 3180bbb7
.cproject/
.project/
.svn/
.idea/
.DS_Store
malva/.project 0 → 100644
+ 79
− 0
View file @ 3180bbb7
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>Malva</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
<buildCommand>
<name>org.eclipse.cdt.managedbuilder.core.genmakebuilder</name>
<triggers>clean,full,incremental,</triggers>
<arguments>
<dictionary>
<key>?name?</key>
<value></value>
</dictionary>
<dictionary>
<key>org.eclipse.cdt.make.core.append_environment</key>
<value>true</value>
</dictionary>
<dictionary>
<key>org.eclipse.cdt.make.core.autoBuildTarget</key>
<value>all</value>
</dictionary>
<dictionary>
<key>org.eclipse.cdt.make.core.buildArguments</key>
<value></value>
</dictionary>
<dictionary>
<key>org.eclipse.cdt.make.core.buildCommand</key>
<value>make</value>
</dictionary>
<dictionary>
<key>org.eclipse.cdt.make.core.cleanBuildTarget</key>
<value>clean</value>
</dictionary>
<dictionary>
<key>org.eclipse.cdt.make.core.contents</key>
<value>org.eclipse.cdt.make.core.activeConfigSettings</value>
</dictionary>
<dictionary>
<key>org.eclipse.cdt.make.core.enableAutoBuild</key>
<value>false</value>
</dictionary>
<dictionary>
<key>org.eclipse.cdt.make.core.enableCleanBuild</key>
<value>true</value>
</dictionary>
<dictionary>
<key>org.eclipse.cdt.make.core.enableFullBuild</key>
<value>true</value>
</dictionary>
<dictionary>
<key>org.eclipse.cdt.make.core.fullBuildTarget</key>
<value>all</value>
</dictionary>
<dictionary>
<key>org.eclipse.cdt.make.core.stopOnError</key>
<value>true</value>
</dictionary>
<dictionary>
<key>org.eclipse.cdt.make.core.useDefaultBuildCmd</key>
<value>true</value>
</dictionary>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.cdt.managedbuilder.core.ScannerConfigBuilder</name>
<triggers>full,incremental,</triggers>
<arguments>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.eclipse.cdt.core.cnature</nature>
<nature>org.eclipse.cdt.core.ccnature</nature>
<nature>org.eclipse.cdt.managedbuilder.core.managedBuildNature</nature>
<nature>org.eclipse.cdt.managedbuilder.core.ScannerConfigNature</nature>
</natures>
</projectDescription>
malva/Makefile 0 → 100644
+ 24
− 0
View file @ 3180bbb7
default:
@echo "Make what? (all, libs, skeletons, clean)"
all:
(cd inc ; rm -f Mallba)
(cd inc ; ./inc.env)
(cd src ; make all)
(cd lib ; make all)
(cd rep ; make all)
libs:
(cd inc ; rm -f Mallba)
(cd inc ; ./inc.env)
(cd src ; make all)
(cd lib ; make all)
skeletons:
(cd rep ; make all)
clean:
(cd inc ; rm -f Mallba)
(cd src ; make clean)
(cd lib ; make clean)
(cd rep ; make clean)
malva/ProblemInstances/ATSP-instances/br17.atsp 0 → 100644
+ 42
− 0
View file @ 3180bbb7
NAME: br17
TYPE: ATSP
COMMENT: 17 city problem (Repetto)
DIMENSION: 17
EDGE_WEIGHT_TYPE: EXPLICIT
EDGE_WEIGHT_FORMAT: FULL_MATRIX
EDGE_WEIGHT_SECTION
9999 3 5 48 48 8 8 5 5 3 3 0 3 5 8 8
5
3 9999 3 48 48 8 8 5 5 0 0 3 0 3 8 8
5
5 3 9999 72 72 48 48 24 24 3 3 5 3 0 48 48
24
48 48 74 9999 0 6 6 12 12 48 48 48 48 74 6 6
12
48 48 74 0 9999 6 6 12 12 48 48 48 48 74 6 6
12
8 8 50 6 6 9999 0 8 8 8 8 8 8 50 0 0
8
8 8 50 6 6 0 9999 8 8 8 8 8 8 50 0 0
8
5 5 26 12 12 8 8 9999 0 5 5 5 5 26 8 8
0
5 5 26 12 12 8 8 0 9999 5 5 5 5 26 8 8
0
3 0 3 48 48 8 8 5 5 9999 0 3 0 3 8 8
5
3 0 3 48 48 8 8 5 5 0 9999 3 0 3 8 8
5
0 3 5 48 48 8 8 5 5 3 3 9999 3 5 8 8
5
3 0 3 48 48 8 8 5 5 0 0 3 9999 3 8 8
5
5 3 0 72 72 48 48 24 24 3 3 5 3 9999 48 48
24
8 8 50 6 6 0 0 8 8 8 8 8 8 50 9999 0
8
8 8 50 6 6 0 0 8 8 8 8 8 8 50 0 9999
8
5 5 26 12 12 8 8 0 0 5 5 5 5 26 8 8
9999
EOF
malva/ProblemInstances/ATSP-instances/ft53.atsp 0 → 100644
+ 220
− 0
View file @ 3180bbb7
This diff is collapsed.
malva/ProblemInstances/ATSP-instances/ft70.atsp 0 → 100644
+ 358
− 0
View file @ 3180bbb7
This diff is collapsed.
malva/ProblemInstances/ATSP-instances/ftv170.atsp 0 → 100644
+ 4882
− 0
View file @ 3180bbb7
This diff is collapsed.
malva/ProblemInstances/ATSP-instances/ftv70.atsp 0 → 100644
+ 849
− 0
View file @ 3180bbb7
This diff is collapsed.
malva/ProblemInstances/ATSP-instances/rbg323.atsp 0 → 100644
+ 6467
− 0
View file @ 3180bbb7
This diff is collapsed.
malva/ProblemInstances/ATSP-instances/ry48p.atsp 0 → 100644
+ 200
− 0
View file @ 3180bbb7
NAME: ry48p
TYPE: ATSP
COMMENT: Asymmetric TSP (Fischetti)
DIMENSION: 48
EDGE_WEIGHT_TYPE: EXPLICIT
EDGE_WEIGHT_FORMAT: FULL_MATRIX
EDGE_WEIGHT_SECTION
9999999 1593 569 2056 1327 1009 947 301 234 1800 625 700 754 790 529
395 1385 856 1179 821 1085 385 730 1808 915 2076 1120 1002 1297 1026
592 1448 694 743 2254 880 1137 330 1121 449 786 1594 1264 755 2354
593 849 1216
1619 9999999 1191 656 595 2304 2128 1797 1674 834 1348 1620 1183 1050 1629
1339 2444 2039 2350 1646 1334 1322 1167 1079 1182 624 2307 2171 478 2272
1923 1192 1837 982 1060 2132 2312 1884 1047 1513 1051 550 2287 2125 1123
1765 1388 718
528 1297 9999999 1682 809 1309 1170 624 506 1445 526 488 561 402 610
429 1510 1072 1419 882 801 250 401 1351 485 1579 1436 1194 898 1194
816 1054 728 471 1828 1000 1276 837 898 465 459 1183 1314 989 1876
708 620 968
2097 723 1781 9999999 996 2674 2595 2360 2236 501 1846 2061 1616 1580 2108
1884 2678 2590 2635 2068 1584 1847 1638 930 1328 187 2635 2582 948 2669
2421 1197 2183 1506 620 2438 2782 2337 1328 1959 1513 680 2603 2497 648
2142 1827 1058
1310 680 780 1023 9999999 1690 1754 1424 1279 787 900 1153 759 612 1201
1098 1918 1682 1858 1148 876 975 761 759 639 820 1759 1651 417 1694
1459 718 1292 566 1005 1632 1870 1540 493 1131 954 496 1760 1629 1144
1306 886 295
1156 2218 1336 2687 1745 9999999 358 1020 964 2253 998 774 1089 1369 692
1349 364 339 249 801 1187 1286 1135 2157 1442 2473 276 303 1881 258
681 1588 708 1488 2624 391 254 704 1508 879 1636 2165 300 429 2588
668 1014 1735
827 2103 1085 2504 1692 258 9999999 972 759 2236 834 724 970 1102 604
1227 535 54 493 551 1165 1066 974 1908 1239 2379 508 124 1677 311
386 1483 590 1382 2444 204 391 614 1437 820 1410 2049 471 245 2595
386 858 1615
190 1684 698 2274 1395 1116 792 9999999 387 2016 797 691 984 1055 677
445 1348 868 1148 936 1246 404 816 1965 1191 2206 1272 1050 1323 1057
505 1607 839 890 2379 972 1098 327 1471 545 973 1756 1200 786 2415
616 920 1552
217 1673 526 2144 1366 1009 796 413 9999999 1941 696 570 899 793 452
515 1094 619 1003 758 937 524 615 1760 1020 2103 1133 749 1323 900
465 1379 477 762 2222 632 1020 317 1178 247 908 1609 1140 473 2205
392 824 1237
1892 856 1591 636 780 2323 2205 2133 2014 9999999 1544 1649 1258 1170 1709
1716 2377 2141 2443 1629 1320 1686 1395 378 1015 383 2367 2191 833 2283
2062 800 1897 1257 448 2138 2287 2109 803 1810 1520 415 2270 2119 478
1932 1486 706
660 1316 535 1817 893 1084 780 764 592 1407 9999999 323 304 464 344
787 1129 839 1180 507 450 669 189 1400 416 1760 992 905 963 975
745 890 503 643 1901 829 1118 775 749 403 986 1343 1039 813 1921
564 418 853
673 1626 580 1892 1168 829 719 745 438 1582 366 9999999 537 648 217
787 1031 541 896 370 568 609 434 1536 589 1928 807 792 1282 790
677 930 214 705 1993 690 926 561 936 442 987 1422 772 547 1895
410 343 1015
786 1289 570 1603 682 1203 1059 956 885 1353 297 547 9999999 328 632
937 1377 1023 1316 495 332 849 227 1130 254 1474 1322 1106 933 1097
955 530 617 535 1634 949 1254 884 521 702 891 1051 1127 1096 1568
844 326 758
776 1066 499 1584 536 1245 1106 1016 913 1157 331 690 236 9999999 746
720 1414 1137 1420 747 457 711 234 1016 211 1370 1479 1144 617 1341
1115 761 697 443 1549 1172 1452 939 461 555 768 949 1319 1135 1589
791 555 566
434 1750 629 2111 1152 812 635 592 499 1693 299 220 686 769 9999999
837 1005 609 839 473 664 664 440 1510 773 2009 952 567 1243 788
531 1137 228 918 2134 466 902 500 1012 333 916 1638 889 435 2012
373 519 1160
430 1369 449 1956 1178 1364 1169 534 490 1736 747 829 850 721 832
9999999 1524 1019 1405 1055 1018 221 649 1586 854 1849 1420 1180 1082 1460
920 1405 886 659 2137 1144 1366 685 1164 621 512 1489 1507 1040 2047
848 988 1247
1295 2527 1426 2755 1976 340 497 1247 1189 2385 1187 918 1228 1425 1065
1531 9999999 659 233 866 1323 1565 1347 2089 1544 2637 126 545 2079 346
772 1567 751 1683 2693 613 274 1026 1535 1207 1826 2313 171 795 2715
822 1033 1946
851 2101 1064 2399 1615 452 196 834 668 2196 775 586 1078 1175 512
1028 645 9999999 513 509 1136 909 1009 1929 1194 2379 419 165 1787 323
377 1412 467 1184 2407 118 370 608 1422 609 1362 2042 507 269 2516
311 838 1685
1210 2372 1385 2679 1919 125 516 1170 1001 2442 1102 873 1280 1418 955
1398 269 524 9999999 759 1146 1399 1311 2170 1428 2617 79 287 2039 310
680 1564 664 1553 2738 407 99 894 1569 1003 1787 2101 329 655 2629
808 934 1871
723 1779 819 2056 1170 726 592 967 815 1664 406 377 543 649 370
1104 750 631 866 9999999 499 841 652 1371 782 1895 694 658 1243 682
724 937 213 1047 2019 544 735 791 814 500 1189 1511 799 550 1948
438 262 1047
1005 1475 840 1600 715 1188 1122 1256 970 1208 508 618 304 615 716
999 1175 1107 1206 542 9999999 984 461 1106 460 1480 1125 1128 1115 1054
1132 571 755 708 1546 1033 1198 987 545 798 1228 1161 1075 1037 1506
876 346 791
404 1421 317 1918 1059 1275 1025 420 534 1663 616 660 745 742 683
328 1491 904 1452 882 921 9999999 559 1624 718 1903 1280 1053 978 1282
710 1140 809 557 2124 984 1278 702 1022 491 558 1414 1335 949 2111
695 791 1189
546 1189 345 1638 718 1246 1034 781 682 1314 251 504 225 264 593
685 1412 863 1312 570 521 614 9999999 1221 414 1559 1246 970 860 1134
868 724 662 436 1807 986 1162 706 620 469 665 1181 1090 930 1741
586 412 770
1695 962 1414 866 621 1982 1923 1990 1749 352 1256 1480 1015 1106 1502
1646 2199 1954 2105 1419 1063 1542 1227 9999999 875 798 2153 1991 950 1929
1892 683 1620 1115 725 1886 2083 1857 766 1520 1554 459 2052 2040 646
1834 1330 537
952 1029 537 1441 451 1411 1250 1051 833 1110 524 581 184 228 691
923 1568 1237 1419 765 423 873 429 1023 9999999 1310 1350 1283 719 1235
1158 538 901 518 1452 1060 1373 1166 461 645 851 966 1332 1218 1365
945 553 568
2061 722 1713 298 813 2633 2414 2254 2162 487 1606 1867 1419 1350 1900
1728 2730 2455 2548 1965 1542 1732 1654 755 1299 9999999 2571 2564 831 2422
2357 1210 2057 1254 464 2359 2669 2163 1071 1856 1577 497 2540 2371 714
2232 1643 952
1173 2364 1322 2759 1912 246 530 1243 1011 2335 1125 907 1166 1454 860
1547 298 463 75 661 1197 1362 1227 2108 1302 2550 9999999 381 2018 248
661 1602 780 1547 2606 420 191 880 1573 1000 1781 2079 174 619 2648
753 963 1735
872 2158 1106 2574 1739 273 278 943 833 2234 799 677 1120 1245 559
1161 484 163 337 574 1169 1163 970 2001 1196 2375 300 9999999 1849 265
508 1383 470 1421 2587 298 224 586 1380 880 1471 2064 358 421 2425
553 898 1601
1284 503 875 979 375 1874 1736 1429 1243 911 1052 1170 836 658 1334
1037 1998 1731 2002 1427 1041 1120 857 969 674 971 1966 1800 9999999 1785
1630 936 1323 562 1243 1670 2000 1464 791 1188 747 482 2009 1704 1232
1380 1060 565
1099 2354 1305 2528 1734 138 418 1078 934 2189 1030 752 1046 1218 717
1360 411 417 261 556 1122 1145 1085 1986 1225 2534 255 247 1956 9999999
596 1445 581 1540 2501 244 146 896 1491 946 1677 2102 263 483 2439
674 965 1749
672 1921 948 2388 1537 594 394 495 425 2053 849 589 973 1137 388
847 886 350 613 693 1076 778 791 1943 1066 2367 690 390 1561 612
9999999 1467 530 1124 2558 369 690 287 1441 455 1363 1989 709 283 2489
373 800 1504
1387 1277 1020 1219 545 1467 1455 1553 1281 883 765 950 675 770 1139
1245 1543 1437 1541 853 570 1325 824 534 657 1287 1625 1490 863 1468
1542 9999999 1015 891 1183 1448 1554 1406 266 1142 1162 765 1435 1465 1175
1278 700 632
747 1668 719 2159 1183 633 500 722 525 1896 400 251 636 742 322
812 931 385 692 236 727 855 678 1643 847 1988 774 490 1324 685
411 1093 9999999 1028 2141 469 655 532 1049 427 1228 1649 725 424 2064
190 462 1251
702 1023 383 1383 644 1420 1272 914 824 1280 575 723 604 352 820
695 1665 1366 1642 867 806 648 542 1173 567 1316 1504 1408 601 1556
1093 826 937 9999999 1521 1187 1466 964 764 617 399 1000 1492 1147 1647
980 701 554
2318 1080 1876 516 1131 2587 2633 2328 2298 516 1836 2047 1595 1561 2094
2137 2690 2509 2644 1942 1545 1967 1716 700 1385 594 2612 2552 1137 2467
2474 1260 2162 1513 9999999 2468 2699 2387 1201 2007 1886 661 2545 2527 285
2358 1796 954
789 2177 966 2481 1629 411 179 930 754 2061 841 687 957 1116 621
1236 636 263 374 506 985 1055 927 1804 1104 2429 390 232 1693 296
499 1359 448 1361 2370 9999999 353 488 1394 800 1428 1896 532 217 2479
423 825 1536
1154 2403 1241 2712 1817 176 340 1199 1014 2320 1146 874 1232 1392 791
1398 350 419 151 739 1116 1282 1204 2209 1436 2570 289 240 1959 237
591 1666 726 1490 2732 312 9999999 855 1610 1063 1665 2126 207 600 2664
754 1054 1852
514 1895 655 2265 1531 739 492 329 290 2007 671 615 962 939 389
708 1052 549 850 682 1173 592 708 1878 1139 2305 1015 636 1528 843
313 1391 469 1078 2343 529 887 9999999 1286 361 1114 1923 979 340 2437
474 928 1576
1232 1141 943 1222 534 1485 1372 1439 1153 879 678 862 390 611 949
1157 1610 1385 1532 829 382 1057 770 734 483 1183 1580 1504 754 1350
1357 255 1001 641 1214 1312 1653 1420 9999999 1030 1168 709 1451 1329 1247
1090 653 364
262 1623 397 1915 1050 898 682 573 237 1775 342 439 636 698 196
638 1092 683 1125 578 695 364 487 1644 667 1815 1011 842 1238 1022
543 1179 456 771 2058 795 910 449 1058 9999999 812 1411 1112 610 2066
417 574 1033
798 1070 476 1489 790 1729 1582 940 954 1562 957 922 957 695 1068
567 1847 1458 1743 1210 1096 627 846 1502 838 1554 1835 1462 709 1766
1195 1150 1063 496 1727 1452 1803 1194 997 833 9999999 1159 1857 1385 1819
1098 1074 907
1536 598 1201 631 449 2195 2058 1776 1767 494 1261 1519 1138 900 1547
1459 2231 1924 2156 1470 993 1388 1175 407 955 569 2225 2090 501 2123
2002 841 1592 988 699 1868 2137 1899 658 1530 1127 9999999 2060 1916 745
1667 1272 510
1176 2389 1379 2717 1694 332 408 1260 1022 2321 1004 879 1079 1384 814
1588 250 496 217 685 1100 1308 1175 1985 1293 2589 236 498 1912 170
709 1428 781 1574 2471 530 212 851 1544 1096 1675 2133 9999999 708 2454
706 907 1672
619 2085 990 2459 1541 520 280 793 507 2204 821 644 1092 1176 420
948 636 231 605 629 1046 945 831 1990 1162 2387 600 416 1766 494
197 1483 420 1173 2410 250 615 445 1441 539 1294 1902 590 9999999 2434
423 757 1531
2281 1127 1889 727 1131 2498 2445 2443 2350 594 1874 2030 1591 1659 2192
2056 2593 2501 2532 1979 1553 2056 1761 577 1529 595 2553 2613 1292 2555
2474 1123 2106 1632 324 2448 2712 2465 1183 2151 1793 795 2542 2526 9999999
2196 1783 1001
584 1919 727 2331 1424 610 491 761 514 1839 455 427 733 833 282
933 769 376 712 433 886 636 694 1782 964 2210 748 583 1400 675
375 1234 152 1078 2279 377 665 332 1160 485 1090 1641 631 415 2342
9999999 645 1281
856 1456 670 1757 900 860 842 1110 831 1365 324 480 335 625 525
981 1008 896 1082 250 274 802 470 1140 486 1609 1062 832 1051 937
914 615 426 857 1856 786 1087 955 560 646 1048 1351 1035 809 1752
679 9999999 811
1209 724 957 1012 248 1750 1558 1373 1393 683 957 1018 588 633 1190
1169 1840 1656 1912 1112 811 1188 873 590 428 984 1759 1682 509 1743
1590 480 1202 703 1134 1594 1913 1515 346 1227 968 537 1714 1616 1145
1371 902 9999999
EOF
malva/ProblemInstances/DNAFA-instances/pbm.txt 0 → 100644
+ 2
− 0
View file @ 3180bbb7
30
/Mallba/ProblemInstances/DNAFA-instances/x60189_4.dat
malva/ProblemInstances/DNAFA-instances/score.txt 0 → 100644
+ 39
− 0
View file @ 3180bbb7
0 1 0 304 1 1 1 0 7 -163 247 1 2 1 1 0 0 2 0 1 1 1 2 1 1 107 0 1 3 1 1 0 1 286 1 3 0 1 1
1 0 1 1 -3 3 -1 331 -302 2 5 0 1 0 0 -1 -2 -2 2 281 0 -413 1 0 168 -2 2 0 -3 39 412 2 155 1 4 247 274 0 53
0 1 0 -2 225 0 2 1 0 -1 1 178 1 2 -2 -1 -2 -149 -3 -1 -2 2 1 366 -2 4 2 -2 -7 -2 -3 -363 -2 -2 -327 -1 -1 -353 -3
304 1 -2 0 -1 -27 -1 0 -1 -160 327 -3 43 -1 1 4 1 2 1 -1 1 -4 2 1 1 200 -1 1 1 1 1 2 1 283 -1 3 3 1 1
1 -3 225 -1 0 -2 -3 -3 -2 -1 0 1 0 -1 1 -1 -1 -279 -2 -2 2 0 -106 104 -2 1 2 -2 2 -1 -1 -252 0 -1 -65 0 -1 -250 -1
1 3 0 -27 -2 0 1 0 -2 -1 -14 -1 -346 1 -1 6 -88 -1 -241 -2 -1 1 0 1 -2 -276 1 -2 2 -2 -2 1 1 -1 -3 -1 0 3 3
1 -1 2 -1 -3 1 0 0 1 -1 -3 -1 2 -6 -414 0 -1 -2 -1 1 -301 2 99 1 1 1 271 6 1 -1 -1 -2 1 -1 1 -3 -2 -1 -1
0 331 1 0 -3 0 0 0 -302 0 1 0 1 0 0 1 2 2 3 185 0 -317 1 0 72 -4 2 0 0 2 316 2 155 0 0 247 178 0 3
7 -302 0 -1 -2 -2 1 -302 0 -26 2 -1 2 -4 -1 0 -1 -2 -1 -156 -1 288 -2 1 -43 1 1 -2 3 -1 -287 1 -306 -1 1 -377 -149 -1 -1
-163 2 -1 -160 -1 -1 -1 0 -26 0 -103 2 1 -1 2 1 0 -1 0 -2 1 -1 -1 1 1 0 0 1 1 2 2 1 76 -289 -2 5 -2 2 2
247 5 1 327 0 -14 -3 1 2 -103 0 1 30 1 1 1 1 0 -2 1 2 0 1 0 -4 187 2 0 0 0 0 0 0 226 1 0 1 2 5
1 0 178 -3 1 -1 -1 0 -1 2 1 0 1 0 -2 -1 1 1 1 2 0 1 2 271 0 1 -1 -4 -309 161 1 -54 0 1 -316 -1 2 -44 23
2 1 1 43 0 -346 2 1 2 1 30 1 0 1 1 1 150 0 303 1 1 0 1 0 0 292 1 0 0 0 0 0 0 -2 1 0 1 1 0
1 0 2 -1 -1 1 -6 0 -4 -1 1 0 1 0 6 260 -251 2 -123 0 6 2 -1 0 0 1 -2 -300 0 2 -1 -2 0 -1 0 -3 -2 0 -1
1 0 -2 1 1 -1 -414 0 -1 2 1 -2 1 6 0 -1 1 1 3 2 301 -2 -79 0 0 1 -251 -6 0 1 1 2 0 1 2 3 2 0 1
0 -1 -1 4 -1 6 0 1 0 1 1 -1 1 260 -1 0 -306 2 -178 1 -2 -1 -1 0 0 -4 -2 -100 0 2 3 -2 0 0 1 1 1 -3 3
0 -2 -2 1 -1 -88 -1 2 -1 0 1 1 150 -251 1 -306 0 2 339 -1 1 -1 -1 1 1 18 -2 91 1 2 3 -2 1 1 -1 1 1 1 3
2 -2 -149 2 -279 -1 -2 2 -2 -1 0 1 0 2 1 2 2 0 -1 -1 1 -1 252 -28 1 2 115 3 1 1 1 176 1 2 -1 1 -1 174 1
0 2 -3 1 -2 -241 -1 3 -1 0 -2 1 303 -123 3 -178 339 -1 0 -1 1 -1 -1 1 1 171 0 1 1 2 2 1 1 1 -2 2 1 2 2
1 281 -1 -1 -2 -2 1 185 -156 -2 1 2 1 0 2 1 -1 -1 -1 0 0 -312 -1 0 324 1 1 -2 2 214 313 1 9 -1 -3 101 310 3 228
1 0 -2 1 2 -1 -301 0 -1 1 2 0 1 6 301 -2 1 1 1 0 0 -2 1 0 0 1 -138 -6 0 1 1 3 0 1 0 3 2 0 1
1 -413 2 -4 0 1 2 -317 288 -1 0 1 0 2 -2 -1 -1 -1 -1 -312 -2 0 1 -2 -199 1 1 -2 0 -70 -443 -2 -141 -2 3 -233 -305 1 -84
2 1 1 2 -106 0 99 1 -2 -1 1 2 1 -1 -79 -1 -1 252 -1 -1 1 1 0 -2 0 2 228 0 -2 0 0 3 -2 2 -1 2 -1 1 0
1 0 366 1 104 1 1 0 1 1 0 271 0 0 0 0 1 -28 1 0 0 -2 -2 0 0 1 -3 0 -100 1 1 -242 0 3 -420 0 2 -232 1
1 168 -2 1 -2 -2 1 72 -43 1 -4 0 0 0 0 0 1 1 1 324 0 -199 0 0 0 1 -3 -2 2 195 200 2 0 1 -3 0 204 3 209
107 -2 4 200 1 -276 1 -4 1 0 187 1 292 1 1 -4 18 2 171 1 1 1 2 1 1 0 0 1 -3 -2 -2 0 1 86 2 3 0 -2 -2
0 2 2 -1 2 1 271 2 1 0 2 -1 1 -2 -251 -2 -2 115 0 1 -138 1 228 -3 -3 0 0 1 1 -1 -1 -1 -3 -1 1 -2 -1 -1 -1
1 0 -2 1 -2 -2 6 0 -2 1 0 -4 0 -300 -6 -100 91 3 1 -2 -6 -2 0 0 -2 1 1 0 2 1 1 2 0 1 0 3 2 0 1
3 -3 -7 1 2 2 1 0 3 1 0 -309 0 0 0 0 1 1 1 2 0 0 -2 -100 2 -3 1 2 0 -141 1 1 0 -3 145 0 0 -3 -3
1 39 -2 1 -1 -2 -1 2 -1 2 0 161 0 2 1 2 2 1 2 214 1 -70 0 1 195 -2 -1 1 -141 0 71 -1 1 1 -1 1 75 1 291
1 412 -3 1 -1 -2 -1 316 -287 2 0 1 0 -1 1 3 3 1 2 313 1 -443 0 1 200 -2 -1 1 1 71 0 -1 140 1 -2 232 306 2 85
0 2 -363 2 -252 1 -2 2 1 1 0 -54 0 -2 2 -2 -2 176 1 1 3 -2 3 -242 2 0 -1 2 1 -1 -1 0 2 2 203 -1 1 378 -1
1 155 -2 1 0 1 1 155 -306 76 0 0 0 0 0 0 1 1 1 9 0 -141 -2 0 0 1 -3 0 0 1 140 2 0 3 0 285 2 0 1
286 1 -2 283 -1 -1 -1 0 -1 -289 226 1 -2 -1 1 0 1 2 1 -1 1 -2 2 3 1 86 -1 1 -3 1 1 2 3 0 -1 3 2 1 1
1 4 -327 -1 -65 -3 1 0 1 -2 1 -316 1 0 2 1 -1 -1 -2 -3 0 3 -1 -420 -3 2 1 0 145 -1 -2 203 0 -1 0 1 -2 193 4
3 247 -1 3 0 -1 -3 247 -377 5 0 -1 0 -3 3 1 1 1 2 101 3 -233 2 0 0 3 -2 3 0 1 232 -1 285 3 1 0 94 -2 1
0 274 -1 3 -1 0 -2 178 -149 -2 1 2 1 -2 2 1 1 -1 1 310 2 -305 -1 2 204 0 -1 2 0 75 306 1 2 2 -2 94 0 -1 89
1 0 -353 1 -250 3 -1 0 -1 2 2 -44 1 0 0 -3 1 174 2 3 0 1 1 -232 3 -2 -1 0 -3 1 2 378 0 1 193 -2 -1 0 2
1 53 -3 1 -1 3 -1 3 -1 2 5 23 0 -1 1 3 3 1 2 228 1 -84 0 1 209 -2 -1 1 -3 291 85 -1 1 1 4 1 89 2 0
malva/ProblemInstances/DNAFA-instances/x60189_4.dat 0 → 100644
+ 78
− 0
View file @ 3180bbb7
>frag0000
caccatctcaggcctggagccagaccataaatacaagatgaacctgtacggcttccacggtggccagcgcgtgggccccatctctgtcattggggtgacgggtgagtggatgatggcagccccagggtgggagccgtgggagggtcaccctcttgctctttggtgatgactggtggggaatgggccaggggtccggtcagcaccacagacctgcttgtggctggggctccccttggccttcctctgaggctgacccctggctcctcctgagcagggaggggccgtcaggagctctgctgtgctggtg
>frag0001
agcacagctcttcatcctctcctctcctgtggcctttcctatccctcaccctgaccctcctgccctcagcccccacctcacccccacctcccaacacccaggccacctctccctgtccctccagcaccgcctctcttttgagcacagccccactcggcctctgcacccctggcctcccagcactggggtctcttcgccatcttttgttcactgggcttctgtctttgctccgcaacaagctcagcacactcctcccgaggccagagcctggggtgtgttcctggatccagctcctcaccagctgccagcagcctcagagcatctttaccctgaattcccctggataccttcctaccccacctccagtccccgatcctagtttgagccactgtcacctctcaccagggccaccaactgcctactggcc
>frag0002
agggcacattttctagggctgtcttccaaccctgccccacccacactcactcacctgtgacgcccacggcagacaccgggcccaggcgccgcccctcgtggaggccgtacaggtgcatcttgtacttgcgcccaggctccaggcccctcacagtgaccttgctctcctggcccccaacacgcaccgcctggggccgcccgtccctgtccttgtactgcacggtgaaggagtcaaagcggccctgggggacggtccaggaaaggctcagcgagtcaggggaggatcctgtcactgtcagctcccccaggagaggctcctcggggggccctggggctctgtgcctggttctgtagggctgggggtctcgtccacatcctcttgtggggctgaaaggtaatatagggggatacagagtttaagggtttaagggcaacttgctttgctggtgctgtcaacagaggtcatacatcaaatgcgcccctccaga
>frag0003
catctcaggcctggagccagaccataaatacaagatgaacctgtacggcttccacggtggccagcgcgtgggccccatctctgtcattggggtgacgggtgagtggatgatggcagccccagggtgggagccgtgggagggtcaccctcttgctctttggtgatgactggtggggaatgggccaggggtccggtcagcaccacagacctgcttgtggctggggctccccttggccttcctctgaggctgacccctggctcctcctgagcagggaggggccgtcaggagctctgctgtgctggtggctgtcccagacccccacagctgaccctggaacttgtcatgtgtgttagctgtcagttgagcaggaccacccagccccaagaatgggcttttc
>frag0004
gctcagcgagtcaggggaggatcctgtcactgtcagctcccccaggagaggctcctcggggggccctggggctctgtgcctggttctgtagggctgggggtctcgtccacatcctcttgtggggctgaaaggtaatatagggggatacagagtttaagggtttaagggcaacttgctttgctggtgctgtcaacagaggtcatacatcaaatgcgcccctccagagcaggctgagggctggggcagctttgagttcgccgttcagtgactcttggaataagagccggtgaggtatccccgagcccccgactgtactgctggcagagctgcactgttagaaacctccagaaggcaa
>frag0005
gcccctgacacgcatcacctggggccgcccgtccctgtccttgtactgcacggtgaaggagtcgaagtggccctgggggatggtccaggagaggctcagcgagtcaggggaggatcctgtcactgtcagctcccccaggagcggctcctcagggggctccggggcctcagtgctgagttccgtggggctgggggtctcttcctctgcagctgagaaaaggagatatagagaggatgccaggtgcctgggggatgtgctcaggtcttcaagggaaggagggagaaaccatggccactactgggtatgtgaggtcatttcagaaaagcccattcttggggctgggtgg
>frag0006
gaattcccaacctcaggtgatccacccgcctcggcctcccaaaatgctaggattacaggcgtgaaccactgctcccagcccagaatttcttttttagcccacgtttttctagtgaaaataatacagcaacattatgtggaaagcttgaaaaacagaaaacaagaatctcatagtcctactttctcccccagctgccggcattaataacaatgtgtgtagtgcacattcccttcctgtattttgcatgcagaggctgttttaaagttgcaatcagtgttcataaagttcttggcacttccttttttgtacacaagtacattgtaatcattcacctcacggctacacaaccagcattcatcatcgtttcaatggttatttgatgcgttgcggtgaaagcactataacaaaattaatcatcttctacgggtcatttg
>frag0007
agcacagctcttcatcctctcctctcctgtggcctttcctatccctcaccctgaccctcctgccctcagcccccacctcacccccacctcccaacacccaggccacctctccctgtccctccagcaccgcctctcttttgagcacagccccactcggcctctgcacccctggcctcccagcactggggtctcttcgccatcttttgttcactgggcttctgtctttgctccgcaacaagctcagcacactcctcccgaggccagagcctggggtgtgttcctggatccagctcctcaccagctgccagcagcctcagagcatctttaccct
>frag0008
gctggtgaggagctggatccaggaacacaccccaggctctggcctcgggaggagtgtgctgagcttgttgcggagcaaagacagaagcccagtgaacaaaagatggcgaagagaccccagtgctgggaggccaggggtgcagaggccgagtggggctgtgctcaaaagagaggcggtgctggagggacagggagaggtggcctgggtgttgggaggtgggggtgaggtgggggctgagggcaggagggtcagggtgagggataggaaaggccacaggagaggagaggatgaagagctgtgctggaggggctgtgggcagcatcgtcctgctcttgggcactttgtgttttgtgacacatcctttctatgctgaactgaggagccagggacctcactgtccccacacgtgtctgtccaactccagaggatgaagccgagaccacccaagcagtg
>frag0009
ccaaagagcaagagggtgaccctcccacggctcccaccctggggctgccatcatccactcacccgtcaccccaatgacagagatggggcccacgcgctggccaccgtggaagccgtacaggttcatcttgtatttatggtctggctccaggcctgagatggtgaccccgtcctcgtgccccggcacccgcaccgccttgggctgcccatccccattcctgtactggaccaggaagtggtcaaactggccctcgggaaccgtccaggacaggctgagggagtcaggggtggcatctgtcatggtcagctcccccaggcgaggcttgatggggggctcaggggtcatggtaggcactgcttgggtggtctcggcttcat
>frag0010
tggccagcgcgtgggccccatctctgtcattggggtgacgggtgagtggatgatggcagccccagggtgggagccgtgggagggtcaccctcttgctctttggtgatgactggtggggaatgggccaggggtccggtcagcaccacagacctgcttgtggctggggctccccttggccttcctctgaggctgacccctggctcctcctgagcagggaggggccgtcaggagctctgctgtgctggtggctgtcccagacccccacagctgaccctggaacttgtcatgtgtgttagctgtcagttgagcaggaccacccagccccaa
>frag0011
atgctctttctagcctcctggcctttgcaccagctgtgattatctgacacacttcaccttctctctaaagctgtcaccaagctaaggcatgcctggcctcaggtcctggctgtcccctgggtacccatgggcagggtgacttaggcgtccctgtctggtcctgacctgagccctgggcctccctatcacatgctcacccgcctttgcttcatttgctggattgcagcctgtctctccatgacatgtctttccataatgttgctatattcctttcactgtgagccccatcaagacagaaatatgtataggaaaatggtagagaagggcacattttctagggctgtcttccaaccctgccccacccacactcactcacctgtgacgcccacggcagacaccgggcccaggcgccgcccctcgtggaggccgtacaggtgcatcttgtacttgcgcccaggctccaggcccctcacagtgaccttgctctcctggcccccaac
>frag0012
tgtcagttgagcaggaccacccagccccaagaatgggcttttctgaaatgacctcacatacccagtagtggccatggtttctccctccttcccttgaagacctgagcacatcccccaggcacctggcatcctctctatatctccttttctcagctgcagaggaagagacccccagccccacggaactcagcactgaggccccggagccccctgaggagccgctcctgggggagctgacagtgacaggatcctcccctgactcgctgagcctctcctggaccatcccccagggccacttcgactccttcaccgtgcagtacaaggacagggacgggcggccccaggtgatgcgtgtcaggggcgaggagagcgaggtcaccgtggggggcctggagcccgggcgcaaatacaagatgcacctgta
>frag0013
gaattctttgctgaatgaacaaattggcccattggtgagaaaggtctgttcctattcctattccaatagtgggcttccagagtgtgcagtcgacgcgctgcccctcactgccttctgtcttccttcacggcccctagtcaactccacagagaaagcacactaccaggaatcagggacgcagaaaaattctcttcaacagatttcaaaagagggtccaattcctttgtcgtgaagaactttgctactcaaggggcgtgatcatgggccagcagcatccgcatcatttcttgttggaaatgcgagaatctctggccctagcccaaacctgttgaaccccaatctgcctcttagcaagatccccaagcatggaaacgtgcaaaagaagcccggctggtgagaatatttttgttttcatgaagttgcagagaaagcaacatcttctagggccatcttcctcact
>frag0014
attaattttgttatagtgctttcaccgcaacgcatcaaataaccattgaaacgatgatgaatgctggttgtgtagccgtgaggtgaatgattacaatgtacttgtgtacaaaaaaggaagtgccaagaactttatgaacactgattgcaactttaaaacagcctctgcatgcaaaatacaggaagggaatgtgcactacacacattgttattaatgccggcagctgggggagaaagtaggactatgagattcttgttttctgtttttcaagctttccacataatgttgctgtattattttcactagaaaaacgtgggctaaaaaagaaattctgggctgggagcagtggttcacgcctgtaatcctagcattttgggaggccgaggcgggtggatcacctgaggttgggaattc
>frag0015
tttcaaaagagggtccaattcctttgtcgtgaagaactttgctactcaaggggcgtgatcatgggccagcagcatccgcatcatttcttgttggaaatgcgagaatctctggccctagcccaaacctgttgaaccccaatctgcctcttagcaagatccccaagcatggaaacgtgcaaaagaagcccggctggtgagaatatttttgttttcatgaagttgcagagaaagcaacatcttctagggccatcttcctcactcacaaacactcacctgtcacacccacggtggacaccgggcccacacgccgcccct
>frag0016
ctggaccatcccccagggccacttcgactccttcaccgtgcagtacaaggacagggacgggcggccccaggtgatgcgtgtcaggggcgaggagagcgaggtcaccgtggggggcctggagcccgggcgcaaatacaagatgcacctgtacggcctccacgaggggcggcgtgtgggcccggtgtccaccgtgggtgtgacaggtgagtgtttgtgagtgaggaagatggccctagaagatgttgctttctctgcaacttcatgaaaacaaaaatattctcaccagccgggcttcttttgcacgtttccatgcttggggatcttgctaagaggcagattggggttcaacaggtttgggctagggccagagattctcgcatttccaacaagaaatgatgcggatgctgctggcccatgatcacgccccttgagtagcaaagttcttcacgacaaaggaattggaccct
>frag0017
ctgctgtcatgaataaccccatcgtgagttcttccatgctataactttttcctgctttaataattttcttaggacagatgcccagaactgggattattgggtcaaaggaaatgagaattactttggctcctgacactatgtctcagttgccttctggaggtttctaacagtgcagctctgccagcagtacagtcgggggctcggggatacctcaccggctcttattccaagagtcactgaacggcgaactcaaagctgccccagccctcagcctgctctggaggggcgcatttgatgtatgacctctgttgacagcaccagcaaagcaagttgcccttaaacccttaaactctgtatccccctatattacctttcagccccacaagaggatgtggacgagacccccagccctacagaaccaggca
>frag0018
cctggcatcctctctatatctccttttctcagctgcagaggaagagacccccagccccacggaactcagcactgaggccccggagccccctgaggagccgctcctgggggagctgacagtgacaggatcctcccctgactcgctgagcctctcctggaccatcccccagggccacttcgactccttcaccgtgcagtacaaggacagggacgggcggccccaggtgatgcgtgtcaggggcgaggagagcgaggtcaccgtggggggcctggagcccgggcgcaaatacaagatgcacctgtacggcctccacgaggggcggcgtgtgggcccggtgtccaccgtgggtgtgacaggtgagtgtttgtgagtgaggaagatggccctagaagatgttgctttctctgcaacttcatgaaaacaaaaatattctcaccagccgggcttcttttgcacgtttccatgcttggggatcttgctaagaggcagatt
>frag0019
gccccactcggcctctgcacccctggcctcccagcactggggtctcttcgccatcttttgttcactgggcttctgtctttgctccgcaacaagctcagcacactcctcccgaggccagagcctggggtgtgttcctggatccagctcctcaccagctgccagcagcctcagagcatctttaccctgaattcccctggataccttcctaccccacctccagtccccgatcctagtttgagccactgtcacctctcaccagggccaccaactgcctactggcctcgctgcctccaggctccctgccaccccatccccatcttcagcccccacggatgagcttcacacaggcacagctgctggggccatctcagcacagacctaggcaaccacaccctcaaccccgggagaccccaggcctagtgagtggtcccctcctctgctcccacacttcaggat
>frag0020
aaggaagtgccaagaactttatgaacactgattgcaactttaaaacagcctctgcatgcaaaatacaggaagggaatgtgcactacacacattgttattaatgccggcagctgggggagaaagtaggactatgagattcttgttttctgtttttcaagctttccacataatgttgctgtattattttcactagaaaaacgtgggctaaaaaagaaattctgggctgggagcagtggttcacgcctgtaatcctagcattttgggaggccgaggcgggtggatcacctgaggttgggaattc
>frag0021
gatggggtggcagggagcctggaggcagcgaggccagtaggcagttggtggccctggtgagaggtgacagtggctcaaactaggatcggggactggaggtggggtaggaaggtatccaggggaattcagggtaaagatgctctgaggctgctggcagctggtgaggagctggatccaggaacacaccccaggctctggcctcgggaggagtgtgctgagcttgttgcggagcaaagacagaagcccagtgaacaaaagatggcgaagagaccccagtgctgggaggccaggggtgcagaggccgagtggggctgtgctcaaaagagaggcggtgctggagggacagggagaggtggcctgggtgttgggaggtgggggtgaggtgggggctgagggcaggagggtcagggtgagggataggaaaggccacaggagaggagagga
>frag0022
acggctacacaaccagcattcatcatcgtttcaatggttatttgatgcgttgcggtgaaagcactataacaaaattaatcatcttctacgggtcatttgtgttcctgacacatctgctgtcatgaataaccccatcgtgagttcttccatgctataactttttcctgctttaataattttcttaggacagatgcccagaactgggattattgggtcaaaggaaatgagaattactttggctcctgacactatgtctcagttgccttctggaggtttctaacagtgcagctctgccagcagtacagtcgggggctcggggatacctcaccggctcttattccaagagtcactgaacggcgaactca
>frag0023
gtctctccatgacatgtctttccataatgttgctatattcctttcactgtgagccccatcaagacagaaatatgtataggaaaatggtagagaagggcacattttctagggctgtcttccaaccctgccccacccacactcactcacctgtgacgcccacggcagacaccgggcccaggcgccgcccctcgtggaggccgtacaggtgcatcttgtacttgcgcccaggctccaggcccctcacagtgaccttgctctcctggcccccaacacgcaccgcctggggccgcccgtccctgtccttgtactgcacggtgaaggagtcaaagcggccctgggggacggtccaggaaaggctcagcgagtcaggggaggatcctgtcactgtcagctcccccaggagaggctcctcggggggccctggggctctgtgcctggttctgtagggctgggggtctc
>frag0024
gccagagcctggggtgtgttcctggatccagctcctcaccagctgccagcagcctcagagcatctttaccctgaattcccctggataccttcctaccccacctccagtccccgatcctagtttgagccactgtcacctctcaccagggccaccaactgcctactggcctcgctgcctccaggctccctgccaccccatccccatcttcagcccccacggatgagcttcacacaggcacagctgctggggccatctcagcacagacctaggcaaccacaccctcaaccccgggagaccccaggcctagtgagtggtcccctcctc
>frag0025
caccacagacctgcttgtggctggggctccccttggccttcctctgaggctgacccctggctcctcctgagcagggaggggccgtcaggagctctgctgtgctggtggctgtcccagacccccacagctgaccctggaacttgtcatgtgtgttagctgtcagttgagcaggaccacccagccccaagaatgggcttttctgaaatgacctcacatacccagtagtggccatggtttctccctccttcccttgaagacctgagcacatcccccaggcacctggcatcctctctatatctccttttctcagctgcagaggaagagacccccagccccacggaactcagcactgaggccccggagccccctgaggagccgctcctgggggagctgacagtgacaggatcctcccctgactcgctgagcctctcctggaccatcccccaggg
>frag0026
aatctcatagtcctactttctcccccagctgccggcattaataacaatgtgtgtagtgcacattcccttcctgtattttgcatgcagaggctgttttaaagttgcaatcagtgttcataaagttcttggcacttccttttttgtacacaagtacattgtaatcattcacctcacggctacacaaccagcattcatcatcgtttcaatggttatttgatgcgttgcggtgaaagcactataacaaaattaatcatcttctacgggtcatttgtgttcctgacacatctgctgtcatgaataaccccatcgtgagttcttccatgctataactttttcctgctttaataattttcttaggacagatgcccagaactgggattattgggtcaaaggaaatgag
>frag0027
gcatttccaacaagaaatgatgcggatgctgctggcccatgatcacgccccttgagtagcaaagttcttcacgacaaaggaattggaccctcttttgaaatctgttgaagagaatttttctgcgtccctgattcctggtagtgtgctttctctgtggagttgactaggggccgtgaaggaagacagaaggcagtgaggggcagcgcgtcgactgcacactctggaagcccactattggaataggaataggaacagacctttctcaccaatgggccaatttgttcattcagcaaagaattc
>frag0028
gtgcccttctctaccattttcctatacatatttctgtcttgatggggctcacagtgaaaggaatatagcaacattatggaaagacatgtcatggagagacaggctgcaatccagcaaatgaagcaaaggcgggtgagcatgtgatagggaggcccagggctcaggtcaggaccagacagggacgcctaagtcaccctgcccatgggtacccaggggacagccaggacctgaggccaggcatgccttagcttggtgacagctttagagagaaggtgaagtgtgtcagataatcacagctggtgcaaaggc
>frag0029
ctgtcacctctcaccagggccaccaactgcctactggcctcgctgcctccaggctccctgccaccccatccccatcttcagcccccacggatgagcttcacacaggcacagctgctggggccatctcagcacagacctaggcaaccacaccctcaaccccgggagaccccaggcctagtgagtggtcccctcctctgctcccacacttcaggatgagatactcaccgtaaaggacaccccactcaatcctcagtgcctctcacgtgccatgctctttctagcctcctggcctttgcaccagctgtgattatctgacacacttcaccttctctctaaagctgtcaccaagctaaggcatgcctggcctcaggtcctggctgtcccctgggtacccatgggcagggtgacttaggcgtccctgtctggtcc
>frag0030
cctctcctctcctgtggcctttcctatccctcaccctgaccctcctgccctcagcccccacctcacccccacctcccaacacccaggccacctctccctgtccctccagcaccgcctctcttttgagcacagccccactcggcctctgcacccctggcctcccagcactggggtctcttcgccatcttttgttcactgggcttctgtctttgctccgcaacaagctcagcacactcctcccgaggccagagcctggggtgtgttcctggatccagctcctcaccagctgccagcagcctcagagcatctttaccctgaattcccctggataccttcctaccccacctccagtccccgatcctagtttgagccactgtcacctctcaccagggccaccaactgcctactggcctcgctgcctccaggctccctgccaccccatcc
>frag0031
tcaaagctgccccagccctcagcctgctctggaggggcgcatttgatgtatgacctctgttgacagcaccagcaaagcaagttgcccttaaacccttaaactctgtatccccctatattacctttcagccccacaagaggatgtggacgagacccccagccctacagaaccaggcacagagccccagggccccccgaggagcctctcctgggggagctgacagtgacaggatcctcccctgactcgctgagcctttcctggaccgtcccccagggccgctttgactccttcaccgtgcagtacaaggacagggacgggcggccccaggcggtgcgtgttgggggccaggagagcaaggtcactgtgaggggcctggagcctgggcgcaag
>frag0032
gtcagctcccccaggcgaggcttgatggggggctcaggggtcatggtaggcactgcttgggtggtctcggcttcatcctctggagttggacagacacgtgtggggacagtgaggtccctggctcctcagttcagcatagaaaggatgtgtcacaaaacacaaagtgcccaagagcaggacgatgctgcccacagcccctccagcacagctcttcatcctctcctctcctgtggcctttcctatccctcaccctgaccctcctgccctcagcccccacctcacccccacctcccaacacccaggccacctctccctgtccctccagcaccgcctctcttttgagcacagccccactc
>frag0033
cacccctgactccctcagcctgtcctggacggttcccgagggccagtttgaccacttcctggtccagtacaggaatggggatgggcagcccaaggcggtgcgggtgccggggcacgaggacggggtcaccatctcaggcctggagccagaccataaatacaagatgaacctgtacggcttccacggtggccagcgcgtgggccccatctctgtcattggggtgacgggtgagtggatgatggcagccccagggtgggagccgtgggagggtcaccctcttgctctttggtgatgactggtggggaatgggccaggggtccggtcagcaccacagacctgcttgtggctggggctccccttggccttcctctgaggctgacccctggctcctcctgagcagggaggggccgtc
>frag0034
ggccccccgaggagcctctcctgggggagctgacagtgacaggatcctcccctgactcgctgagcctttcctggaccgtcccccagggccgctttgactccttcaccgtgcagtacaaggacagggacgggcggccccaggcggtgcgtgttgggggccaggagagcaaggtcactgtgaggggcctggagcctgggcgcaagtacaagatgcacctgtacggcctccacgaggggcggcgcctgggcccggtgtctgccgtgggcgtcacaggtgagtgagtgtgggtggggcagggttggaagacagccctagaaaatgtgcccttctctaccattttcctatacatatttctgtcttgatggggctcacagtgaaaggaatatagcaacattatggaaagacatgtcatggagagacaggctgcaatccagcaaatgaagcaaaggcgggtgagcatgtgat
>frag0035
ttcatcctctggagttggacagacacgtgtggggacagtgaggtccctggctcctcagttcagcatagaaaggatgtgtcacaaaacacaaagtgcccaagagcaggacgatgctgcccacagcccctccagcacagctcttcatcctctcctctcctgtggcctttcctatccctcaccctgaccctcctgccctcagcccccacctcacccccacctcccaacacccaggccacctctccctgtccctccagcaccgcctctcttttgagcacagccccactcggcctctgcacccctggcctcccagcactggggtctcttcgccatcttttgttcactgggcttctgtctttgctccgcaacaagctcagcac
>frag0036
tcggcctctgcacccctggcctcccagcactggggtctcttcgccatcttttgttcactgggcttctgtctttgctccgcaacaagctcagcacactcctcccgaggccagagcctggggtgtgttcctggatccagctcctcaccagctgccagcagcctcagagcatctttaccctgaattcccctggataccttcctaccccacctccagtccccgatcctagtttgagccactgtcacctctcaccagggccaccaactgcctactggcctcgctgcctccaggctccctgccaccccatccccat
>frag0037
aaagctgccccagccctcagcctgctctggaggggcgcatttgatgtatgacctctgttgacagcaccagcaaagcaagttgcccttaaacccttaaactctgtatccccctatattacctttcagccccacaagaggatgtggacgagacccccagccctacagaaccaggcacagagccccagggccccccgaggagcctctcctgggggagctgacagtgacaggatcctcccctgactcgctgagcctttcctggaccgtcccccagggccgctttgactccttcaccgtgcagtacaaggacagggacgggcggccccaggcggtgcgtgttgggggccaggagagcaaggtcactgtgaggggcctggagcc
>frag0038
cctagtttgagccactgtcacctctcaccagggccaccaactgcctactggcctcgctgcctccaggctccctgccaccccatccccatcttcagcccccacggatgagcttcacacaggcacagctgctggggccatctcagcacagacctaggcaaccacaccctcaaccccgggagaccccaggcctagtgagtggtcccctcctctgctcccacacttcaggatgagatactcaccgtaaaggacaccccactcaatcctcagtgcctctcacgtgccatgctctttctagcctcctggcc
malva/ProblemInstances/MAXSAT-instances/format.txt 0 → 100644
+ 4
− 0
View file @ 3180bbb7
// number of variables, number of clauses and number of literals per clause.
// clause 1 (finalized in 0), if literal < 0 then the literal is negated.
// clause N (finalized in 0), if literal < 0 then the literal is negated.
malva/ProblemInstances/MAXSAT-instances/sat1.txt 0 → 100644
+ 44
− 0
View file @ 3180bbb7
10 43 3
-4 -1 5 0
-1 -9 -10 0
-5 -3 -8 0
-4 -8 -5 0
2 6 7 0
-9 -1 -10 0
5 -3 -9 0
1 -3 -5 0
7 2 -4 0
-7 3 4 0
-2 1 -9 0
-8 1 3 0
3 6 7 0
-1 -3 -2 0
4 7 -2 0
-8 -7 -3 0
4 3 2 0
-5 -4 1 0
-9 10 -8 0
-6 2 8 0
-7 -8 5 0
-7 -5 3 0
7 9 -10 0
1 -6 -3 0
1 -9 6 0
10 9 4 0
-8 3 7 0
8 7 -3 0
-8 4 9 0
8 -5 4 0
8 10 1 0
-1 -7 8 0
6 2 5 0
6 2 10 0
2 -6 4 0
-3 9 -1 0
9 1 -10 0
10 -5 -8 0
-10 6 1 0
1 7 2 0
-6 3 2 0
-1 -9 8 0
-5 2 -10 0
malva/ProblemInstances/MAXSAT-instances/sat2.txt 0 → 100644
+ 4301
− 0
View file @ 3180bbb7
This diff is collapsed.
malva/ProblemInstances/MTTP-instances/mttp100.dat 0 → 100644
+ 307
− 0
View file @ 3180bbb7
100
3
6
9
12
15
3
6
9
12
15
3
6
9
12
15
3
6
9
12
15
3
6
9
12
15
3
6
9
12
15
3
6
9
12
15
3
6
9
12
15
3
6
9
12
15
3
6
9
12
15
3
6
9
12
15
3
6
9
12
15
3
6
9
12
15
3
6
9
12
15
3
6
9
12
15
3
6
9
12
15
3
6
9
12
15
3
6
9
12
15
3
6
9
12
15
3
6
9
12
15
5
10
15
20
25
29
34
39
44
49
53
58
63
68
73
77
82
87
92
97
101
106
111
116
121
125
130
135
140
145
149
154
159
164
169
173
178
183
188
193
197
202
207
212
217
221
226
231
236
241
245
250
255
260
265
269
274
279
284
289
293
298
303
308
313
317
322
327
332
337
341
346
351
356
361
365
370
375
380
385
389
394
399
404
409
413
418
423
428
433
437
442
447
452
457
461
466
471
476
481
60.000000
40.000000
7.000000
3.000000
50.000000
120.000000
80.000000
7.000000
3.000000
100.000000
180.000000
120.000000
7.000000
3.000000
150.000000
240.000000
160.000000
7.000000
3.000000
200.000000
300.000000
200.000000
7.000000
3.000000
250.000000
360.000000
240.000000
7.000000
3.000000
300.000000
420.000000
280.000000
7.000000
3.000000
350.000000
480.000000
320.000000
7.000000
3.000000
400.000000
540.000000
360.000000
7.000000
3.000000
450.000000
600.000000
400.000000
7.000000
3.000000
500.000000
660.000000
440.000000
7.000000
3.000000
550.000000
720.000000
480.000000
7.000000
3.000000
600.000000
780.000000
520.000000
7.000000
3.000000
650.000000
840.000000
560.000000
7.000000
3.000000
700.000000
900.000000
600.000000
7.000000
3.000000
750.000000
960.000000
640.000000
7.000000
3.000000
800.000000
1020.000000
680.000000
7.000000
3.000000
850.000000
1080.000000
720.000000
7.000000
3.000000
900.000000
1140.000000
760.000000
7.000000
3.000000
950.000000
1200.000000
800.000000
7.000000
3.000000
1000.000000
200
)
malva/ProblemInstances/MTTP-instances/mttp20.dat 0 → 100644
+ 84
− 0
View file @ 3180bbb7
20
2
4
1
7
4
3
5
2
4
7
2
9
8
6
1
4
9
7
8
2
3
5
6
8
10
15
16
20
25
29
30
36
49
59
80
81
89
97
100
105
15.000000
20.000000
16.000000
19.000000
10.000000
25.000000
17.000000
18.000000
21.000000
17.000000
31.000000
2.000000
26.000000
42.000000
50.000000
19.000000
17.000000
21.000000
22.000000
13.000000
00001111111111111111 70.000000
01001110111011111111 70.000000
01101101101011111111 70.000000
01101101111011110111 70.000000
01101101111111101111 70.000000
10001111111011111110 70.000000
10100111011111111111 70.000000
10100111111011101111 70.000000
10100111111111111011 70.000000
)
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment