| dicopt | muriqui | shot | baron | aoa | knitro | alphaecp | knitrobb | scip | bbb | sbb | mtaurbnb | juniper | lindo | boa | mtaurqg | pavito | antigone | couenne | bhyb | virt. best | virt. worst | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ball_mk2_10 | - | - | 1511 | 1 | - | 3070 | - | 2047 | 1 | 2046 | 2046 | 1 | - | 2045 | 1 | 1 | - | 1 | 1 | 1 | 1.0 | - |
| clay0203m | - | - | 59 | 73 | - | 417 | - | 245 | 15 | 249 | 322 | 1 | - | 47 | 1 | 1 | - | 7 | 315 | 40 | 1.0 | - |
| clay0204m | - | - | 144 | 9 | - | 1235 | - | 1695 | 445 | 1501 | 2561 | 1 | - | 829 | 1 | 1 | - | 1 | 1023 | 672 | 1.0 | - |
| clay0205m | - | - | 5018 | 35 | - | 28675 | - | 23529 | 3105 | 17201 | 50549 | 1 | - | 175067 | 1 | 1 | - | 1 | 14380 | 5201 | 1.0 | - |
| clay0304m | - | - | 1520 | 216 | - | 43276 | - | 2683 | 226 | 3191 | 19939 | 1 | - | 4499 | 1 | 1 | - | 23 | 4147 | 22360 | 1.0 | - |
| clay0305m | - | - | 4252 | 11 | - | 69904 | - | 17228 | 6021 | 18689 | 34883 | 1 | - | 11216 | 1 | 1 | - | 2 | 15701 | 7001 | 1.0 | - |
| cvxnonsep_normcon20 | - | - | 849 | 26 | - | 5384 | - | 25 | 341 | 14 | 22 | 1 | - | 109 | 1 | 1 | - | 1 | 4 | 88501 | 1.0 | - |
| cvxnonsep_normcon30 | - | - | 19035 | 128 | - | 104531 | - | 101 | 6546 | 101 | 56 | 1 | - | 98 | 325455 | 1 | - | 1 | 118 | 444729 | 1.0 | - |
| cvxnonsep_nsig40 | - | - | 16170 | 9 | - | 122803 | - | 19 | 387 | 70 | 67 | 1 | - | 324 | 1 | 1 | - | 45282 | 449624 | 255663 | 1.0 | - |
| enpro56pb | - | - | 125 | 23 | - | 3721 | - | 491 | 386 | 541 | 3741 | 1 | - | 19064 | 1 | 1 | - | 1 | 1688 | 301 | 1.0 | - |
| flay04m | - | - | 732 | 1527 | - | 2622 | - | 2683 | 1801 | 2597 | 2551 | 1 | - | 2026 | 1 | 1 | - | 15 | 2501 | 2282 | 1.0 | - |
| flay05m | - | - | 47153 | 60665 | - | 110641 | - | 94179 | 67983 | 82201 | 108161 | 1 | - | 112598 | 1 | 1 | - | 329 | 117101 | 115101 | 1.0 | - |
| slay08m | - | - | 1 | 22114 | - | 32235 | - | 2411 | 299 | 265 | 395 | 1 | - | 333 | 1 | 1 | - | 3 | 966 | 2701 | 1.0 | - |
| slay09m | - | - | 1 | 37721 | - | 138273 | - | 5565 | 1072 | 393 | 19600 | 1 | - | 3811 | 1 | 1 | - | 3 | 2423 | 22101 | 1.0 | - |
| slay10m | - | - | 1 | 4725 | - | 115928 | - | 30155 | 3823 | 6301 | 55894 | 1 | - | 25491 | 554319 | 1 | - | 3 | 56101 | 377201 | 1.0 | - |
| smallinvDAXr1b010-011 | - | - | 1157 | 50 | - | 4917 | - | 119 | 79 | 178 | 156 | 1 | - | 58501 | 1 | 1 | - | 5 | 5612 | 7701 | 1.0 | - |
| smallinvDAXr1b020-022 | - | - | 2015 | 57 | - | 4394 | - | 67 | 57 | 59 | 67 | 1 | - | 61377 | 1 | 1 | - | 8 | 24280 | 54701 | 1.0 | - |
| smallinvDAXr1b050-055 | - | - | 955 | 135 | - | 4669 | - | 161 | 81 | 288 | 152 | 1 | - | 60245 | 1 | 1 | - | 7 | 103051 | 420201 | 1.0 | - |
| smallinvDAXr1b100-110 | - | - | 726 | 212 | - | 6934 | - | 137 | 1 | 274 | 140 | 1 | - | 60959 | 1 | 1 | - | 12 | 187739 | 722859 | 1.0 | - |
| smallinvDAXr1b150-165 | - | - | 275 | 62 | - | 5940 | - | 327 | 1 | 210 | 417 | 1 | - | 60450 | 1 | 1 | - | 5 | 181275 | 425827 | 1.0 | - |
| smallinvDAXr1b200-220 | - | - | 4 | 41 | - | 3376 | - | 141 | 1 | 273 | 175 | 1 | - | 62321 | 1 | 1 | - | 10 | 152790 | 395317 | 1.0 | - |
| smallinvDAXr2b010-011 | - | - | 1209 | 52 | - | 5908 | - | 119 | 79 | 178 | 156 | 1 | - | 59247 | 1 | 1 | - | 12 | 5598 | 12601 | 1.0 | - |
| smallinvDAXr2b100-110 | - | - | 509 | 284 | - | 5496 | - | 137 | 1 | 274 | 140 | 1 | - | 61159 | 1 | 1 | - | 4 | 190616 | 118884 | 1.0 | - |
| smallinvDAXr2b150-165 | - | - | 262 | 27 | - | 4906 | - | 327 | 1 | 507 | 417 | 1 | - | 59855 | 1 | 1 | - | 8 | 189469 | 545577 | 1.0 | - |
| smallinvDAXr2b200-220 | - | - | 3 | 54 | - | 3357 | - | 141 | 1 | 273 | 175 | 1 | - | 61199 | 1 | 1 | - | 4 | 160085 | 91673 | 1.0 | - |
| smallinvDAXr3b010-011 | - | - | 1056 | 52 | - | 3969 | - | 119 | 81 | 176 | 156 | 1 | - | 61146 | 1 | 1 | - | 4 | 5300 | 6599 | 1.0 | - |
| smallinvDAXr3b020-022 | - | - | 898 | 83 | - | 3594 | - | 67 | 57 | 57 | 67 | 1 | - | 60514 | 1 | 1 | - | 5 | 23798 | 70701 | 1.0 | - |
| smallinvDAXr3b050-055 | - | - | 1712 | 140 | - | 7403 | - | 161 | 174 | 288 | 152 | 1 | - | 60307 | 1 | 1 | - | 22 | 102819 | 599550 | 1.0 | - |
| smallinvDAXr3b100-110 | - | - | 294 | 250 | - | 4792 | - | 137 | 1 | 274 | 140 | 1 | - | 60842 | 1 | 1 | - | 8 | 190891 | 75989 | 1.0 | - |
| smallinvDAXr3b150-165 | - | - | 134 | 24 | - | 2434 | - | 327 | 1 | 507 | 417 | 1 | - | 59813 | 1 | 1 | - | 5 | 187549 | 8456 | 1.0 | - |
| smallinvDAXr3b200-220 | - | - | 52 | 41 | - | 4587 | - | 141 | 1 | 273 | 175 | 1 | - | 59693 | 1 | 1 | - | 6 | 156207 | 615213 | 1.0 | - |
| smallinvDAXr4b010-011 | - | - | 1241 | 52 | - | 4293 | - | 119 | 89 | 178 | 156 | 1 | - | 43128 | 1 | 1 | - | 1 | 6544 | 6101 | 1.0 | - |
| smallinvDAXr4b100-110 | - | - | 447 | 192 | - | 4396 | - | 137 | 1 | 274 | 140 | 1 | - | 61088 | 1 | 1 | - | 9 | 193651 | 191499 | 1.0 | - |
| smallinvDAXr4b150-165 | - | - | 62 | 56 | - | 3575 | - | 327 | 1 | 507 | 417 | 1 | - | 60160 | 1 | 1 | - | 5 | 186495 | 372109 | 1.0 | - |
| smallinvDAXr4b200-220 | - | - | 41 | 41 | - | 3848 | - | 141 | 1 | 273 | 175 | 1 | - | 61055 | 1 | 1 | - | 6 | 155366 | 98860 | 1.0 | - |
| smallinvDAXr5b010-011 | - | - | 1171 | 52 | - | 4435 | - | 119 | 92 | 180 | 156 | 1 | - | 61899 | 1 | 1 | - | 11 | 5548 | 9601 | 1.0 | - |
| smallinvDAXr5b020-022 | - | - | 970 | 83 | - | 3844 | - | 67 | 111 | 57 | 67 | 1 | - | 59695 | 1 | 1 | - | 12 | 23668 | 45201 | 1.0 | - |
| smallinvDAXr5b050-055 | - | - | 1092 | 117 | - | 3847 | - | 161 | 82 | 288 | 152 | 1 | - | 59489 | 1 | 1 | - | 6 | 100901 | 429901 | 1.0 | - |
| smallinvDAXr5b100-110 | - | - | 736 | 29 | - | 5939 | - | 137 | 1 | 274 | 140 | 1 | - | 60500 | 1 | 1 | - | 7 | 195711 | 719857 | 1.0 | - |
| smallinvDAXr5b150-165 | - | - | 54 | 27 | - | 5614 | - | 327 | 1 | 505 | 417 | 1 | - | 60274 | 1 | 1 | - | 8 | 199055 | 88836 | 1.0 | - |
| smallinvDAXr5b200-220 | - | - | 21 | 44 | - | 6216 | - | 141 | 1 | 330 | 175 | 1 | - | 61512 | 1 | 1 | - | 12 | 154676 | 536997 | 1.0 | - |
| st_test1 | - | - | 1 | 1 | - | 24 | - | 15 | 1 | 14 | 14 | 1 | - | 1 | 1 | 1 | - | 1 | 1 | 1 | 1.0 | - |
| tls12 | - | - | 430384 | 44 | - | 84795 | - | 10073 | 11553 | 25922 | 59101 | 1 | - | 7571 | 360238 | 1 | - | 1 | 50078 | 71746 | 1.0 | - |
| unitcommit1 | - | - | 1 | 1 | - | 26125 | - | 3701 | 1 | 953 | 34781 | 1 | - | 35 | 1 | 1 | - | 1 | 23548 | 65 | 1.0 | - |