------------------+------+--- Original --+-- Presolved --+----------------+----------------+------+--------+-------+-------+------- Name | Type | Conss | Vars | Conss | Vars | Dual Bound | Primal Bound | Gap% | Iters | Nodes | Time | ------------------+------+-------+-------+---------------+----------------+----------------+------+--------+-------+-------+------- 30n20b8 MIP 577 18381 ?? ?? 302 302 0.0 7351437 42500 1530.7 ok ( 1 - 1) acc-tight5 MIP 3053 1340 ?? ?? 0 0 0.0 209805 368 51.6 ok ( 1 - 1) aflow40b MIP 1443 2729 ?? ?? 1168 1168 0.0 11084291 209194 1282.0 ok ( 1 - 1) air04 MIP 824 8905 ?? ?? 56137 56137 0.0 51767 421 32.9 ok ( 1 - 1) app1-2 MIP 53468 26872 ?? ?? -41 -41 0.0 16754 286 94.7 ok ( 1 - 1) ash608gpia-3col MIP 24749 3652 ?? ?? -1e+20 1e+20 -- 310887 0 396.1 ok (19 - 1) bab5 MIP 4965 21601 ?? ?? -106411.84 -106411.84 0.0 439192 5860 521.2 ok ( 1 - 1) beasleyC3 MIP 1751 2501 ?? ?? 754 754 0.0 36688 693 20.8 ok ( 1 - 1) biella1 MIP 1204 7329 ?? ?? 3065005.78 3065005.78 0.0 1116945 2242 846.3 ok ( 1 - 1) bienst2 MIP 577 506 ?? ?? 54.6 54.6 0.0 1128350 101635 45.8 ok ( 1 - 1) binkar10_1 MIP 1027 2299 ?? ?? 6742.20002 6742.20002 0.0 473549 48642 44.9 ok ( 1 - 1) bley_xl1 MIP 175621 5832 ?? ?? 190 190 0.0 8662 0 12.8 ok ( 1 - 1) bnatt350 MIP 4924 3151 ?? ?? 0 0 0.0 11310753 21489 2655.6 ok ( 1 - 1) core2536-691 MIP 2540 15294 ?? ?? 689 689 0.0 190331 725 183.5 ok ( 1 - 1) cov1075 MIP 638 121 ?? ?? 20 20 0.0 14453 219 5.4 ok ( 1 - 1) csched010 MIP 352 1759 ?? ?? 397 410 3.3 26779247 336329 3600.2 timeout ( 8 - 3) danoint MIP 665 522 ?? ?? 63.5425037 65.6666667 3.3 42082042 590588 3600.2 timeout ( 8 - 3) dfn-gwin-UUM MIP 159 939 ?? ?? 38752 38752 0.0 4522875 269763 326.1 ok ( 1 - 1) eil33-2 MIP 33 4517 ?? ?? 934.007916 934.007916 0.0 218127 10948 182.8 ok ( 1 - 1) eilB101 MIP 101 2819 ?? ?? 1216.92017 1216.92017 0.0 837141 11258 230.8 ok ( 1 - 1) enlight13 MIP 170 339 ?? ?? 71 71 0.0 262672 24271 10.6 ok ( 1 - 1) enlight14 MIP 197 393 ?? ?? -1e+20 1e+20 -- 313479 0 12.1 ok (19 - 1) ex9 MIP 40963 10405 ?? ?? 81 81 0.0 0 0 56.4 ok ( 1 - 1) glass4 MIP 397 322 ?? ?? 1.2000126e+09 1.2000126e+09 0.0 5055542 250481 646.4 ok ( 1 - 1) gmu-35-40 MIP 425 843 ?? ?? -2406740.66 -2406685.46 0.0 55550297 14645887 3601.0 timeout ( 8 - 3) iis-100-0-cov MIP 3832 101 ?? ?? 29 29 0.0 6068922 129881 1749.3 ok ( 1 - 1) iis-bupa-cov MIP 4804 346 ?? ?? 34 36 5.9 9132363 125929 3600.1 timeout ( 8 - 3) iis-pima-cov MIP 7202 769 ?? ?? 33 33 0.0 3658835 55011 2079.7 ok ( 1 - 1) lectsched-4-obj MIP 14164 7809 ?? ?? 4 4 0.0 10581 54 4.9 ok ( 1 - 1) m100n500k4r1 MIP 101 501 ?? ?? -25 -24 4.2 67063269 3146293 3600.0 timeout ( 8 - 3) macrophage MIP 3165 2261 ?? ?? 374 374 0.0 774661 12084 208.2 ok ( 1 - 1) map18 MIP 328819 164548 ?? ?? -847 -847 0.0 622084 1155 304.6 ok ( 1 - 1) map20 MIP 328819 164548 ?? ?? -922 -922 0.0 502207 1181 232.4 ok ( 1 - 1) mcsched MIP 2108 1748 ?? ?? 211913 211913 0.0 1409031 23043 236.4 ok ( 1 - 1) mik-250-1-100-1 MIP 152 252 ?? ?? -66729 -66729 0.0 408560 174056 26.1 ok ( 1 - 1) mine-166-5 MIP 8430 831 ?? ?? -566395708 -566395708 0.0 122138 12472 35.5 ok ( 1 - 1) mine-90-10 MIP 6271 901 ?? ?? -784302338 -784302338 0.0 8796240 840270 1259.3 ok ( 1 - 1) msc98-ip MIP 15850 21144 ?? ?? 19839497 19839497 0.0 2338547 6198 1516.0 ok ( 1 - 1) mspp16 MIP 561658 29281 ?? ?? 363 363 0.0 2632 0 2549.7 ok ( 1 - 1) mzzv11 MIP 9500 10241 ?? ?? -21718 -21718 0.0 40550 8 28.6 ok ( 1 - 1) n3div36 MIP 4485 22121 ?? ?? 128400 131000 2.0 1317978 77877 3600.5 timeout ( 8 - 3) n3seq24 MIP 6045 119857 ?? ?? 52200 52200 0.0 151323 31200 420.4 ok ( 1 - 1) n4-3 MIP 1237 3597 ?? ?? 8993 8993 0.0 8312666 101634 1959.2 ok ( 1 - 1) neos-1109824 MIP 28980 1521 ?? ?? 378 378 0.0 183042 7999 91.2 ok ( 1 - 1) neos-1337307 MIP 5688 2841 ?? ?? -202389.995 -202319 0.0 10020166 111895 3600.1 timeout ( 8 - 3) neos-1396125 MIP 1495 1162 ?? ?? 3000.04534 3000.04534 0.0 692037 7026 81.7 ok ( 1 - 1) neos13 MIP 20853 1828 ?? ?? -95.4748066 -95.4748066 0.0 21969 955 70.3 ok ( 1 - 1) neos-1601936 MIP 3132 4447 ?? ?? 3 3 0.0 522052 2332 262.7 ok ( 1 - 1) neos18 MIP 11403 3313 ?? ?? 16 16 0.0 256023 9420 52.9 ok ( 1 - 1) neos-476283 MIP 10016 11916 ?? ?? 406.363207 406.363207 0.0 34506 1101 312.8 ok ( 1 - 1) neos-686190 MIP 3665 3661 ?? ?? 6730 6730 0.0 380290 14086 310.7 ok ( 1 - 1) neos-849702 MIP 1042 1738 ?? ?? 0 0 0.0 1839679 14020 319.8 ok ( 1 - 1) neos-916792 MIP 1910 1475 ?? ?? 31.8703984 31.8703984 0.0 348560 72842 727.1 ok ( 1 - 1) neos-934278 MIP 11496 23124 ?? ?? 260 260 0.0 244986 0 189.6 ok ( 1 - 1) net12 MIP 14022 14116 ?? ?? 214 214 0.0 1729827 1934 540.0 ok ( 1 - 1) netdiversion MIP 119590 129181 ?? ?? 242 242 0.0 345476 94 648.4 ok ( 1 - 1) newdano MIP 577 506 ?? ?? 65.6666667 65.6666667 0.0 61116743 1467418 2953.1 ok ( 1 - 1) noswot MIP 183 129 ?? ?? -41 -41 0.0 1322801 255648 69.7 ok ( 1 - 1) ns1208400 MIP 1986 2884 ?? ?? 2 2 0.0 275886 611 84.1 ok ( 1 - 1) ns1688347 MIP 4192 2686 ?? ?? 27 27 0.0 103132 735 33.6 ok ( 1 - 1) ns1758913 MIP 624167 17957 ?? ?? -1454.67176 -1454.67176 0.0 44888 0 50.2 ok ( 1 - 1) ns1766074 MIP 183 101 ?? ?? -1e+20 1e+20 -- 5257350 0 166.6 ok (19 - 1) ns1830653 MIP 2933 1630 ?? ?? 20622 20622 0.0 1318713 11056 435.1 ok ( 1 - 1) opm2-z7-s2 MIP 31799 2024 ?? ?? -10280 -10280 0.0 195080 1299 248.4 ok ( 1 - 1) pg5_34 MIP 226 2601 ?? ?? -14339.3534 -14339.3534 0.0 4148263 196472 573.3 ok ( 1 - 1) pigeon-10 MIP 932 401 ?? ?? -9000 -9000 0.0 21378985 6270758 1280.4 ok ( 1 - 1) pw-myciel4 MIP 8165 1060 ?? ?? 10 10 0.0 9103268 157099 719.5 ok ( 1 - 1) qiu MIP 1193 841 ?? ?? -132.873137 -132.873137 0.0 248495 5755 37.1 ok ( 1 - 1) rail507 MIP 510 63020 ?? ?? 174 174 0.0 228187 2525 337.3 ok ( 1 - 1) ran16x16 MIP 289 513 ?? ?? 3823 3823 0.0 2044203 116899 137.4 ok ( 1 - 1) reblock67 MIP 2524 671 ?? ?? -34630648.4 -34630648.4 0.0 6281836 410137 746.6 ok ( 1 - 1) rmatr100-p10 MIP 7261 7360 ?? ?? 423 423 0.0 177244 1612 64.9 ok ( 1 - 1) rmatr100-p5 MIP 8686 8785 ?? ?? 976 976 0.0 303580 1358 155.8 ok ( 1 - 1) rmine6 MIP 7079 1097 ?? ?? -457.186141 -457.18614 0.0 3487252 425503 641.5 ok ( 8 - 1) rocII-4-11 MIP 21739 9235 ?? ?? -6.65563873 -6.65563873 0.0 249836 11152 216.3 ok ( 1 - 1) rococoC10-001000 MIP 1294 3118 ?? ?? 11460 11460 0.0 31488359 816140 3203.0 ok ( 1 - 1) roll3000 MIP 2295 1167 ?? ?? 12890 12890 0.0 215420 4889 68.3 ok ( 1 - 1) satellites1-25 MIP 5997 9014 ?? ?? -5 -5 0.0 403532 825 167.4 ok ( 1 - 1) sp98ic MIP 826 10895 ?? ?? 449144758 449144758 0.0 381686 9482 236.5 ok ( 1 - 1) sp98ir MIP 1532 1681 ?? ?? 219676790 219676790 0.0 188729 3966 50.6 ok ( 1 - 1) tanglegram1 MIP 68343 34760 ?? ?? 5182 5182 0.0 8332 31 8.3 ok ( 1 - 1) tanglegram2 MIP 8981 4715 ?? ?? 443 443 0.0 3846 15 0.9 ok ( 1 - 1) timtab1 MIP 172 398 ?? ?? 764772 764772 0.0 7940944 626996 622.3 ok ( 1 - 1) triptim1 MIP 15707 30056 ?? ?? 22.8681 22.8681 0.0 56676 0 74.3 ok ( 1 - 1) unitcal_7 MIP 48940 25756 ?? ?? 19635558.2 19635558.2 0.0 255783 2534 263.7 ok ( 1 - 1) vpphard MIP 47082 51472 ?? ?? 4 5 25.0 1473844 41425 3600.7 timeout ( 8 - 3) zib54-UUE MIP 1810 5151 ?? ?? 10334015.8 10334015.8 0.0 6318883 39784 1925.8 ok ( 1 - 1) ------------------+------+-------+-------+-------+-------+----------------+----------------+------+--------+-------+-------+------- ------------------------------[Nodes]---------------[Time]------ Cnt Pass Time Fail total(k) geom. total geom. ---------------------------------------------------------------- 87 79 8 0 32437 5018.8 69778.6 237.2 shifted geom. [ 100/ 10.0] 9034.9 265.2 ---------------------------------------------------------------- @02 timelimit: 3600 @01 GUROBI(default)