| Solver | #Ins. | akmaxsat_ls | Maxsat_Power | LS_Power | akmaxsat | IncMaxSatz | WMaxSatz+ | WMaxSatz-2009 | PM2 | SAT4J-MAXSAT-2.2.0 | WPM1 | wbo-1.4a |
|---|
| highgirth/3SAT/ | 50 | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| highgirth/4SAT/ | 50 | 524.69(17) | 492.78(10) | 1225.04(9) | 1092.69(7) | 838.74(23) | 1153.36(4) | 1142.70(4) | 272.94(1) | 0.00(0) | 0.00(0) | 0.00(0) |
| max2sat/120v/ | 50 | 98.02(50) | 81.10(50) | 115.73(50) | 148.49(50) | 425.86(45) | 252.49(49) | 277.85(49) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| max2sat/140v/ | 50 | 398.95(50) | 316.00(50) | 391.61(49) | 472.45(48) | 706.25(27) | 557.92(43) | 521.38(43) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| max3sat/70v/ | 50 | 314.06(49) | 387.84(49) | 435.89(48) | 387.70(49) | 396.41(49) | 497.15(44) | 508.08(44) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| max3sat/80v/ | 50 | 249.25(50) | 256.82(49) | 341.36(49) | 310.36(49) | 283.94(49) | 434.83(48) | 436.91(48) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
|
| Total | 300 | 216 | 208 | 205 | 203 | 193 | 188 | 188 | 1 | 0 | 0 | 0 |