Max-SAT Random Bash regular expression: results/ms13-complete/*-ms_random*.log Timeout: 1800 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 marks/ms_random/highgirth/4sat/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 6 chmarks/ms_random/max2sat/120v/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 50 chmarks/ms_random/max2sat/140v/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 50 nchmarks/ms_random/max3sat/70v/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 50 nchmarks/ms_random/max3sat/80v/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 50 chmarks/ms_random/min2sat/160v/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 48 chmarks/ms_random/min2sat/200v/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 48 Total -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 302 Max-SAT Crafted Bash regular expression: results/ms13-complete/*-ms_crafted*.log Timeout: 1800 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 50 d/bipartite/maxcut-140-630-0.8/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 50 s/ms_crafted/maxcut/dimacs-mod/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 55 ks/ms_crafted/maxcut/spinglass/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 4 Total -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 159 Max-SAT Industrial Bash regular expression: results/ms13-complete/*-ms_industrial*.log Timeout: 1800 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 s/ms_industrial/sean-safarpour/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 39 Total -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 42 Weighted Max-SAT Random Bash regular expression: results/ms13-complete/*-wms_random*.log Timeout: 1800 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 40 marks/wms_random/wmax2sat/120v/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 40 marks/wms_random/wmax2sat/140v/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 40 chmarks/wms_random/wmax3sat/hi/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 40 Total -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 160 Weighted Max-SAT Crafted Bash regular expression: results/ms13-complete/*-wms_crafted*.log Timeout: 1800 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 34 /benchmarks/wms_crafted/ramsey/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 4 wms_crafted/wmaxcut/dimacs_mod/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 60 /wms_crafted/wmaxcut/spinglass/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 4 Total -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 102 Partial Max-SAT Random Bash regular expression: results/ms13-complete/*-pms_random*.log Timeout: 1800 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 27 pms_random/min2sat/v260c1040l2/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 22 s/pms_random/min3sat/c70v350l3/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 30 s/pms_random/min3sat/c80v400l3/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 24 chmarks/pms_random/pmax2sat/hi/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 30 chmarks/pms_random/pmax2sat/me/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 30 chmarks/pms_random/pmax3sat/hi/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 30 Total -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 193 Partial Max-SAT Crafted Bash regular expression: results/ms13-complete/*-pms_crafted*.log Timeout: 1800 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 25 enchmarks/pms_crafted/job-shop/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 /pms_crafted/maxclicque/random/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 96 _crafted/maxclicque/structured/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 45 hmarks/pms_crafted/maxone/3sat/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 80 /pms_crafted/maxone/structured/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 60 rks/pms_crafted/min-enc/kbtree/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 42 arks/pms_crafted/pseudo/miplib/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 4 chmarks/pms_crafted/scheduling/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 Total -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 356 Partial Max-SAT Industrial Bash regular expression: results/ms13-complete/*-pms_industrial*.log Timeout: 1800 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 chmarks/pms_industrial/bcp-fir/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 50 _industrial/bcp-hipp-yRa1/simp/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 16 ms_industrial/bcp-hipp-yRa1/su/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 35 chmarks/pms_industrial/bcp-msp/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 33 chmarks/pms_industrial/bcp-mtg/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 40 chmarks/pms_industrial/bcp-syn/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 48 trial/circuit-trace-compaction/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 4 pms_industrial/close_solutions/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 49 /benchmarks/pms_industrial/des/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 44 _industrial/haplotype-assembly/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 5 arks/pms_industrial/packup-pms/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 40 /pms_industrial/pbo-mqc/nencdr/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 50 s_industrial/pbo-mqc/nlogencdr/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 50 rks/pms_industrial/pbo-routing/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 15 rks/pms_industrial/protein_ins/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 12 s_industrial/tpr/Multiple_path/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 48 ks/pms_industrial/tpr/One_path/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 50 Total -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 592 Weighted Partial Max-SAT Random Bash regular expression: results/ms13-complete/*-wpms_random*.log Timeout: 1800 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 30 marks/wpms_random/wpmax2sat/lo/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 30 marks/wpms_random/wpmax2sat/me/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 30 marks/wpms_random/wpmax3sat/hi/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 30 Total -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 120 Weighted Partial Max-SAT Crafted Bash regular expression: results/ms13-complete/*-wpms_crafted*.log Timeout: 1800 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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 at/benchmarks/wpms_crafted/CSG/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 10 pms_crafted/auctions/auc-paths/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 86 rafted/auctions/auc-scheduling/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 84 /wpms_crafted/min-enc/planning/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 56 pms_crafted/min-enc/warehouses/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 18 rks/wpms_crafted/pseudo/miplib/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 5 hmarks/wpms_crafted/random-net/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 74 Total -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 333 Weighted Partial Max-SAT Industrial Bash regular expression: results/ms13-complete/*-wpms_industrial*.log Timeout: 1800 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 98 ks/wpms_industrial/packup-wpms/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 99 industrial/preference_planning/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 29 ks/wpms_industrial/timetabling/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 12 ustrial/upgradeability-problem/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 100 wpms_industrial/wcsp/spot5/dir/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 17 wpms_industrial/wcsp/spot5/log/ -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 16 Total -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 371 Max-SAT Random Bash regular expression: results/ms13-incomplete/*-ms_random*.log Timeout: 300 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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 Bash regular expression: results/ms13-incomplete/*-ms_crafted*.log Timeout: 300 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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 Bash regular expression: results/ms13-incomplete/*-ms_industrial*.log Timeout: 300 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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 Bash regular expression: results/ms13-incomplete/*-wms_random*.log Timeout: 300 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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 Bash regular expression: results/ms13-incomplete/*-wms_crafted*.log Timeout: 300 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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 Bash regular expression: results/ms13-incomplete/*-pms_random*.log Timeout: 300 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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 Bash regular expression: results/ms13-incomplete/*-pms_crafted*.log Timeout: 300 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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 chmarks/pms_crafted/scheduling/ 189126 201204 749732 768788 748270 767081 1463 1707 -1 -1 0 Total 3477 160 28715 1938 28333 1680 383 160 0 0 0 Partial Max-SAT Industrial Bash regular expression: results/ms13-incomplete/*-pms_industrial*.log Timeout: 300 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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/ 14457 6410 57069 21538 50316 18557 6753 3064 -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/ 2418 1854 27443 9157 25025 6958 2418 1854 -1 -1 0 chmarks/pms_industrial/bcp-mtg/ 2822 2225 13761 10879 13680 10797 82 82 -1 -1 0 chmarks/pms_industrial/bcp-syn/ 2120 570 1919 653 852 332 1068 332 -1 -1 0 trial/circuit-trace-compaction/ 335500 206150 944461 643291 944433 643256 28 20 -1 -1 0 pms_industrial/close_solutions/ 144313 91338 2798327 892997 2654119 659744 144209 91338 -1 -1 0 /benchmarks/pms_industrial/des/ 96743 95370 438515 432663 433226 427433 5290 5250 -1 -1 0 _industrial/haplotype-assembly/ 14806 13663 48165 48695 38532 38956 9633 9739 -1 -1 0 arks/pms_industrial/packup-pms/ 25377 20020 82535 84079 75158 75966 7378 8101 -1 -1 0 /pms_industrial/pbo-mqc/nencdr/ 19390 6786 77037 26069 76365 25859 672 210 -1 -1 0 s_industrial/pbo-mqc/nlogencdr/ 11860 4647 43953 16826 43281 16616 672 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 s_industrial/tpr/Multiple_path/ 108897 50322 327051 152287 325861 151733 1191 554 -1 -1 0 ks/pms_industrial/tpr/One_path/ 14924 14928 42824 42835 42461 42472 363 363 -1 -1 0 Total 37684 7598 363520 50525 349651 50047 13870 648 0 0 0 Weighted Partial Max-SAT Random Bash regular expression: results/ms13-incomplete/*-wpms_random*.log Timeout: 300 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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 Bash regular expression: results/ms13-incomplete/*-wpms_crafted*.log Timeout: 300 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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 at/benchmarks/wpms_crafted/CSG/ 6859 9774 906626 1342983 906538 1342878 88 85 -1 -1 0 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 Total 1205 194 34343 2750 33744 2444 599 171 0 0 0 Weighted Partial Max-SAT Industrial Bash regular expression: results/ms13-incomplete/*-wpms_industrial*.log Timeout: 300 Join string level: Directory Summary level: Check solver solutions and print table Data: Time Statistics: Percent 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/packup-wpms/ 9492 8151 33925 26246 30348 23538 3578 2971 -1 -1 0 industrial/preference_planning/ 14992 10731 104143 61308 104037 61264 106 24 -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 wpms_industrial/wcsp/spot5/dir/ 924 666 10156 7180 9789 6950 368 300 -1 -1 0 wpms_industrial/wcsp/spot5/log/ 553 422 9970 7122 9603 6892 368 300 -1 -1 0 Total 57657 18169 527678 112632 519045 94365 8634 5028 0 0 0