| Benchmark | EvalMaxSAT | iMaxHS | UWrMaxSat |
|---|
| FIFA-2018-Statistics.csv | 7200.0 | 7200.0 | 7200.0 |
| FIFA-2018-Statistics_100_4.csv | 7200.0 | 7200.0 | 7200.0 |
| FIFA-2018-Statistics_50_2.csv | 2018.6 | 4178.24 | 7200.0 |
| FIFA-2018-Statistics_50_3.csv | 7200.0 | 7200.0 | 7200.0 |
| adult_10000_3.csv | 7200.0 | 7200.0 | 7200.0 |
| adult_1000_3.csv | 7200.0 | 7200.0 | 7200.0 |
| adult_100_3.csv | 7200.0 | 7200.0 | 7200.0 |
| adult_5000_1.csv | 7200.0 | 7200.0 | 7200.0 |
| adult_5000_2.csv | 7200.0 | 7200.0 | 7200.0 |
| adult_5000_4.csv | 7200.0 | 7200.0 | 7200.0 |
| adult_50_1.csv | 312.75 | 291.01 | 7200.0 |
| adult_50_4.csv | 2019.99 | 1891.09 | 7200.0 |
| bank_10000_1.csv | 7200.0 | 7200.0 | 7200.0 |
| bank_10000_4.csv | 7200.0 | 7200.0 | 7200.0 |
| bank_1000_1.csv | 7200.0 | 7200.0 | 7200.0 |
| bank_50_2.csv | 28.05 | 44.01 | 1187.92 |
| banknote.csv | 7200.0 | 7200.0 | 7200.0 |
| banknote_1000_3.csv | 7200.0 | 7200.0 | 7200.0 |
| banknote_50_2.csv | 232.69 | 267.41 | 6889.7 |
| connect_10000_2.csv | 7200.0 | 7200.0 | 7200.0 |
| connect_1000_2.csv | 7200.0 | 7200.0 | 7200.0 |
| connect_100_1.csv | 7200.0 | 7200.0 | 7200.0 |
| connect_5000_4.csv | 7200.0 | 7200.0 | 7200.0 |
| connect_50_2.csv | 7200.0 | 7200.0 | 7200.0 |
| connect_50_3.csv | 7200.0 | 7200.0 | 7200.0 |
| connect_50_4.csv | 7200.0 | 7200.0 | 7200.0 |
| credit_10000_2.csv | 7200.0 | 7200.0 | 7200.0 |
| credit_1000_2.csv | 7200.0 | 7200.0 | 7200.0 |
| credit_1000_4.csv | 7200.0 | 7200.0 | 7200.0 |
| credit_5000_2.csv | 7200.0 | 7200.0 | 7200.0 |
| dota.csv | 7200.0 | 7200.0 | 7200.0 |
| dota_1000_2.csv | 7200.0 | 7200.0 | 7200.0 |
| dota_5000_2.csv | 7200.0 | 7200.0 | 7200.0 |
| dota_5000_4.csv | 7200.0 | 7200.0 | 7200.0 |
| dota_50_3.csv | 7200.0 | 7200.0 | 7200.0 |
| dota_50_4.csv | 7200.0 | 7200.0 | 7200.0 |
| heart_100_4.csv | 7200.0 | 7200.0 | 7200.0 |
| heart_50_3.csv | 98.37 | 159.0 | 5893.01 |
| ilpd_100_1.csv | 68.45 | 70.45 | 53.07 |
| ilpd_100_4.csv | 96.85 | 97.66 | 72.89 |
| ionosphere.csv | 7200.0 | 7200.0 | 7200.0 |
| ionosphere_100_1.csv | 7200.0 | 7200.0 | 7200.0 |
| ionosphere_50_2.csv | 247.05 | 158.02 | 7200.0 |
| ionosphere_50_4.csv | 134.7 | 115.83 | 7200.0 |
| magic_10000_1.csv | 7200.0 | 7200.0 | 7200.0 |
| magic_10000_2.csv | 7200.0 | 7200.0 | 7200.0 |
| magic_100_4.csv | 7200.0 | 7200.0 | 7200.0 |
| magic_5000_1.csv | 7200.0 | 7200.0 | 7200.0 |
| magic_5000_2.csv | 7200.0 | 7200.0 | 7200.0 |
| magic_50_2.csv | 372.85 | 414.59 | 7200.0 |
| magic_50_3.csv | 7200.0 | 7200.0 | 7200.0 |
| magic_50_4.csv | 7200.0 | 7200.0 | 7200.0 |
| medical_kaggle.csv | 7200.0 | 7200.0 | 7200.0 |
| medical_kaggle_10000_2.csv | 7200.0 | 7200.0 | 7200.0 |
| medical_kaggle_10000_4.csv | 7200.0 | 7200.0 | 7200.0 |
| medical_kaggle_1000_1.csv | 7200.0 | 7200.0 | 7200.0 |
| medical_kaggle_1000_4.csv | 7200.0 | 7200.0 | 7200.0 |
| medical_kaggle_5000_1.csv | 7200.0 | 7200.0 | 7200.0 |
| medical_kaggle_50_1.csv | 7200.0 | 7200.0 | 7200.0 |
| mushroom_1000_2.csv | 7200.0 | 7200.0 | 7200.0 |
| mushroom_100_4.csv | 7200.0 | 7200.0 | 7200.0 |
| mushroom_50_2.csv | 204.05 | 314.64 | 7200.0 |
| parkinsons_100_1.csv | 7200.0 | 7200.0 | 7200.0 |
| parkinsons_100_4.csv | 7200.0 | 7200.0 | 7200.0 |
| parkinsons_50_3.csv | 52.41 | 95.6 | 4945.59 |
| pima_100_3.csv | 7200.0 | 7200.0 | 7200.0 |
| skin_10000_3.csv | 7200.0 | 7200.0 | 7200.0 |
| skin_1000_1.csv | 7200.0 | 7200.0 | 7200.0 |
| skin_50_3.csv | 7200.0 | 7200.0 | 7200.0 |
| tictactoe_50_1.csv | 7200.0 | 7200.0 | 7200.0 |
| tictactoe_50_2.csv | 7200.0 | 7200.0 | 7200.0 |
| toms_10000_4.csv | 7200.0 | 7200.0 | 7200.0 |
| toms_1000_1.csv | 7200.0 | 7200.0 | 7200.0 |
| toms_100_2.csv | 7200.0 | 7200.0 | 7200.0 |
| toms_100_4.csv | 7200.0 | 7200.0 | 7200.0 |
| toms_50_2.csv | 118.97 | 45.93 | 7200.0 |
| toms_50_3.csv | 2282.97 | 2149.71 | 7200.0 |
| travel-insurance_5000_3.csv | 7200.0 | 7200.0 | 7200.0 |
| twitter_10000_1.csv | 7200.0 | 7200.0 | 7200.0 |
| twitter_1000_1.csv | 7200.0 | 7200.0 | 7200.0 |
| twitter_1000_3.csv | 7200.0 | 7200.0 | 7200.0 |
| twitter_1000_4.csv | 7200.0 | 7200.0 | 7200.0 |
| twitter_100_2.csv | 7200.0 | 7200.0 | 7200.0 |
| twitter_5000_2.csv | 7200.0 | 7200.0 | 7200.0 |
| twitter_5000_4.csv | 7200.0 | 7200.0 | 7200.0 |
| twitter_50_4.csv | 5910.23 | 4726.3 | 7200.0 |
| wdbc_100_2.csv | 7200.0 | 7200.0 | 7200.0 |
| wdbc_100_3.csv | 7200.0 | 7200.0 | 7200.0 |
| wdbc_100_4.csv | 6120.4 | 7200.0 | 7200.0 |
| wdbc_50_2.csv | 167.59 | 199.44 | 7200.0 |
| weatherAUS.csv | 7200.0 | 7200.0 | 7200.0 |
| weatherAUS_10000_4.csv | 7200.0 | 7200.0 | 7200.0 |
| weatherAUS_1000_1.csv | 7200.0 | 7200.0 | 7200.0 |
| weatherAUS_1000_2.csv | 7200.0 | 7200.0 | 7200.0 |
| weatherAUS_1000_3.csv | 7200.0 | 7200.0 | 7200.0 |
| weatherAUS_1000_4.csv | 7200.0 | 7200.0 | 7200.0 |
| weatherAUS_100_3.csv | 7200.0 | 7200.0 | 7200.0 |
| weatherAUS_5000_1.csv | 7200.0 | 7200.0 | 7200.0 |
| weatherAUS_5000_2.csv | 7200.0 | 7200.0 | 7200.0 |
| weatherAUS_50_3.csv | 241.25 | 214.7 | 7200.0 |