toulbar2-ipr-mpe Scores
The results below are organized as follows:
- each table displays the solver’s performance for individual problem instances for the given task under different time limits
- table values are normalized scores for each evaluated problem as outlined in Evaluation Criteria
MPE
overall
Problem | 20sec | 1200sec | 3600sec |
---|---|---|---|
1CKK | 0.0 (nan) | 100.0 (5520.9) | 100.0 (5520.9) |
1CM1 | 0.0 (nan) | 100.0 (5414.6) | 100.0 (5414.6) |
1SY9 | 0.0 (nan) | 100.0 (3985.1) | 100.0 (3985.1) |
2BBN | 0.0 (nan) | 100.0 (5328.6) | 100.0 (5328.6) |
2BCX | 0.0 (nan) | 100.0 (6002.2) | 100.0 (6002.2) |
BN-d-10000-4-2 | 0.0 (nan) | 0.0 (nan) | 0.0 (nan) |
BN-d-200-5-10 | 95.3 (-46.9) | 100.0 (-46.5) | 100.0 (-46.5) |
BN-d-20000-4-2 | 0.0 (nan) | 0.0 (nan) | 0.0 (nan) |
BN-d-250-5-10 | 0.0 (nan) | 100.0 (-56.6) | 100.0 (-56.6) |
BN-d-500-5-10 | 0.0 (nan) | 99.7 (-117.1) | 99.7 (-117.1) |
BN-nd-10000-4-2 | 0.0 (nan) | 0.0 (nan) | 0.0 (nan) |
BN-nd-200-5-10 | 0.0 (nan) | 100.0 (-54.5) | 100.0 (-54.5) |
BN-nd-20000-4-2 | 0.0 (nan) | 0.0 (nan) | 0.0 (nan) |
BN-nd-250-5-10 | 0.0 (nan) | 91.7 (-65.8) | 91.7 (-65.8) |
BN-nd-500-5-10 | 0.0 (nan) | 100.0 (-134.9) | 100.0 (-134.9) |
Hardsat_aes_64_1_keyfind_1 | 0.0 (nan) | 0.0 (-inf) | 0.0 (-inf) |
Hardsat_gss-25-s100 | 0.0 (nan) | 0.0 (nan) | 0.0 (nan) |
Hardsat_mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520 | 0.0 (nan) | 0.0 (nan) | 0.0 (nan) |
Hardsat_mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535 | 0.0 (nan) | 0.0 (nan) | 0.0 (nan) |
Hardsat_mod4block_2vars_10gates_u2_autoenc | 0.0 (nan) | 0.0 (nan) | 0.0 (nan) |
Maxsat_aes_64_1_keyfind_1 | 0.0 (1799.2) | 30.2 (1825.3) | 25.9 (1822.6) |
Maxsat_gss-25-s100 | 0.0 (nan) | 0.0 (63026.1) | 0.0 (63026.1) |
Maxsat_mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520 | 79.0 (1626.9) | 96.6 (1637.4) | 100.0 (1639.4) |
Maxsat_mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535 | 85.0 (1684.2) | 98.6 (1692.1) | 100.0 (1692.9) |
Maxsat_mod4block_2vars_10gates_u2_autoenc | 0.0 (nan) | 98.6 (81310.2) | 100.0 (81316.6) |
Promedas_60 | 100.0 (-10.0) | 100.0 (-10.0) | 100.0 (-10.0) |
Promedas_61 | 100.0 (-6.9) | 100.0 (-6.9) | 100.0 (-6.9) |
Promedas_62 | 100.0 (-4.7) | 100.0 (-4.7) | 100.0 (-4.7) |
Promedas_63 | 100.0 (-6.1) | 100.0 (-6.1) | 100.0 (-6.1) |
Promedas_64 | 100.0 (-11.5) | 100.0 (-11.5) | 100.0 (-11.5) |
Promedas_65 | 100.0 (-5.2) | 100.0 (-5.2) | 100.0 (-5.2) |
Promedas_66 | 100.0 (-10.4) | 100.0 (-10.4) | 100.0 (-10.4) |
Promedas_67 | 100.0 (-13.4) | 100.0 (-13.4) | 100.0 (-13.4) |
Promedas_68 | 100.0 (-18.9) | 100.0 (-18.9) | 100.0 (-18.9) |
Promedas_69 | 100.0 (-11.2) | 100.0 (-11.2) | 100.0 (-11.2) |
driverlog04ac.wcsp | 88.5 (-12.1) | 88.5 (-12.1) | 88.5 (-12.1) |
driverlog05ac.wcsp | 80.0 (-20.0) | 80.0 (-20.0) | 80.0 (-20.0) |
driverlog08ac.wcsp | 74.1 (-28.0) | 77.8 (-24.0) | 77.8 (-24.0) |
grid20x20.f10 | 100.0 (1309.7) | 100.0 (1309.7) | 100.0 (1309.7) |
grid20x20.f10.wrap | 100.0 (1325.0) | 100.0 (1325.0) | 100.0 (1325.0) |
grid20x20.f15 | 100.0 (1961.8) | 100.0 (1961.8) | 100.0 (1961.8) |
grid20x20.f15.wrap | 100.0 (1981.8) | 100.0 (1981.8) | 100.0 (1981.8) |
grid20x20.f5.wrap | 100.0 (670.0) | 100.0 (670.0) | 100.0 (670.0) |
grid40x40.f10 | 97.5 (5455.7) | 98.9 (5482.4) | 100.0 (5504.4) |
grid40x40.f10.wrap | 81.4 (5246.8) | 100.0 (5674.4) | 100.0 (5674.4) |
grid40x40.f15 | 95.8 (8111.6) | 97.8 (8169.5) | 99.8 (8228.8) |
grid40x40.f15.wrap | 82.6 (7883.7) | 98.6 (8447.4) | 100.0 (8496.7) |
grid40x40.f2 | 100.0 (1167.8) | 100.0 (1167.8) | 100.0 (1167.8) |
grid40x40.f2.wrap | 93.4 (1156.6) | 100.0 (1179.2) | 100.0 (1179.2) |
grid40x40.f5 | 84.9 (2642.0) | 100.0 (2781.6) | 100.0 (2781.6) |
grid40x40.f5.wrap | 79.8 (2618.7) | 100.0 (2825.5) | 100.0 (2825.5) |
grid80x80.f10 | 0.0 (nan) | 98.2 (21777.8) | 98.4 (21794.5) |
grid80x80.f10.wrap | 0.0 (nan) | 98.1 (21859.6) | 98.6 (21905.2) |
grid80x80.f15 | 0.0 (nan) | 97.7 (32514.6) | 98.2 (32582.2) |
grid80x80.f15.wrap | 0.0 (nan) | 97.6 (32903.5) | 98.1 (32971.6) |
grid80x80.f2 | 0.0 (nan) | 100.0 (4677.7) | 100.0 (4677.7) |
grid80x80.f2.wrap | 0.0 (nan) | 100.0 (4735.7) | 100.0 (4735.7) |
grid80x80.f5 | 0.0 (nan) | 98.1 (11086.9) | 98.4 (11097.7) |
grid80x80.f5.wrap | 0.0 (nan) | 98.7 (11063.5) | 99.0 (11073.6) |
pdb1jmx | 100.0 (-501.4) | 100.0 (-501.4) | 100.0 (-501.4) |
pdb1kgn | 100.0 (-748.7) | 100.0 (-748.7) | 100.0 (-748.7) |
pdb1kwh | 100.0 (-305.5) | 100.0 (-305.5) | 100.0 (-305.5) |
pdb1m3y | 100.0 (-1054.2) | 100.0 (-1054.2) | 100.0 (-1054.2) |
pdb1qks | 100.0 (-657.0) | 100.0 (-657.0) | 100.0 (-657.0) |
pedigree1 | 100.0 (-45.6) | 100.0 (-45.6) | 100.0 (-45.6) |
pedigree13 | 0.0 (-inf) | 0.0 (-inf) | 0.0 (-inf) |
pedigree18 | 0.0 (-inf) | 100.0 (-125.3) | 100.0 (-125.3) |
pedigree19 | 99.4 (-97.6) | 100.0 (-97.1) | 100.0 (-97.1) |
pedigree20 | 100.0 (-53.8) | 100.0 (-53.8) | 100.0 (-53.8) |
pedigree23 | 100.0 (-62.4) | 100.0 (-62.4) | 100.0 (-62.4) |
pedigree25 | 0.0 (-inf) | 0.0 (-inf) | 0.0 (-inf) |
pedigree30 | 0.0 (-inf) | 0.0 (-inf) | 0.0 (-inf) |
pedigree31 | 97.3 (-133.7) | 97.3 (-133.7) | 97.3 (-133.7) |
pedigree33 | 100.0 (-74.9) | 100.0 (-74.9) | 100.0 (-74.9) |
pedigree34 | 0.0 (-inf) | 0.0 (-inf) | 0.0 (-inf) |
pedigree37 | 0.0 (-inf) | 0.0 (-inf) | 0.0 (-inf) |
pedigree38 | 100.0 (-87.3) | 100.0 (-87.3) | 100.0 (-87.3) |
pedigree39 | 0.0 (-inf) | 0.0 (-inf) | 0.0 (-inf) |
pedigree40 | 100.0 (-130.3) | 100.0 (-130.2) | 100.0 (-130.2) |
pedigree41 | 100.0 (-120.7) | 100.0 (-120.7) | 100.0 (-120.7) |
pedigree42 | 100.0 (-81.8) | 100.0 (-81.8) | 100.0 (-81.8) |
pedigree44 | 0.0 (-inf) | 0.0 (-inf) | 0.0 (-inf) |
pedigree50 | 100.0 (-61.7) | 100.0 (-61.7) | 100.0 (-61.7) |
pedigree51 | 98.0 (-111.7) | 98.1 (-111.5) | 98.1 (-111.5) |
pedigree7 | 0.0 (-inf) | 0.0 (-inf) | 0.0 (-inf) |
pedigree9 | 0.0 (-inf) | 0.0 (-inf) | 0.0 (-inf) |
rovers02ac.wcsp | 87.1 (-12.0) | 87.1 (-12.0) | 87.1 (-12.0) |
rus_100_200_1_1 | 0.0 (nan) | 100.0 (2683.9) | 100.0 (2683.9) |
rus_100_200_2_1 | 0.0 (nan) | 99.2 (2639.4) | 99.2 (2639.4) |
rus_100_200_3_1 | 0.0 (nan) | 88.0 (2539.4) | 88.0 (2539.4) |
rus_100_200_3_3 | 0.0 (nan) | 77.8 (2449.6) | 77.8 (2449.6) |
rus_100_200_4_3 | 0.0 (nan) | 81.2 (2479.5) | 81.2 (2479.5) |
rus_100_200_5_3 | 0.0 (nan) | 91.8 (2573.3) | 91.8 (2573.3) |
rus_100_200_6_1 | 0.0 (nan) | 58.4 (2276.7) | 58.4 (2276.7) |
rus_50_100_4_1 | 39.6 (1535.9) | 39.6 (1535.9) | 39.6 (1535.9) |
rus_50_100_4_3 | 55.8 (1615.8) | 55.8 (1615.8) | 55.8 (1615.8) |
rus_50_100_6_1 | 0.0 (1338.1) | 0.0 (1338.1) | 0.0 (1338.1) |
rus_50_100_6_2 | 64.1 (1656.5) | 64.1 (1656.5) | 64.1 (1656.5) |
rus_50_100_7_1 | 33.1 (1504.1) | 33.1 (1504.1) | 33.1 (1504.1) |
rus_50_100_7_2 | 34.2 (1509.9) | 34.2 (1509.9) | 34.2 (1509.9) |
rus_50_100_8_1 | 21.3 (1446.2) | 21.3 (1446.2) | 21.3 (1446.2) |
rus_50_100_9_3 | 55.5 (1614.3) | 55.5 (1614.3) | 55.5 (1614.3) |
satellite01ac.wcsp | 100.0 (-0.1) | 100.0 (-0.1) | 100.0 (-0.1) |
satellite02ac.wcsp | 100.0 (-0.0) | 100.0 (-0.0) | 100.0 (-0.0) |
scen06.wcsp | 99.9 (-13.6) | 100.0 (-13.6) | 100.0 (-13.6) |
scen07.wcsp | 94.3 (-5.6) | 100.0 (-1.4) | 100.0 (-1.4) |
zenotravel02ac.wcsp | 66.8 (-16.0) | 66.8 (-16.0) | 66.8 (-16.0) |
zenotravel04ac.wcsp | 64.8 (-24.0) | 58.9 (-28.0) | 58.9 (-28.0) |