-------------- 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/ 125 125 1125 1125 0 0 1125 1125 2 1 24 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 135 120 1138 1200 0 0 1138 1200 102 55 223 --------------- 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 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 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 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 trial/CircuitDebuggingProblems/ 753841 740161 1103616 697003 0 0 1103616 697003 5 1 7 ks/ms_industrial/SeanSafarpour/ 626521 299452 2079143 962946 0 0 2079143 962946 35 2 41 Total 641402 381721 1965120 936006 0 0 1965120 936006 31 2 48 ----------------------- 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 chmarks/wms_random/wmax3sat/lo/ 70 70 450 450 0 0 450 450 11 10 40 Total 100 100 1097 1210 0 0 1097 1210 138 180 200 ------------------------ 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 /benchmarks/wms_crafted/RAMSEY/ 83 72 2951 1144 0 0 2951 1144 1 0 37 wms_crafted/WMAXCUT/DIMACS_MOD/ 42 40 1113 1118 0 0 1113 1118 218 223 59 /wms_crafted/WMAXCUT/SPINGLASS/ 155 125 930 750 0 0 930 750 80 70 4 sat/benchmarks/wms_crafted/frb/ 373 325 16047 10934 0 0 16047 10934 129 120 14 Total 135 45 5107 1260 0 0 5107 1260 132 120 114 ---------------------- 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 29 s/pms_random/min3sat/c80v400l3/ 400 400 4603 4603 4430 4428 173 172 58 57 15 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 chmarks/pms_random/pmax3sat/lo/ 100 100 400 400 100 100 300 300 2 0 30 Total 387 250 3286 4047 2118 1945 1169 455 228 51 209 ----------------------- 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 benchmarks/pms_crafted/JobShop/ 72080 71591 743694 740555 743548 740408 146 148 38 14 4 s/pms_crafted/MAXCLIQUE/RANDOM/ 150 150 5738 5738 5588 5588 150 150 135 140 96 s_crafted/MAXCLIQUE/STRUCTURED/ 485 400 50093 20425 49609 20025 485 400 243 184 36 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 arks/pms_crafted/PSEUDO/miplib/ 224 160 462 312 438 291 24 21 16 14 4 sat/benchmarks/pms_crafted/frb/ 470 450 21185 18349 20715 17899 470 450 395 420 21 rks/pms_crafted/min-enc/kbtree/ 280 280 1171 1262 364 364 807 898 6 2 20 Total 1047 160 19298 1476 18927 1196 371 160 147 123 321 -------------------------- 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 ustrial/CircuitTraceCompaction/ 335500 206150 944461 643291 944433 643256 28 20 20 14 4 s_industrial/HaplotypeAssembly/ 14806 13663 48165 48695 38532 38956 9633 9739 152 171 5 rks/pms_industrial/PROTEIN_INS/ 2087 2258 2048184 2165505 2048128 2165447 57 60 16 16 3 chmarks/pms_industrial/bcp-fir/ 15576 7343 62311 26463 54993 22903 7319 3302 25 25 58 ms_industrial/bcp-hipp-yRa1/SU/ 6311 6207 111834 106459 111659 106279 176 176 82 78 30 _industrial/bcp-hipp-yRa1/simp/ 2039 2394 25494 31001 25413 30903 81 96 38 44 15 chmarks/pms_industrial/bcp-msp/ 2395 1794 23564 9157 21169 6807 2395 1794 570 378 34 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 /pms_industrial/pbo-mqc/nencdr/ 14257 6741 56270 25919 55785 25709 485 210 30 21 82 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 Total 10124 4598 94175 16850 92539 16556 1636 210 80 27 413 ------------------------------- 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 marks/wpms_random/wpmax3sat/lo/ 100 100 400 400 100 100 300 300 2 0 30 Total 130 150 2020 1500 130 150 1890 1350 343 234 150 -------------------------------- 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/ 122 121 1497 1485 1376 1358 122 121 98 97 88 rafted/AUCTIONS/AUC_SCHEDULING/ 160 162 5760 5932 5601 5768 160 162 156 157 83 rks/wpms_crafted/PSEUDO/miplib/ 10524 9476 41657 28413 41033 27857 624 260 11 10 3 ks/wpms_crafted/WCSP/SPOT5/DIR/ 924 666 10156 7180 9789 6950 368 300 31 33 6 ks/wpms_crafted/WCSP/SPOT5/LOG/ 553 422 9970 7122 9603 6892 368 300 37 43 7 /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 56 59 18 hmarks/wpms_crafted/random-net/ 425 299 1854 1893 142 97 1712 1729 170 200 63 Total 988 206 8058 2736 7460 2379 599 194 106 96 324 ----------------------------------- 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 ks/wpms_industrial/timetabling/ 174724 111380 1150402 610082 1148139 607874 2263 1949 5 0 10 ustrial/upgradeability-problem/ 18169 18169 112632 112632 94365 94365 18267 18267 855 857 100 Total 56122 18169 364213 112632 349826 94365 14388 18267 777 848 110