Max-SAT Random Data: Time Statistics: Mean of solved 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 -1 -1 0 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 chmarks/ms_random/min2sat/160v/ 160 160 1600 1600 0 0 1600 1600 460 460 48 chmarks/ms_random/min2sat/200v/ 200 200 2000 2000 0 0 2000 2000 571 571 48 Total 149 140 1318 1280 0 0 1318 1280 245 188 295 Max-SAT Crafted Data: Time Statistics: Mean of solved 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 Data: Time Statistics: Mean of solved 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 28 28 1 s/ms_industrial/sean-safarpour/ 734706 398877 2435398 1213237 0 0 2435398 1213237 64 4 22 Total 741016 400085 2382543 1221020 0 0 2382543 1221020 62 4 23 Weighted Max-SAT Random Data: Time Statistics: Mean of solved 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 Data: Time Statistics: Mean of solved 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 273 250 28 /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 222 216 96 Partial Max-SAT Random Data: Time Statistics: Mean of solved 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 49 50 18 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 57 17 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 264 55 181 Partial Max-SAT Crafted Data: Time Statistics: Mean of solved 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 416 420 23 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 33 9 11 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 162 127 316 Partial Max-SAT Industrial Data: Time Statistics: Mean of solved 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_industrial/aes/ 27702 14300 83690 79580 55989 65280 27702 14300 22 22 1 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 83 79 33 chmarks/pms_industrial/bcp-msp/ 2395 1794 23564 9157 21169 6807 2395 1794 562 364 33 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 27 29 9 Total 10368 4602 94029 16874 92032 16580 1998 210 77 28 425 Weighted Partial Max-SAT Random Data: Time Statistics: Mean of solved 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 237 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 Data: Time Statistics: Mean of solved 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 55 59 15 rks/wpms_crafted/pseudo/miplib/ 10524 9476 41657 28413 41033 27857 624 260 14 12 5 hmarks/wpms_crafted/random-net/ 432 499 1841 1876 145 171 1697 1702 171 200 59 ks/wpms_crafted/wcsp/spot5/dir/ 924 666 10156 7180 9789 6950 368 300 146 146 16 ks/wpms_crafted/wcsp/spot5/log/ 553 422 9970 7122 9603 6892 368 300 146 146 16 Total 1000 204 8153 2781 7567 2641 587 192 112 100 337 Weighted Partial Max-SAT Industrial Data: Time Statistics: Mean of solved 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 74 56 90 ks/wpms_industrial/timetabling/ 175644 109280 1183446 592176 1181032 590136 2414 1990 13 12 6 ustrial/upgradeability-problem/ 18169 18169 112632 112632 94365 94365 18267 18267 855 857 100 Total 94808 68033 894510 331356 881031 329176 13479 18267 471 727 196 Max-SAT Random Data: Time Statistics: Mean of solved 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 -1 -1 0 chmarks/ms_random/max2sat/120v/ 120 120 1400 1400 0 0 1400 1400 -1 -1 0 chmarks/ms_random/max2sat/140v/ 140 140 1400 1400 0 0 1400 1400 -1 -1 0 nchmarks/ms_random/max3sat/70v/ 70 70 1000 1000 0 0 1000 1000 -1 -1 0 nchmarks/ms_random/max3sat/80v/ 80 80 800 800 0 0 800 800 -1 -1 0 chmarks/ms_random/min2sat/160v/ 160 160 1600 1600 0 0 1600 1600 -1 -1 0 chmarks/ms_random/min2sat/200v/ 200 200 2000 2000 0 0 2000 2000 -1 -1 0 Total 149 140 1318 1280 0 0 1318 1280 0 0 0 Max-SAT Crafted Data: Time Statistics: Mean of solved 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 -1 -1 0 d/bipartite/maxcut-140-630-0.8/ 140 140 1258 1258 0 0 1258 1258 -1 -1 0 s/ms_crafted/maxcut/dimacs-mod/ 42 40 1113 1118 0 0 1113 1118 -1 -1 0 ks/ms_crafted/maxcut/spinglass/ 155 125 930 750 0 0 930 750 -1 -1 0 Total 105 140 1195 1258 0 0 1195 1258 0 0 0 Max-SAT Industrial Data: Time Statistics: Mean of solved 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 -1 -1 0 s/ms_industrial/sean-safarpour/ 734706 398877 2435398 1213237 0 0 2435398 1213237 -1 -1 0 Total 741016 400085 2382543 1221020 0 0 2382543 1221020 0 0 0 Weighted Max-SAT Random Data: Time Statistics: Mean of solved 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 -1 -1 0 marks/wms_random/wmax2sat/120v/ 120 120 1400 1400 0 0 1400 1400 -1 -1 0 marks/wms_random/wmax2sat/140v/ 140 140 1400 1400 0 0 1400 1400 -1 -1 0 chmarks/wms_random/wmax3sat/hi/ 70 70 850 850 0 0 850 850 -1 -1 0 Total 108 110 1259 1300 0 0 1259 1300 0 0 0 Weighted Max-SAT Crafted Data: Time Statistics: Mean of solved 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 -1 -1 0 /benchmarks/wms_crafted/ramsey/ 118 120 3310 2380 0 0 3310 2380 -1 -1 0 wms_crafted/wmaxcut/dimacs_mod/ 42 40 1113 1118 0 0 1113 1118 -1 -1 0 /wms_crafted/wmaxcut/spinglass/ 155 125 930 750 0 0 930 750 -1 -1 0 Total 154 43 5767 1303 0 0 5767 1303 0 0 0 Partial Max-SAT Random Data: Time Statistics: Mean of solved 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 -1 -1 0 pms_random/min2sat/v260c1040l2/ 1040 1040 4676 4682 4153 4156 524 524 -1 -1 0 s/pms_random/min3sat/c70v350l3/ 350 350 4027 4034 3878 3887 149 149 -1 -1 0 s/pms_random/min3sat/c80v400l3/ 400 400 4603 4603 4430 4428 173 172 -1 -1 0 chmarks/pms_random/pmax2sat/hi/ 150 150 4500 4500 150 150 4350 4350 -1 -1 0 chmarks/pms_random/pmax2sat/me/ 150 150 3000 3000 150 150 2850 2850 -1 -1 0 chmarks/pms_random/pmax3sat/hi/ 100 100 700 700 100 100 600 600 -1 -1 0 Total 428 350 3698 4330 2406 3880 1293 521 0 0 0 Partial Max-SAT Crafted Data: Time Statistics: Mean of solved 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 -1 -1 0 enchmarks/pms_crafted/job-shop/ 84608 107409 877437 1121427 877245 1121262 193 165 -1 -1 0 /pms_crafted/maxclicque/random/ 150 150 5738 5738 5588 5588 150 150 -1 -1 0 _crafted/maxclicque/structured/ 485 400 50093 20425 49609 20025 485 400 -1 -1 0 hmarks/pms_crafted/maxone/3sat/ 150 150 575 575 425 425 150 150 -1 -1 0 /pms_crafted/maxone/structured/ 504 260 2625 1266 2121 1026 504 260 -1 -1 0 rks/pms_crafted/min-enc/kbtree/ 280 280 1262 1299 364 364 898 935 -1 -1 0 arks/pms_crafted/pseudo/miplib/ 224 160 462 312 438 291 24 21 -1 -1 0 Total 981 160 19024 1491 18656 1341 368 150 0 0 0 Partial Max-SAT Industrial Data: Time Statistics: Mean of solved 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_industrial/aes/ 27702 14300 83690 79580 55989 65280 27702 14300 -1 -1 0 chmarks/pms_industrial/bcp-fir/ 15576 7343 62311 26463 54993 22903 7319 3302 -1 -1 0 _industrial/bcp-hipp-yRa1/simp/ 2039 2394 25494 31001 25413 30903 81 96 -1 -1 0 ms_industrial/bcp-hipp-yRa1/su/ 6311 6207 111834 106459 111659 106279 176 176 -1 -1 0 chmarks/pms_industrial/bcp-msp/ 2395 1794 23564 9157 21169 6807 2395 1794 -1 -1 0 chmarks/pms_industrial/bcp-mtg/ 2822 2225 13761 10879 13680 10797 82 82 -1 -1 0 chmarks/pms_industrial/bcp-syn/ 1781 467 1939 645 1014 332 926 306 -1 -1 0 trial/circuit-trace-compaction/ 335500 206150 944461 643291 944433 643256 28 20 -1 -1 0 _industrial/haplotype-assembly/ 14806 13663 48165 48695 38532 38956 9633 9739 -1 -1 0 /pms_industrial/pbo-mqc/nencdr/ 14257 6741 56270 25919 55785 25709 485 210 -1 -1 0 s_industrial/pbo-mqc/nlogencdr/ 8920 4622 32893 16736 32408 16526 485 210 -1 -1 0 rks/pms_industrial/pbo-routing/ 2502 3036 7244 8851 6712 8203 532 648 -1 -1 0 rks/pms_industrial/protein_ins/ 2087 2258 2048184 2165505 2048128 2165447 57 60 -1 -1 0 Total 10368 4602 94029 16874 92032 16580 1998 210 0 0 0 Weighted Partial Max-SAT Random Data: Time Statistics: Mean of solved 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 -1 -1 0 marks/wpms_random/wpmax2sat/lo/ 150 150 1500 1500 150 150 1350 1350 -1 -1 0 marks/wpms_random/wpmax2sat/me/ 150 150 3000 3000 150 150 2850 2850 -1 -1 0 marks/wpms_random/wpmax3sat/hi/ 100 100 700 700 100 100 600 600 -1 -1 0 Total 138 150 2425 2250 138 150 2288 2100 0 0 0 Weighted Partial Max-SAT Crafted Data: Time Statistics: Mean of solved 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 -1 -1 0 rafted/auctions/auc-scheduling/ 160 162 5760 5932 5601 5768 160 162 -1 -1 0 /wpms_crafted/min-enc/planning/ 1865 1595 21994 15200 21650 14971 344 275 -1 -1 0 pms_crafted/min-enc/warehouses/ 3023 2600 7314 6273 5834 5000 1480 1273 -1 -1 0 rks/wpms_crafted/pseudo/miplib/ 10524 9476 41657 28413 41033 27857 624 260 -1 -1 0 hmarks/wpms_crafted/random-net/ 432 499 1841 1876 145 171 1697 1702 -1 -1 0 ks/wpms_crafted/wcsp/spot5/dir/ 924 666 10156 7180 9789 6950 368 300 -1 -1 0 ks/wpms_crafted/wcsp/spot5/log/ 553 422 9970 7122 9603 6892 368 300 -1 -1 0 Total 1000 204 8153 2781 7567 2641 587 192 0 0 0 Weighted Partial Max-SAT Industrial Data: Time Statistics: Mean of solved 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 -1 -1 0 ks/wpms_industrial/timetabling/ 175644 109280 1183446 592176 1181032 590136 2414 1990 -1 -1 0 ustrial/upgradeability-problem/ 18169 18169 112632 112632 94365 94365 18267 18267 -1 -1 0 Total 94808 68033 894510 331356 881031 329176 13479 18267 0 0 0