| Benchmark | iMaxHS | EvalMaxSAT | UWrMaxSat | UWrMaxSat+SCIP |
|---|
| A-1-BA_120_30_3_121_20_3.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| A-1-BA_180_10_2_181_30_3.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| A-1-BA_180_10_2_181_5_1.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| A-1-BA_40_80_5_41_10_1.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| A-1-BA_40_80_5_41_30_1.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| A-1-BA_60_70_3_61_2_2.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| A-1-afinput_exp_acyclic_indvary1_step5_batch_yyy04_26_10_0.apx | 0.11 | 0.2 | 0.18 | 0.27 |
| A-1-caravan-or-us.gml.80_19_10_1.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| A-1-ferry2.pfile-L2-C1-05.pddl.3.cnf_205_10_1.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| A-1-ferry2.pfile-L2-C1-05.pddl.3.cnf_205_10_3.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| A-1-ferry2.pfile-L2-C1-05.pddl.3.cnf_205_2_3.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| A-1-ferry2.pfile-L2-C1-08.pddl.1.cnf_86_2_4.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| A-1-ferry2.pfile-L2-C1-08.pddl.1.cnf_86_7_3.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| A-1-grd_418_2_9_418_10_0.apx | 6283.58 | 7200.0 | 7200.0 | 7200.0 |
| A-1-stb_437_137_437_5_0.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| A-2-BA_180_20_1_181_30_3.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| A-2-stb_422_250_422_7_1.apx | 1041.58 | 7200.0 | 7152.32 | 7200.0 |
| B-1-BA_100_20_1_101_20_1.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| B-1-BA_120_20_2_121_10_3.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| B-1-BA_40_80_4_41_10_3.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| B-1-afinput_exp_cycles_indvary1_step8_batch_yyy08_41_30_3.apx | 0.29 | 0.43 | 0.22 | 0.56 |
| B-1-afinput_exp_cycles_indvary1_step8_batch_yyy08_41_30_4.apx | 0.34 | 0.51 | 0.47 | 0.51 |
| B-1-grd_156_3_6_156_10_2.apx | 466.17 | 7200.0 | 5306.26 | 5212.64 |
| B-1-grd_156_3_6_156_7_3.apx | 133.39 | 7200.0 | 1197.32 | 1193.07 |
| B-1-stb_138_162_138_5_0.apx | 22.98 | 483.64 | 4.68 | 4.65 |
| B-1-stb_199_128_199_10_1.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| B-2-BA_140_30_5_141_20_2.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| B-2-WS_200_20_90_50_200_5_3.apx | 5.0 | 4266.18 | 7200.0 | 7200.0 |
| B-2-WS_200_20_90_50_200_7_2.apx | 41.25 | 25.7 | 7200.0 | 7200.0 |
| B-3-WS_300_16_90_30_300_10_0.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| B-3-WS_300_16_90_30_300_7_0.apx | 324.3 | 178.55 | 98.65 | 97.04 |
| B-3-WS_300_16_90_30_300_7_1.apx | 819.89 | 7200.0 | 4473.73 | 4425.4 |
| B-3-stb_327_100_327_5_4.apx | 428.77 | 7200.0 | 37.4 | 37.57 |
| B-3-stb_339_393_339_7_3.apx | 1552.59 | 7200.0 | 7200.0 | 7200.0 |
| B-3-stb_390_450_390_10_4.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| B-3-stb_428_430_428_5_0.apx | 165.82 | 190.05 | 153.72 | 152.65 |
| C-1-BA_120_20_5_121_30_1.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| C-1-afinput_exp_acyclic_indvary1_step5_batch_yyy07_26_2_2.apx | 0.28 | 0.18 | 0.14 | 0.38 |
| C-1-stb_463_93_463_2_3.apx | 148.27 | 99.13 | 2244.09 | 2161.98 |
| Medium-result-b1_438_2_4.apx | 241.73 | 67.47 | 321.64 | 327.83 |
| Small-result-b102_99_10_2.apx | 227.24 | 6.98 | 19.11 | 1896.72 |
| Small-result-b102_99_2_0.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b11_14_7_1.apx | 0.33 | 0.19 | 0.71 | 0.38 |
| Small-result-b14_14_5_3.apx | 8.44 | 1.84 | 50.78 | 241.08 |
| Small-result-b19_11_20_3.apx | 0.47 | 0.09 | 0.29 | 0.26 |
| Small-result-b21_23_2_1.apx | 605.54 | 5478.4 | 7200.0 | 7200.0 |
| Small-result-b24_95_5_4.apx | 4.09 | 7.46 | 2.69 | 3.37 |
| Small-result-b25_95_2_1.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b26_191_5_2.apx | 86.23 | 177.79 | 46.06 | 44.21 |
| Small-result-b27_191_5_1.apx | 84.21 | 180.82 | 42.16 | 41.58 |
| Small-result-b29_16_10_2.apx | 4296.91 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b30_16_2_0.apx | 1978.74 | 3774.94 | 7200.0 | 7200.0 |
| Small-result-b30_16_5_0.apx | 3651.02 | 5263.97 | 7200.0 | 7200.0 |
| Small-result-b31_16_2_4.apx | 6200.15 | 6878.47 | 7200.0 | 7200.0 |
| Small-result-b36_19_5_0.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b38_14_7_0.apx | 0.31 | 0.11 | 0.03 | 0.24 |
| Small-result-b42_13_20_4.apx | 48.33 | 5.79 | 627.74 | 1346.36 |
| Small-result-b43_12_10_0.apx | 0.02 | 0.02 | 0.02 | 0.09 |
| Small-result-b49_55_2_3.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b52_48_5_1.apx | 52.12 | 54.84 | 5637.67 | 1403.25 |
| Small-result-b53_49_7_4.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b54_47_2_1.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b56_46_10_0.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b56_46_10_4.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b57_8_20_2.apx | 0.22 | 0.03 | 0.02 | 0.1 |
| Small-result-b59_67_5_0.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b59_67_5_1.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b59_67_7_1.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b5_47_2_1.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b63_32_2_2.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b63_32_2_3.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b64_32_2_4.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b6_95_5_1.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b76_43_2_4.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b78_25_2_2.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b83_12_10_2.apx | 0.36 | 0.05 | 0.06 | 0.19 |
| Small-result-b83_12_5_1.apx | 3.91 | 0.14 | 0.15 | 0.58 |
| Small-result-b83_12_7_3.apx | 1.03 | 0.25 | 0.76 | 9.7 |
| Small-result-b85_24_2_2.apx | 109.77 | 86.37 | 7200.0 | 7200.0 |
| Small-result-b86_24_5_1.apx | 5.99 | 3.29 | 7.36 | 2.2 |
| Small-result-b87_24_10_1.apx | 0.08 | 0.13 | 0.22 | 0.22 |
| Small-result-b90_85_2_1.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b91_99_2_4.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b93_103_2_4.apx | 1.35 | 2.88 | 1.06 | 3.41 |
| Small-result-b97_85_7_4.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| Small-result-b98_85_2_0.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| T-1-BA_100_10_3_101_20_0.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| T-1-BA_20_60_3_21_30_1.apx | 42.9 | 8.37 | 347.39 | 1481.66 |
| T-1-BA_40_50_2_41_2_3.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| T-1-BA_40_50_2_41_2_4.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| T-1-BA_40_50_2_41_5_1.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| T-1-BA_80_30_3_81_10_3.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| T-1-BA_80_30_3_81_2_1.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| T-1-BA_80_30_3_81_7_0.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| T-1-caravan-airport-transportation_20151216_1604.gml.20_19_20_4.apx | 1.41 | 1.03 | 4.69 | 3.41 |
| T-1-caravan-airport-transportation_20151216_1604.gml.20_19_2_1.apx | 8.56 | 5.08 | 357.61 | 193.08 |
| T-1-grd_156_3_6_156_2_2.apx | 300.59 | 34.07 | 534.98 | 49.72 |
| T-1-stb_218_401_218_2_0.apx | 95.85 | 47.3 | 62.44 | 61.96 |
| T-2-stb_265_466_265_2_3.apx | 166.35 | 72.94 | 46.57 | 47.51 |
| n100p3q34ve_100_5_0.apx | 7200.0 | 7200.0 | 7200.0 | 7200.0 |