Results of the heuristic competition for problem class MWCS (8 threads)

Althaus-Blumenstock-ex Althaus-Blumenstock-heur fscip-jack fscip-jack-spx heinz-dc heinz-mc heinz-no-dc heinz-no-pre mozartballs polito
Instance Primal Bound Primal Integral Time Primal Bound Primal Integral Time Primal Bound Primal Integral Time Primal Bound Primal Integral Time Primal Bound Primal Integral Time Primal Bound Primal Integral Time Primal Bound Primal Integral Time Primal Bound Primal Integral Time Primal Bound Primal Integral Time Primal Bound Primal Integral Time
Formula 1 80.7 160.0 62.4 90.0 91.0 33.0 91.0 36.0 115.5 133.0 88.1 0.0 115.5 145.0 113.5 38.0 123.7 286.0 80.5 67.0
Average 71.4 93.3 10.5 70.0 267.5 1.1 589.9 22.4 175.7 589.6 22.8 175.0 605.6 0.6 1.7 572.4 9801.2 7199.3 605.6 1.7 1.7 605.6 13.7 50.5 605.6 0.2 0.9 513.9 11.4 53.2
drosophila001-p 14.6 2882.1 7203.0 14.6 3221.8 2.0 14.9 2790.1 47361.6 14.9 2790.2 21356.2 24.4 7.8 85.6 12.1 7207.7 7199.2 24.4 75.1 76.1 24.4 16.8 168.9 24.4 4.2 22.3 12.1 3628.9 174.0
drosophila005-p 147.8 1242.1 7204.0 154.6 1880.0 6670.0 132.1 1896.5 16266.5 131.8 1932.3 20291.4 178.7 6.0 119.2 103.9 7288.6 7199.1 178.7 116.3 119.5 178.7 30.9 533.2 178.7 1.7 15.8 173.8 210.5 94.4
drosophila0075-p 231.9 792.2 7204.0 242.4 1358.5 7202.0 218.5 1205.7 7201.1 214.4 1296.3 10036.2 260.5 5.3 67.9 160.8 7350.5 7199.7 260.5 80.8 82.4 260.5 41.4 183.8 260.5 1.3 10.5 257.8 89.7 97.0
HCMV-p 7.6 0.0 2537.0 5.5 2275.6 1.0 7.6 1.1 127.4 7.6 1.1 96.1 7.6 2.0 7.4 7.6 7203.2 7199.3 7.6 5.8 6.2 7.6 7.2 14.0 7.6 0.8 2.2 1.4 5850.4 26.7
lymphoma-p 70.2 0.0 200.0 49.4 2528.4 2.0 70.2 0.8 12.0 70.2 0.8 16.3 70.2 3.0 3.0 55.4 7244.3 7199.7 70.2 3.0 3.0 70.2 3.3 3.3 70.2 0.1 0.4 70.2 2.5 13.7
metabol_expr_mice_1-p 544.9 0.0 6184.0 477.1 1417.9 127.0 544.9 0.9 23.0 544.9 2.3 33.3 544.2 11.3 7200.7 481.3 7330.7 7199.9 0.0 7200.0 7200.1 544.9 3.7 7212.2 544.9 0.1 4.3 6.0 7121.1 6.5
metabol_expr_mice_2-p 241.1 0.0 6200.0 233.8 539.1 1.0 241.1 0.3 4.5 241.1 0.3 5.6 241.1 1.1 2.7 241.1 7232.1 7199.8 241.1 2.7 2.9 241.1 2.8 11.7 241.1 0.3 2.6 217.2 714.2 141.4
metabol_expr_mice_3-p 508.3 0.0 6105.0 443.2 1289.1 4.0 508.3 1.5 9.9 508.3 0.9 11.8 508.3 0.5 19.8 467.4 7291.3 7199.5 508.3 16.5 46.7 508.3 1.8 7202.0 508.3 0.1 1.0 15.0 6987.8 10.9
1500-a-0_6-d-0_25-e-0_25-p 1333.5 0.0 7201.0 1333.5 0.0 1.0 1329.8 42.7 7204.4 1329.8 42.3 7199.7 1333.5 0.3 1.9 1290.0 9537.3 7199.2 1333.5 2.0 2.0 1333.5 18.3 397.9 1333.5 0.1 2.1 1298.8 197.9 7200.0
1500-a-0_6-d-0_25-e-0_5-p 2799.7 0.0 194.0 2799.7 0.0 0.0 2797.7 106.8 7229.0 2797.7 106.3 7207.4 2799.7 0.3 0.4 2799.7 14113.5 7199.3 2799.7 0.4 0.4 2799.7 40.0 54.5 2799.7 0.1 0.6 2798.7 4.9 810.3
750-a-0_647-d-0_25-e-0_25-p 702.6 0.0 5.0 702.6 3.0 0.0 702.6 3.7 184.2 702.6 3.6 165.2 702.6 0.2 0.2 702.6 9542.9 7199.1 702.6 0.2 0.2 702.6 4.9 7.3 702.6 0.1 0.3 702.6 1.8 88.9
1500-a-1-d-0_25-e-0_25-p 9.9 7200.0 0.0 9.9 7200.0 0.0 1377.0 28.1 28.1 1377.0 28.7 28.8 1377.0 0.7 0.7 1377.0 9562.8 7199.6 1377.0 0.7 0.7 1377.0 31.7 36.3 1377.0 0.2 0.8 1377.0 3.4 47.3
1000-a-0_6-d-0_5-e-0_25-p 522.5 0.0 3.0 522.5 0.0 0.0 522.5 16.0 7203.2 522.5 16.2 7188.8 522.5 0.2 0.2 522.5 9083.0 7199.1 522.5 0.2 0.2 522.5 12.2 19.2 522.5 0.1 0.7 522.2 6.2 38.1
1000-a-0_6-d-0_25-e-0_5-p 1872.3 0.0 3.0 1871.8 1.8 0.0 1870.2 37.1 7205.4 1870.2 37.2 7203.1 1872.3 0.1 0.2 1872.3 14173.8 7199.1 1872.3 0.2 0.2 1872.3 14.8 17.1 1872.3 0.1 0.2 1872.3 1.6 1493.8
1000-a-0_6-d-0_25-e-0_25-p 931.5 0.0 80.0 931.5 0.0 0.0 931.5 7.5 1013.1 931.5 7.4 11132.5 931.5 0.2 0.5 926.3 9580.8 7199.1 931.5 0.5 0.5 930.7 13.7 7200.2 931.5 0.1 0.6 923.9 70.4 7200.1
750-a-0_647-d-0_25-e-0_5-p 1419.8 0.0 1.0 1419.8 0.0 0.0 1419.8 13.1 5206.5 1419.8 13.9 2043.1 1419.8 0.1 0.1 1419.8 14179.9 7199.1 1419.8 0.1 0.1 1419.8 8.5 29.0 1419.8 0.1 0.2 1419.8 2.0 74.9
500-a-0_62-d-0_75-e-0_25-p 171.6 0.0 0.0 171.6 0.0 0.0 171.6 4.6 4.6 171.6 4.5 4.5 171.6 0.1 0.1 171.6 9911.9 7199.0 171.6 0.0 0.0 171.6 5.1 5.5 171.6 0.0 0.1 171.6 1.1 11.9
500-a-0_62-d-0_25-e-0_25-p 460.6 0.0 5.0 460.6 0.0 0.0 460.6 1.1 1008.8 460.6 1.7 637.7 460.6 0.3 0.3 459.8 9468.7 7199.0 460.6 0.2 0.3 460.6 2.5 7200.4 460.6 0.0 0.3 459.4 41.0 7200.0
1000-a-0_6-d-0_75-e-0_25-p 332.8 0.0 0.0 332.8 0.0 0.0 332.8 31.2 7210.1 332.8 31.2 7198.9 332.8 0.1 0.2 332.8 9725.0 7199.1 332.8 0.1 0.1 332.8 20.1 22.4 332.8 0.1 0.5 332.8 1.6 20.7
500-a-0_62-d-0_25-e-0_5-p 993.0 0.0 0.0 993.0 0.0 0.0 993.0 4.7 44.0 993.0 4.2 9.7 993.0 0.1 0.1 993.0 13980.0 7199.0 993.0 0.1 0.1 993.0 4.3 4.4 993.0 0.0 0.1 993.0 1.1 22.0
1000-a-1-d-0_25-e-0_75-p 10.0 7200.0 0.0 10.0 7200.0 0.0 2789.6 67.2 67.2 2789.6 67.8 67.8 2789.6 0.3 0.3 2789.6 9705.5 7199.3 2789.6 0.3 0.3 2789.6 28.4 28.4 2789.6 0.1 0.9 2789.6 2.5 16.1
1000-a-0_6-d-0_25-e-0_75-p 10.0 7200.0 0.0 10.0 7200.0 0.0 2789.6 70.3 70.3 2789.6 69.7 69.8 2789.6 0.1 0.2 2789.6 9705.6 7199.1 2789.6 0.1 0.1 2789.6 25.5 25.5 2789.6 0.1 0.2 2789.6 1.6 18.7
1500-a-0_6-d-0_75-e-0_75-p 10.0 7200.0 0.0 10.0 7200.0 0.0 1423.6 174.7 174.7 1423.6 176.7 176.7 1423.6 0.3 0.3 1423.6 9281.6 7199.3 1423.6 0.3 0.3 1423.6 51.0 55.1 1423.6 0.1 0.6 1423.6 1.9 20.6
1000-a-1-d-0_5-e-0_75-p 10.0 7200.0 0.0 10.0 7200.0 0.0 1770.3 52.5 52.5 1770.3 52.5 52.5 1770.3 0.3 0.4 1770.3 9825.9 7199.3 1770.3 0.3 0.3 1770.3 26.4 26.4 1770.3 0.1 0.6 1770.3 2.4 15.6
1000-a-0_6-d-0_5-e-0_75-p 1762.7 0.0 0.0 1762.7 0.0 0.0 1762.7 55.2 7210.0 1762.7 55.4 7199.1 1762.7 0.1 0.1 1762.7 9806.4 7199.1 1762.7 0.1 0.1 1762.7 25.7 28.7 1762.7 0.1 0.3 1762.7 1.6 19.6
1500-a-1-d-0_75-e-0_75-p 10.0 7200.0 0.0 10.0 7200.0 0.0 1423.6 169.9 170.0 1423.6 169.6 169.6 1423.6 0.8 0.8 1423.6 9281.5 7199.7 1423.6 0.7 0.7 1423.6 51.2 51.3 1423.6 0.2 0.9 1423.6 3.1 21.0
1500-a-1-d-0_75-e-0_5-p 10.0 7200.0 0.0 10.0 7200.0 0.0 1089.8 142.5 142.6 1089.8 142.6 142.6 1089.8 0.7 0.7 1089.8 12602.3 7199.7 1089.8 0.7 0.7 1089.8 46.4 128.8 1089.8 0.2 0.7 1089.8 3.3 25.9
1000-a-1-d-0_25-e-0_5-p 9.9 7200.0 0.0 9.9 7200.0 0.0 1883.2 30.1 30.2 1883.2 30.0 30.0 1883.2 0.3 0.4 1883.2 14174.9 7199.3 1883.2 0.3 0.3 1883.2 29.7 29.7 1883.2 0.1 0.6 1883.2 2.5 17.3
1500-a-0_6-d-0_5-e-0_25-p 847.5 0.0 3.0 847.5 0.0 0.0 847.5 51.6 7225.8 847.5 52.0 7201.6 847.5 0.4 0.5 847.5 9284.4 7199.3 847.5 0.4 0.4 847.5 30.7 673.0 847.5 0.2 0.5 847.5 1.9 905.5
1500-a-0_6-d-0_75-e-0_5-p 10.0 7200.0 0.0 10.0 7200.0 0.0 1089.8 145.7 145.7 1089.8 144.9 144.9 1089.8 0.3 0.3 1089.8 12602.6 7199.2 1089.8 0.2 0.2 1089.8 44.5 57.7 1089.8 0.1 0.6 1089.8 1.9 19.7
750-a-1-d-0_25-e-0_75-p 10.0 7200.0 0.0 10.0 7200.0 0.0 2116.6 28.9 28.9 2116.6 28.7 28.7 2116.6 0.2 0.2 2116.6 9660.0 7199.2 2116.6 0.2 0.2 2116.6 19.2 19.2 2116.6 0.1 0.5 2116.6 2.0 18.1
750-a-0_647-d-0_25-e-0_75-p 10.0 7200.0 0.0 10.0 7200.0 0.0 2116.6 30.6 30.6 2116.6 30.2 30.2 2116.6 0.1 0.2 2116.6 9660.0 7199.1 2116.6 0.1 0.1 2116.6 12.7 12.7 2116.6 0.1 0.2 2116.6 1.5 27.9
500-a-1-d-0_25-e-0_25-p 9.9 7200.0 0.0 9.9 7200.0 0.0 471.4 1.4 1.5 471.4 1.6 1.6 471.4 0.1 0.1 471.4 9503.4 7199.1 471.4 0.1 0.1 471.4 4.0 4.0 471.4 0.1 0.2 471.4 1.7 12.6
750-a-1-d-0_75-e-0_25-p 10.0 7200.0 0.0 10.0 7200.0 0.0 267.0 14.2 14.2 267.0 14.1 14.1 267.0 0.2 0.2 267.0 10087.7 7199.2 267.0 0.2 0.2 267.0 16.4 17.1 267.0 0.1 0.4 267.0 2.1 20.9
500-a-0_62-d-0_75-e-0_5-p 10.0 7200.0 0.0 10.0 7200.0 0.0 362.2 6.1 6.1 362.2 5.9 5.9 362.2 0.1 0.1 362.2 13088.6 7199.0 362.2 0.0 0.0 362.2 5.4 5.6 362.2 0.0 0.2 362.2 1.0 13.5
500-a-1-d-0_75-e-0_75-p 10.0 7200.0 0.0 10.0 7200.0 0.0 490.6 7.0 7.0 490.6 6.9 6.9 490.6 0.1 0.1 490.6 9469.6 7199.1 490.6 0.1 0.1 490.6 12.4 12.4 490.6 0.1 0.2 490.6 1.6 14.0
500-a-1-d-0_5-e-0_25-p 9.9 7200.0 0.0 9.9 7200.0 0.0 286.9 2.5 2.5 286.9 2.3 2.3 286.9 0.1 0.1 286.9 9206.7 7199.1 286.9 0.1 0.1 286.9 5.0 5.4 286.9 0.1 0.2 286.9 1.6 13.2
500-a-1-d-0_75-e-0_5-p 10.0 7200.0 0.0 10.0 7200.0 0.0 362.2 5.9 5.9 362.2 6.0 6.0 362.2 0.1 0.1 362.2 13088.6 7199.1 362.2 0.1 0.1 362.2 10.7 10.7 362.2 0.1 0.2 362.2 1.7 8.5