Testset: benchmark -----------------------------------+---------------+---------------+---------------+---------------+---------------+---------------+---------------+---------------+---------------+ Name | CBC | CPLEX | GLPK | Gurobi | lpsolve | SCIP-cpx | SCIP-clp | SCIP-spx | XPRESS | -----------------------------------+---------------+---------------+---------------+---------------+---------------+---------------+---------------+---------------+---------------+ 30n20b8 timeout 502 fail 11 abort timeout timeout timeout 23 acc-tight5 937 5 333 153 abort 122 520 229 127 aflow40b timeout 386 timeout 870 timeout 1861 1962 1988 166 air04 91 15 timeout 21 timeout 44 63 78 17 app1-2 timeout 180 timeout 65 timeout timeout timeout 1542 229 ash608gpia-3col 434 45 fail 11 abort 27 71 51 97 bab5 timeout 1431 timeout 160 abort timeout timeout timeout timeout beasleyC3 timeout 8 timeout 16 timeout timeout mismatch timeout 112 biella1 1306 346 timeout 406 timeout 222 3593 979 384 bienst2 775 72 timeout 30 2042 124 168 364 65 binkar10_1 403 10 1207 29 timeout 287 555 179 14 bley_xl1 346 10 error 8 abort 244 197 278 6 bnatt350 timeout timeout fail timeout abort 1038 2793 786 timeout core2536-691 112 63 timeout 70 abort 148 900 683 65 cov1075 timeout 39 timeout 5 timeout timeout timeout timeout 244 csched010 timeout timeout fail timeout timeout 3530 mismatch timeout 1620 danoint timeout timeout fail timeout timeout 3275 mismatch timeout 2742 dfn-gwin-UUM 964 82 error 244 timeout 60 mismatch 162 270 eil33-2 234 55 timeout 102 65 64 123 111 97 eilB101 2358 149 timeout 206 timeout 130 371 802 112 enlight13 timeout 16 fail 6 abort timeout 1780 821 18 enlight14 timeout 28 fail 6 abort 2729 1245 139 73 ex9 2952 6 error 35 abort 101 103 103 15 glass4 fail 1041 fail 374 fail fail timeout timeout 2657 gmu-35-40 timeout 2889 fail timeout abort timeout timeout timeout timeout iis-100-0-cov timeout 3484 timeout 1565 timeout 2013 timeout 1758 1338 iis-bupa-cov timeout timeout timeout timeout timeout timeout timeout timeout timeout iis-pima-cov timeout 1472 timeout 1001 timeout 589 1676 1011 813 lectsched-4-obj 637 7 timeout 2 abort 118 770 103 3 m100n500k4r1 timeout timeout timeout timeout abort timeout timeout timeout timeout macrophage timeout 341 timeout 161 timeout timeout timeout timeout 55 map18 1840 207 timeout 185 timeout 262 104 550 203 map20 1664 128 timeout 114 timeout 320 70 660 112 mcsched timeout 112 timeout 176 timeout 308 365 232 timeout mik-250-1-100-1 timeout 12 timeout 17 timeout 297 438 317 44 mine-166-5 128 18 error 24 timeout 28 51 67 8 mine-90-10 1765 325 timeout 545 timeout 513 1096 349 346 msc98-ip timeout 2828 fail 588 abort timeout timeout timeout timeout mspp16 abort 771 timeout 470 abort abort abort abort 239 mzzv11 126 44 timeout 21 abort 254 mismatch 528 5 n3div36 timeout timeout error timeout timeout timeout timeout timeout 2744 n3seq24 timeout 58 error 427 timeout timeout timeout timeout 70 n4-3 timeout 428 timeout 1747 timeout 417 mismatch 856 2369 neos-1109824 2036 22 timeout 93 abort 238 105 213 7 neos-1337307 timeout timeout error timeout timeout timeout timeout timeout 1984 neos-1396125 1580 440 3392 82 abort 177 489 timeout 58 neos13 timeout 28 fail 21 timeout 223 118 timeout 13 neos-1601936 908 714 error 215 abort 2128 timeout timeout 16 neos18 1987 75 timeout 90 timeout 48 235 43 24 neos-476283 2159 129 fail 188 fail 406 522 354 128 neos-686190 157 27 timeout 302 abort 79 90 124 36 neos-849702 timeout 1443 fail 353 abort 121 2965 930 timeout neos-916792 timeout 374 fail 101 timeout 468 1317 267 176 neos-934278 717 169 error 71 abort 787 timeout timeout 104 net12 timeout timeout fail 288 abort 1847 1737 timeout 29 netdiversion 1303 125 error 487 abort 763 2720 timeout 67 newdano timeout timeout timeout timeout timeout timeout timeout timeout timeout noswot 2522 765 timeout 63 timeout 338 178 136 45 ns1208400 timeout 1162 fail 111 abort 910 658 2142 timeout ns1688347 timeout 43 fail 30 abort 442 924 349 21 ns1758913 timeout 94 fail 50 abort timeout timeout timeout 34 ns1766074 544 95 fail 121 abort 767 729 713 132 ns1830653 timeout 165 timeout 323 abort 677 1621 520 363 opm2-z7-s2 1154 108 mismatch 184 timeout 450 mismatch 1407 473 pg5_34 1962 200 timeout 445 fail 1229 mismatch 1641 257 pigeon-10 timeout 915 timeout 596 abort timeout 17 timeout 2635 pw-myciel4 timeout 105 fail 553 abort timeout timeout timeout 644 qiu 243 16 mismatch 19 timeout 40 mismatch 54 33 rail507 992 229 timeout 323 abort 259 1217 1349 1023 ran16x16 491 95 mismatch 95 timeout 194 570 219 73 reblock67 timeout 551 timeout 1083 timeout 215 516 344 230 rmatr100-p10 189 29 mismatch 58 445 53 147 193 47 rmatr100-p5 191 33 mismatch 123 1191 81 247 551 129 rmine6 timeout timeout mismatch 916 timeout 2259 3200 2806 1640 rocII-4-11 timeout timeout error 313 timeout 166 283 264 285 rococoC10-001000 1728 328 fail 1460 abort 1062 timeout 1800 306 roll3000 2671 100 timeout 43 abort timeout timeout timeout 23 satellites1-25 fail 187 error 120 abort 404 1531 2498 533 sp98ic 3276 956 mismatch 267 timeout timeout timeout timeout 1464 sp98ir 62 23 mismatch 48 timeout 188 140 75 49 tanglegram1 timeout 1297 fail 5 timeout 355 999 928 143 tanglegram2 181 45 mismatch 1 3 3 5 6 2 timtab1 timeout 651 timeout 1057 abort 461 1732 482 330 triptim1 144 108 error 54 abort 782 timeout 2057 27 unitcal_7 timeout 142 fail 184 fail 1052 1364 1722 18 vpphard timeout 328 timeout timeout abort timeout timeout timeout timeout zib54-UUE timeout timeout error 1541 timeout timeout mismatch timeout 1948 -----------------------------------+---------------+---------------+---------------+---------------+---------------+---------------+---------------+---------------+---------------+ solved/stopped/failed | 41/43/3 | 75/12/0 | 3/38/46 | 77/10/0 | 5/40/42 | 63/22/2 | 52/24/11 | 57/29/1 | 76/11/0 | timelimit [sec] | 3600 | 3600 | 3600 | 3600 | 3600 | 3600 | 3600 | 3600 | 3600 | -----------------------------------+---------------+---------------+---------------+---------------+---------------+---------------+---------------+---------------+---------------+