| Benchmark | UWrMaxSat | UWrMaxSat+SCIP | iMaxHS | EvalMaxSAT |
|---|
| FIFA-2018-Statistics_100_1.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| adult_10000_3.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| adult_1000_1.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| car_1000_2.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| connect.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| connect_10000_4.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| connect_1000_2.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| connect_50_1.bicnf | 76.09 | 1638.07 | 1485.03 | 57.58 |
| credit_10000_3.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| credit_10000_4.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| credit_1000_4.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| credit_100_1.bicnf | 134.36 | 3695.58 | 1718.95 | 111.25 |
| credit_100_3.bicnf | 7.68 | 1574.02 | 370.2 | 11.21 |
| dota_1000_1.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| dota_1000_2.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| dota_5000_1.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| dota_50_1.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-element-prob-100-20-0.2-3.bicnf | 65.9 | 61.68 | 244.12 | 570.83 |
| fixed-element-prob-100-20-0.2-5.bicnf | 16.71 | 17.23 | 151.92 | 215.42 |
| fixed-element-prob-100-40-0.1-2.bicnf | 1423.21 | 1421.92 | 2591.82 | 7200.0 |
| fixed-element-prob-100-40-0.1-5.bicnf | 487.53 | 489.06 | 1504.09 | 7200.0 |
| fixed-element-prob-100-40-0.2-1.bicnf | 204.69 | 201.39 | 832.18 | 6159.06 |
| fixed-element-prob-100-60-0.1-4.bicnf | 3496.44 | 3419.23 | 5736.89 | 7200.0 |
| fixed-element-prob-100-60-0.1-5.bicnf | 2738.31 | 2838.36 | 7200.0 | 7200.0 |
| fixed-element-prob-100-60-0.2-4.bicnf | 376.88 | 396.02 | 1393.55 | 7200.0 |
| fixed-element-prob-100-80-0.1-2.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-element-prob-100-80-0.2-1.bicnf | 903.44 | 934.53 | 3874.07 | 7200.0 |
| fixed-element-prob-150-20-0.2-5.bicnf | 55.46 | 55.49 | 364.07 | 1327.38 |
| fixed-element-prob-150-40-0.1-1.bicnf | 4275.42 | 4275.69 | 7200.0 | 7200.0 |
| fixed-element-prob-150-40-0.1-4.bicnf | 6279.52 | 6163.12 | 7200.0 | 7200.0 |
| fixed-element-prob-150-40-0.2-2.bicnf | 346.11 | 341.11 | 1731.01 | 7200.0 |
| fixed-element-prob-150-40-0.2-4.bicnf | 173.01 | 167.51 | 820.72 | 7200.0 |
| fixed-element-prob-150-40-0.2-5.bicnf | 551.27 | 536.52 | 3814.96 | 7200.0 |
| fixed-element-prob-150-60-0.1-2.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-element-prob-150-60-0.2-3.bicnf | 1360.41 | 1362.34 | 4778.83 | 7200.0 |
| fixed-element-prob-150-60-0.2-4.bicnf | 550.07 | 545.94 | 2396.31 | 7200.0 |
| fixed-element-prob-150-80-0.1-2.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-element-prob-150-80-0.1-4.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-element-prob-200-20-0.2-1.bicnf | 48.32 | 46.06 | 226.75 | 677.5 |
| fixed-element-prob-200-40-0.2-1.bicnf | 378.53 | 381.08 | 1585.9 | 7200.0 |
| fixed-element-prob-200-40-0.2-3.bicnf | 660.63 | 651.16 | 3025.0 | 7200.0 |
| fixed-element-prob-200-40-0.2-5.bicnf | 265.59 | 260.11 | 1748.45 | 7200.0 |
| fixed-element-prob-200-60-0.1-1.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-element-prob-200-60-0.1-4.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-element-prob-200-60-0.2-3.bicnf | 4183.78 | 4081.12 | 7200.0 | 7200.0 |
| fixed-element-prob-200-80-0.1-4.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-element-prob-200-80-0.2-4.bicnf | 1387.71 | 1419.7 | 7200.0 | 7200.0 |
| fixed-set-card-100-40-10-4.bicnf | 662.01 | 654.38 | 1452.13 | 7200.0 |
| fixed-set-card-100-60-5-2.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-set-card-100-60-5-3.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-set-card-100-60-5-4.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-set-card-100-80-10-4.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-set-card-150-20-10-4.bicnf | 2901.66 | 2949.39 | 5130.09 | 7200.0 |
| fixed-set-card-150-20-5-5.bicnf | 4039.57 | 4111.48 | 5304.22 | 7200.0 |
| fixed-set-card-150-40-10-2.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-set-card-150-40-5-2.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-set-card-150-40-5-4.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-set-card-150-80-10-3.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-set-card-150-80-5-2.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-set-card-200-20-10-3.bicnf | 2000.37 | 2059.59 | 4178.16 | 7200.0 |
| fixed-set-card-200-20-5-4.bicnf | 244.23 | 277.12 | 420.58 | 718.84 |
| fixed-set-card-200-40-10-1.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-set-card-200-40-5-2.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-set-card-200-60-10-3.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-set-card-200-60-5-4.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-set-card-200-80-10-4.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| fixed-set-card-200-80-5-3.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| ionosphere.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| ionosphere_100_1.bicnf | 12.11 | 400.35 | 518.71 | 12.29 |
| magic_10000_2.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| magic_5000_3.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| magic_50_1.bicnf | 10.39 | 364.44 | 221.29 | 8.34 |
| medical_kaggle_10000_2.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| mushroom.bicnf | 581.31 | 612.22 | 2307.95 | 1411.01 |
| mushroom_1000_3.bicnf | 31.75 | 27.24 | 587.58 | 50.52 |
| mushroom_5000_4.bicnf | 256.6 | 278.24 | 1811.45 | 804.67 |
| parkinsons.bicnf | 3.74 | 2459.41 | 70.78 | 3.58 |
| pima_100_3.bicnf | 5.54 | 767.96 | 40.68 | 5.02 |
| skin_1000_2.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| skin_1000_4.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| skin_100_2.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| skin_5000_2.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| skin_50_1.bicnf | 2.4 | 26.4 | 46.52 | 2.15 |
| tictactoe_100_2.bicnf | 998.46 | 4597.66 | 2034.94 | 880.67 |
| tictactoe_100_3.bicnf | 73.34 | 2468.49 | 612.45 | 63.99 |
| toms_5000_1.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| toms_50_2.bicnf | 6.67 | 147.83 | 369.35 | 5.04 |
| toms_50_3.bicnf | 27.68 | 710.37 | 447.39 | 117.77 |
| travel-insurance_10000_3.bicnf | 137.45 | 138.46 | 153.2 | 1047.12 |
| travel-insurance_10000_4.bicnf | 205.37 | 203.63 | 807.37 | 747.32 |
| travel-insurance_5000_1.bicnf | 31.12 | 39.77 | 221.83 | 133.53 |
| travel-insurance_5000_3.bicnf | 33.75 | 34.82 | 166.59 | 92.23 |
| twitter_10000_4.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| twitter_100_3.bicnf | 1029.21 | 1804.38 | 2084.9 | 803.1 |
| twitter_5000_4.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| twitter_50_4.bicnf | 125.66 | 534.47 | 569.51 | 68.6 |
| weatherAUS.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| weatherAUS_5000_1.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| weatherAUS_5000_4.bicnf | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| weatherAUS_50_2.bicnf | 10.31 | 48.36 | 1129.73 | 7.43 |