-------------- Max-SAT Random -------------- Instance_set Mean Vars Median Vars Mean Clauses Median Clauses Mean HClauses Median HClause Mean SClauses Median SClause Mean Unsat Cla Median Unsat C Total solved marks/ms_random/highgirth/3sat/ 275 275 1100 1100 0 0 1100 1100 -1 -1 0 marks/ms_random/highgirth/4sat/ 140 150 1252 1350 0 0 1252 1350 2 2 6 chmarks/ms_random/max2sat/120v/ 120 120 1400 1400 0 0 1400 1400 197 198 50 chmarks/ms_random/max2sat/140v/ 140 140 1400 1400 0 0 1400 1400 185 186 50 nchmarks/ms_random/max3sat/70v/ 70 70 1000 1000 0 0 1000 1000 47 47 49 nchmarks/ms_random/max3sat/80v/ 80 80 800 800 0 0 800 800 27 27 50 Total 138 120 1153 1200 0 0 1153 1200 111 65 205 --------------- Max-SAT Crafted --------------- Instance_set Mean Vars Median Vars Mean Clauses Median Clauses Mean HClauses Median HClause Mean SClauses Median SClause Mean Unsat Cla Median Unsat C Total solved d/bipartite/maxcut-140-630-0.7/ 140 140 1260 1260 0 0 1260 1260 166 166 50 d/bipartite/maxcut-140-630-0.8/ 140 140 1258 1258 0 0 1258 1258 166 165 50 s/ms_crafted/maxcut/dimacs-mod/ 42 40 1113 1118 0 0 1113 1118 192 209 53 ks/ms_crafted/maxcut/spinglass/ 155 125 930 750 0 0 930 750 45 38 3 Total 105 140 1195 1258 0 0 1195 1258 172 166 156 ------------------ Max-SAT Industrial ------------------ Instance_set Mean Vars Median Vars Mean Clauses Median Clauses Mean HClauses Median HClause Mean SClauses Median SClause Mean Unsat Cla Median Unsat C Total solved ial/circuit-debugging-problems/ 850405 847501 1466391 1554820 0 0 1466391 1554820 15 15 2 s/ms_industrial/sean-safarpour/ 734706 398877 2435398 1213237 0 0 2435398 1213237 60 4 23 Total 741016 400085 2382543 1221020 0 0 2382543 1221020 57 4 25 ----------------------- Weighted Max-SAT Random ----------------------- Instance_set Mean Vars Median Vars Mean Clauses Median Clauses Mean HClauses Median HClause Mean SClauses Median SClause Mean Unsat Cla Median Unsat C Total solved marks/wms_random/wmax2sat/100v/ 100 100 1383 1371 0 0 1383 1371 222 220 40 marks/wms_random/wmax2sat/120v/ 120 120 1400 1400 0 0 1400 1400 212 214 40 marks/wms_random/wmax2sat/140v/ 140 140 1400 1400 0 0 1400 1400 201 197 40 chmarks/wms_random/wmax3sat/hi/ 70 70 850 850 0 0 850 850 41 40 40 Total 108 110 1259 1300 0 0 1259 1300 169 194 160 ------------------------ Weighted Max-SAT Crafted ------------------------ Instance_set Mean Vars Median Vars Mean Clauses Median Clauses Mean HClauses Median HClause Mean SClauses Median SClause Mean Unsat Cla Median Unsat C Total solved sat/benchmarks/wms_crafted/frb/ 373 325 16047 10934 0 0 16047 10934 140 120 15 /benchmarks/wms_crafted/ramsey/ 118 120 3310 2380 0 0 3310 2380 7 6 4 wms_crafted/wmaxcut/dimacs_mod/ 42 40 1113 1118 0 0 1113 1118 222 227 60 /wms_crafted/wmaxcut/spinglass/ 155 125 930 750 0 0 930 750 80 70 4 Total 154 43 5767 1303 0 0 5767 1303 190 200 83 --------------------------- Weighted Max-SAT Industrial --------------------------- Instance_set Mean Vars Median Vars Mean Clauses Median Clauses Mean HClauses Median HClause Mean SClauses Median SClause Mean Unsat Cla Median Unsat C Total solved /benchmarks/wms_industrial/aes/ 27702 14300 83690 79580 0 0 83690 79580 22 22 1 Total 27702 14300 83690 79580 0 0 83690 79580 22 22 1 ---------------------- Partial Max-SAT Random ---------------------- Instance_set Mean Vars Median Vars Mean Clauses Median Clauses Mean HClauses Median HClause Mean SClauses Median SClause Mean Unsat Cla Median Unsat C Total solved /pms_random/min2sat/v160c800l2/ 800 800 4381 4385 3981 3984 401 401 54 54 26 pms_random/min2sat/v260c1040l2/ 1040 1040 4676 4682 4153 4156 524 524 50 50 19 s/pms_random/min3sat/c70v350l3/ 350 350 4027 4034 3878 3887 149 149 50 50 30 s/pms_random/min3sat/c80v400l3/ 400 400 4603 4603 4430 4428 173 172 58 58 19 chmarks/pms_random/pmax2sat/hi/ 150 150 4500 4500 150 150 4350 4350 863 886 30 chmarks/pms_random/pmax2sat/me/ 150 150 3000 3000 150 150 2850 2850 556 546 30 chmarks/pms_random/pmax3sat/hi/ 100 100 700 700 100 100 600 600 15 14 30 Total 428 350 3698 4330 2406 3880 1293 521 261 55 184 ----------------------- Partial Max-SAT Crafted ----------------------- Instance_set Mean Vars Median Vars Mean Clauses Median Clauses Mean HClauses Median HClause Mean SClauses Median SClause Mean Unsat Cla Median Unsat C Total solved sat/benchmarks/pms_crafted/frb/ 470 450 21185 18349 20715 17899 470 450 402 420 22 enchmarks/pms_crafted/job-shop/ 84608 107409 877437 1121427 877245 1121262 193 165 50 23 3 /pms_crafted/maxclicque/random/ 150 150 5738 5738 5588 5588 150 150 135 140 96 _crafted/maxclicque/structured/ 485 400 50093 20425 49609 20025 485 400 284 188 39 hmarks/pms_crafted/maxone/3sat/ 150 150 575 575 425 425 150 150 37 34 80 /pms_crafted/maxone/structured/ 504 260 2625 1266 2121 1026 504 260 234 122 60 rks/pms_crafted/min-enc/kbtree/ 280 280 1262 1299 364 364 898 935 27 9 10 arks/pms_crafted/pseudo/miplib/ 224 160 462 312 438 291 24 21 16 14 4 Total 981 160 19024 1491 18656 1341 368 150 160 127 314 -------------------------- Partial Max-SAT Industrial -------------------------- Instance_set Mean Vars Median Vars Mean Clauses Median Clauses Mean HClauses Median HClause Mean SClauses Median SClause Mean Unsat Cla Median Unsat C Total solved chmarks/pms_industrial/bcp-fir/ 15576 7343 62311 26463 54993 22903 7319 3302 25 25 58 _industrial/bcp-hipp-yRa1/simp/ 2039 2394 25494 31001 25413 30903 81 96 39 49 16 ms_industrial/bcp-hipp-yRa1/su/ 6311 6207 111834 106459 111659 106279 176 176 82 78 30 chmarks/pms_industrial/bcp-msp/ 2395 1794 23564 9157 21169 6807 2395 1794 560 376 35 chmarks/pms_industrial/bcp-mtg/ 2822 2225 13761 10879 13680 10797 82 82 19 14 40 chmarks/pms_industrial/bcp-syn/ 1781 467 1939 645 1014 332 926 306 42 7 43 trial/circuit-trace-compaction/ 335500 206150 944461 643291 944433 643256 28 20 20 14 4 _industrial/haplotype-assembly/ 14806 13663 48165 48695 38532 38956 9633 9739 152 171 5 /pms_industrial/pbo-mqc/nencdr/ 14257 6741 56270 25919 55785 25709 485 210 30 21 84 s_industrial/pbo-mqc/nlogencdr/ 8920 4622 32893 16736 32408 16526 485 210 30 21 84 rks/pms_industrial/pbo-routing/ 2502 3036 7244 8851 6712 8203 532 648 53 60 15 rks/pms_industrial/protein_ins/ 2087 2258 2048184 2165505 2048128 2165447 57 60 23 26 6 Total 10124 4598 94175 16850 92539 16556 1636 210 80 28 420 ------------------------------- Weighted Partial Max-SAT Random ------------------------------- Instance_set Mean Vars Median Vars Mean Clauses Median Clauses Mean HClauses Median HClause Mean SClauses Median SClause Mean Unsat Cla Median Unsat C Total solved marks/wpms_random/wpmax2sat/hi/ 150 150 4500 4500 150 150 4350 4350 882 908 30 marks/wpms_random/wpmax2sat/lo/ 150 150 1500 1500 150 150 1350 1350 243 236 30 marks/wpms_random/wpmax2sat/me/ 150 150 3000 3000 150 150 2850 2850 570 563 30 marks/wpms_random/wpmax3sat/hi/ 100 100 700 700 100 100 600 600 19 18 30 Total 138 150 2425 2250 138 150 2288 2100 429 371 120 -------------------------------- Weighted Partial Max-SAT Crafted -------------------------------- Instance_set Mean Vars Median Vars Mean Clauses Median Clauses Mean HClauses Median HClause Mean SClauses Median SClause Mean Unsat Cla Median Unsat C Total solved pms_crafted/auctions/auc-paths/ 121 120 1476 1422 1356 1296 121 120 97 96 86 rafted/auctions/auc-scheduling/ 160 162 5760 5932 5601 5768 160 162 157 157 84 /wpms_crafted/min-enc/planning/ 1865 1595 21994 15200 21650 14971 344 275 12 9 56 pms_crafted/min-enc/warehouses/ 3023 2600 7314 6273 5834 5000 1480 1273 53 59 12 rks/wpms_crafted/pseudo/miplib/ 10524 9476 41657 28413 41033 27857 624 260 11 11 4 hmarks/wpms_crafted/random-net/ 432 499 1841 1876 145 171 1697 1702 194 240 38 ks/wpms_crafted/wcsp/spot5/dir/ 924 666 10156 7180 9789 6950 368 300 65 58 8 ks/wpms_crafted/wcsp/spot5/log/ 553 422 9970 7122 9603 6892 368 300 65 58 8 Total 1000 204 8153 2781 7567 2641 587 192 106 98 296 ----------------------------------- Weighted Partial Max-SAT Industrial ----------------------------------- Instance_set Mean Vars Median Vars Mean Clauses Median Clauses Mean HClauses Median HClause Mean SClauses Median SClause Mean Unsat Cla Median Unsat C Total solved dustrial/haplotyping-pedigrees/ 150429 172277 1601264 1078949 1589697 1070799 11567 10460 73 55 83 ks/wpms_industrial/timetabling/ 175644 109280 1183446 592176 1181032 590136 2414 1990 11 8 7 ustrial/upgradeability-problem/ 18169 18169 112632 112632 94365 94365 18267 18267 855 857 100 Total 94808 68033 894510 331356 881031 329176 13479 18267 482 744 190