| Benchmark | iMaxHS | UWrMaxSat | UWrMaxSat+SCIP | EvalMaxSAT |
|---|
| anneal-un_20_1.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| anneal-un_20_3.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| anneal-un_30_0.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| anneal-un_30_4.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| anneal-un_60_2.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| anneal-un_60_4.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| anneal-un_70_4.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| anneal-un_90_0.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| audiology-un_20_4.csv | 111.48 | 450.57 | 7200.0 | 580.45 |
| audiology-un_70_2.csv | 4610.02 | 7200.0 | 7200.0 | 7200.0 |
| audiology-un_90_2.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| australian-credit-un_10_1.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| australian-credit-un_20_1.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| australian-credit-un_50_2.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| australian-credit-un_50_4.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| australian-credit-un_60_2.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| australian-credit-un_90_1.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| breast-cancer-un_40_4.csv | 7200.0 | 2048.61 | 3161.02 | 2432.34 |
| breast-cancer-un_50_0.csv | 6480.39 | 7200.0 | 2521.65 | 1265.5 |
| breast-cancer-un_60_3.csv | 7200.0 | 7200.0 | 7200.0 | 1252.39 |
| car-un_10_1.csv | 7200.0 | 2613.64 | 1383.36 | 7200.0 |
| car-un_20_3.csv | 7200.0 | 7200.0 | 3166.27 | 7200.0 |
| car-un_30_4.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| car-un_50_3.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| car-un_60_0.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| car-un_70_2.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| car-un_80_0.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| car-un_90_0.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| heart-cleveland-un_10_0.csv | 162.75 | 304.81 | 7200.0 | 701.52 |
| heart-cleveland-un_10_1.csv | 292.23 | 286.22 | 7200.0 | 1111.94 |
| heart-cleveland-un_10_2.csv | 1662.14 | 2207.05 | 7200.0 | 7200.0 |
| heart-cleveland-un_30_2.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| heart-cleveland-un_40_1.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| heart-cleveland-un_40_4.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| heart-cleveland-un_50_0.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| heart-cleveland-un_90_0.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| hypothyroid-un_20_1.csv | 6612.24 | 7200.0 | 7200.0 | 7200.0 |
| hypothyroid-un_40_2.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| hypothyroid-un_40_3.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| hypothyroid-un_60_1.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| hypothyroid-un_70_1.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| hypothyroid-un_90_0.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| kr-vs-kp-un_10_3.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| kr-vs-kp-un_20_0.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| kr-vs-kp-un_30_2.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| kr-vs-kp-un_40_2.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| kr-vs-kp-un_40_3.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| kr-vs-kp-un_60_3.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| kr-vs-kp-un_70_0.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| kr-vs-kp-un_70_3.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| kr-vs-kp-un_80_3.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| kr-vs-kp-un_90_2.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| lymph-un_10_0.csv | 6.69 | 7.29 | 2903.17 | 42.78 |
| lymph-un_10_1.csv | 4.85 | 3.12 | 3531.88 | 30.07 |
| lymph-un_20_3.csv | 19.61 | 20.06 | 2371.79 | 86.83 |
| lymph-un_20_4.csv | 10.15 | 15.47 | 2840.9 | 65.46 |
| lymph-un_30_2.csv | 223.5 | 91.16 | 5890.62 | 439.31 |
| lymph-un_50_1.csv | 1092.65 | 1037.56 | 7200.0 | 3544.59 |
| lymph-un_50_2.csv | 3216.02 | 7200.0 | 7200.0 | 7200.0 |
| lymph-un_90_0.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| mushroom-un_40_2.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| mushroom-un_50_3.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| mushroom-un_50_4.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| mushroom-un_60_1.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| mushroom-un_70_4.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| mushroom-un_90_4.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| primary-tumor-un_30_1.csv | 453.88 | 7200.0 | 2382.0 | 7200.0 |
| primary-tumor-un_30_2.csv | 288.14 | 7200.0 | 2673.76 | 1994.13 |
| primary-tumor-un_40_4.csv | 2203.89 | 7200.0 | 7200.0 | 7200.0 |
| primary-tumor-un_60_4.csv | 5354.48 | 7200.0 | 7200.0 | 7200.0 |
| primary-tumor-un_80_2.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| primary-tumor-un_90_4.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| soybean-un_20_2.csv | 4675.57 | 1973.71 | 4529.02 | 7200.0 |
| soybean-un_20_4.csv | 3289.94 | 3943.99 | 3555.73 | 7200.0 |
| soybean-un_30_3.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| soybean-un_50_4.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| soybean-un_60_1.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| soybean-un_70_0.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| splice-1-un_10_1.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| splice-1-un_10_3.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| splice-1-un_20_0.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| splice-1-un_30_2.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| splice-1-un_50_1.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| splice-1-un_50_2.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| splice-1-un_70_3.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| splice-1-un_80_2.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| tic-tac-toe-un_20_3.csv | 7200.0 | 7200.0 | 4800.56 | 7200.0 |
| tic-tac-toe-un_30_0.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| tic-tac-toe-un_40_4.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| tic-tac-toe-un_50_3.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| tic-tac-toe-un_60_0.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| tic-tac-toe-un_70_1.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| tic-tac-toe-un_70_4.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| tic-tac-toe-un_80_2.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| tic-tac-toe-un_90_0.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| tic-tac-toe-un_90_4.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| vote-un_10_2.csv | 0.32 | 0.1 | 433.0 | 0.8 |
| vote-un_30_2.csv | 618.09 | 113.88 | 2817.74 | 337.67 |
| vote-un_50_2.csv | 1699.81 | 2256.75 | 6890.55 | 2010.15 |
| vote-un_70_0.csv | 7200.0 | 7200.0 | 7200.0 | 7200.0 |