INSTANCE:             |      OPT:
----------------------|----------
ar9152.dmx            |      4349
ch71009.dmx           |     35025
ei8246.dmx            |      4123
fixed.dmx             |       500
gr9882.dmx            |      4931
K2.dmx                |         1
K3.dmx                |         1
K4.dmx                |         2
lu980.dmx             |       490
P3.dmx                |         2
pbd984.dmx            |       492
peterson.dmx          |         5
pma343.dmx            |       171
queen10_10.dmx        |        50
queen11_11.dmx        |        60
queen16_16.dmx        |       128
queen27_27.dmx        |       364
queen4_4.dmx          |         8
queen5_5.dmx          |        12
queen6_6.dmx          |        18
queen7_7.dmx          |        24
queen8_8.dmx          |        32
queen9_9.dmx          |        40
simple.dmx            |         2
USA-road-d.FLA.dmx    |    507967
USA-road-d.USA.dmx    |  11325669
xqf131.dmx            |        64