Skip to the content.

Benchmark Result

Condition

Item Value
Last Updated Jan. 15, 2023
PRINTEMPS Version 2.1.2
Computational Time 3600sec for each instance
Instance Set Pure integer instances of MIPLIB 2017 Benchmark Set (89 instances)
Operating System Ubuntu 22.04
Compiler g++11.2.0
CPU Intel(R) Xeon(R) CPU E3-1270 v5 @ 3.60GHz
RAM 16GB
Solver The standalone solver was run with the option JSON file.

Back to Benchmark top.

Result

no. name n.vars n.binvars n.intvars n.contvars n.constrs found feas. obj.(viol.) known best
1 reblock115 1150 1150 0 0 4735 Yes -35683210.0 -36800603.2332
2 academictimetablesmall 28926 28926 0 0 23294 Yes 32.0 0.0
3 bab6 114240 114240 0 0 29904 No (48.0) -284248.2307000001
4 gen-ip002 41 0 41 0 24 Yes -4783.733 -4783.733392
5 gen-ip054 30 0 30 0 27 Yes 6840.966 6840.96564179
6 comp21-2idx 10863 10792 71 0 14038 Yes 101.0 74.0
7 comp07-2idx 17264 17155 109 0 21235 Yes 6.0 6.0
8 neos859080 160 80 80 0 164 No (1.0) None
9 neos-787933 236376 236376 0 0 1897 Yes 37.0 30.0
10 air05 7195 7195 0 0 426 Yes 26448.0 26374.0
11 mzzv42z 11717 11482 235 0 10460 Yes -19560.0 -20540.0
12 nu25-pr12 5868 5832 36 0 2313 Yes 53940.0 53904.99999999999
13 irp 20315 20315 0 0 39 Yes 12159.66 12159.49283539698
14 qap10 4150 4150 0 0 1820 Yes 366.0 339.9999999983871
15 neos8 23228 23224 4 0 46324 Yes -3717.0 -3719.0
16 sp98ar 15085 15085 0 0 1435 Yes 542769200.0 529740623.2
17 neos-960392 59376 59376 0 0 4744 Yes -238.0 -238.0
18 enlight_hard 200 100 100 0 100 Yes 37.0 37.0
19 neos-1582420 10100 10000 100 0 10180 Yes 94.0 90.99999999999996
20 fast0507 63009 63009 0 0 507 Yes 176.0 174.0
21 neos-950242 5760 5520 240 0 34224 Yes 4.0 4.0
22 neos-662469 18235 17907 328 0 1085 Yes 265609.5 184379.9999999999
23 neos-957323 57756 57756 0 0 3757 Yes -237.7446 -237.7566815
24 nw04 87482 87482 0 0 36 Yes 16862.0 16862.0
25 neos-1354092 13702 13282 420 0 3135 Yes 47.0 46.0
26 mzzv11 10240 9989 251 0 9499 Yes -19722.0 -21718.0
27 netdiversion 129180 129180 0 0 119589 Yes 723.0 242.0
28 sorrell3 1024 1024 0 0 169162 Yes -16.0 -16.0
29 bnatt400 3600 3600 0 0 5614 No (2.343) 1.0
30 tbfp-network 72747 72747 0 0 2436 Yes 28.22917 24.16319444
31 glass-sc 214 214 0 0 6119 Yes 23.0 23.0
32 ex9 10404 0 10404 0 40962 Yes 81.0 81.0
33 neos-3024952-loue 3255 0 3255 0 3705 Yes 98744.0 26756.0
34 neos-4738912-atrato 6216 1120 5096 0 1947 Yes 316864400.0 283627956.595
35 neos-3083819-nubu 8644 0 8644 0 4725 Yes 6539453.0 6307996.0
36 neos-2657525-crna 524 146 378 0 342 Yes 1.810748 1.810748
37 neos-3381206-awhea 2375 475 1900 0 479 Yes 453.0 453.0
38 neos-5052403-cygnet 32868 32868 0 0 38268 Yes 193.0 182.0
39 neos-3004026-krka 17030 16900 130 0 12545 Yes 0.0 0.0
40 nursesched-sprint02 10250 10230 20 0 3522 Yes 62.0 57.99999999999999
41 nursesched-medium-hint03 34248 34170 78 0 14062 Yes 327.0 115.0
42 sp97ar 14101 14101 0 0 1761 Yes 672289600.0 660705645.759
43 graph20-20-1rand 2183 2183 0 0 5587 Yes -9.0 -9.0
44 wachplan 3361 3360 1 0 1553 Yes -8.0 -8.0
45 decomp2 14387 14387 0 0 10765 Yes -160.0 -160.0
46 highschool1-aigio 320404 319686 718 0 92568 No (6832.0) 0.0
47 brazil3 23968 23874 94 0 14646 Yes 275.0 24.0
48 eilA101-2 65832 65832 0 0 100 Yes 924.5957 880.9201079999999
49 30n20b8 18380 18318 62 0 576 Yes 302.0 302.0
50 supportcase18 13410 13410 0 0 240 Yes 49.0 48.0
51 supportcase6 130052 130051 1 0 771 Yes 52073.43 51906.47737
52 supportcase22 7129 7129 0 0 260602 No (1.0) None
53 supportcase10 14770 14770 0 0 165684 No (641.0) 7.0
54 supportcase19 1429098 1311292 117806 0 10713 No (8.0) 12677205.99992052
55 n3div36 22120 22120 0 0 4484 Yes 131400.0 130800.0
56 cvs16r128-89 3472 3472 0 0 4633 Yes -96.0 -97.0
57 co-100 48417 48417 0 0 2187 Yes 2743549.0 2639942.06
58 lectsched-5-obj 21805 21389 416 0 38884 Yes 32.0 24.0
59 neos-3555904-turama 37461 37461 0 0 146493 No (1.0) -34.7
60 neos-3988577-wolgan 25870 25870 0 0 44662 No (2.0) None
61 neos-2075418-temuka 122304 122304 0 0 349602 No (318.0) None
62 splice1k1 3253 3252 1 0 6505 Yes -394.0 -394.0
63 hypothyroid-k1 2602 2601 1 0 5195 Yes -2851.0 -2851.0
64 cryptanalysiskb128n5obj16 48950 47830 1120 0 98021 No (117.0) 0.0
65 proteindesign121hz512p9 159145 159054 91 0 301 Yes 1486.0 1473.0
66 k1mushroom 8211 8210 1 0 16419 Yes -3288.0 -3288.0
67 cryptanalysiskb128n5obj14 48950 47830 1120 0 98021 No (199.0) None
68 proteindesign122trx11p8 127326 127248 78 0 254 Yes 1748.0 1747.0
69 peg-solitaire-a3 4552 4552 0 0 4587 No (2.0) 1.0
70 cod105 1024 1024 0 0 1024 Yes -12.0 -12.0
71 supportcase33 20203 20102 101 0 20489 Yes -230.0 -345.0
72 rail02 270869 270869 0 0 95791 No (15.0) -200.4499077
73 ns1952667 13264 0 13264 0 41 No (22.0) 0.0
74 seymour 1372 1372 0 0 4944 Yes 423.0 423.0
75 ex10 17680 0 17680 0 69608 No (46.0) 100.0
76 rococoC10-001000 3117 2993 124 0 1293 Yes 11691.0 11460.0
77 n2seq36q 22480 22480 0 0 2565 Yes 52200.0 52200.0
78 bnatt500 4500 4500 0 0 7029 No (2.359) None
79 s100 364417 364417 0 0 14733 Yes -0.1384538 -0.1697235270583
80 opm2-z10-s4 6250 6250 0 0 160633 Yes -31122.0 -33269.0
81 square47 95030 94987 43 0 61591 Yes 29.0 15.9999999997877
82 square41 62234 62197 37 0 40160 Yes 20.0 15.0
83 rail01 117527 117527 0 0 46843 No (19.0) -70.5699643
84 rococoB10-011000 4456 4320 136 0 1667 Yes 20173.0 19449.0
85 neos-631710 167056 167056 0 0 169576 Yes 205.0 203.0
86 bab2 147912 147912 0 0 17245 No (56.0) -357544.3115
87 chromaticindex512-7 36864 36864 0 0 33791 Yes 4.0 4.0
88 chromaticindex1024-7 73728 73728 0 0 67583 Yes 4.0 4.0
89 eil33-2 4516 4516 0 0 32 Yes 934.0079 934.007915999999