| 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 | 4958561 | 1 | 1 | 1.0 | 1 | 1 | 1029 | 1 | 1 | 19953 | 14339 | 1 | - | 15345 | 1 | 1 | - | 4 | 1 | 3 | 1.0 | - |
| batch | 548 | 1 | 1 | 1.0 | 1 | 1 | 51 | 1 | 991 | 87 | 634 | 1 | - | 18809 | 1 | 1 | - | 4 | 593 | 265 | 1.0 | - |
| clay0203m | 2204 | 1 | 1 | 1.0 | 1 | 1 | 71 | 1 | 649 | 7164 | 4425 | 1 | - | 5728 | 3 | 1 | - | 4 | 6409 | 625 | 1.0 | - |
| clay0204m | 15543 | 1 | 1 | 1.0 | 1 | 1 | 67 | 1 | 3666 | 30831 | 21647 | 1 | - | 33764 | 5 | 1 | - | 4 | 9702 | 4350 | 1.0 | - |
| clay0205m | 165579 | 1 | 1 | 1.0 | 1 | 1 | 72 | 1 | 29931 | 598910 | 475295 | 1 | - | 272244 | 7 | 1 | - | 4 | 131328 | 53655 | 1.0 | - |
| clay0304m | 36989539 | 1 | 1 | 1.0 | 1 | 1 | 120 | 1 | 2710 | 116278 | 304370 | 1 | - | 141864 | 8 | 1 | - | 4 | 51454 | 231463 | 1.0 | - |
| clay0305m | 314033 | 1 | 1 | 1.0 | 1 | 1 | 135 | 1 | 51897 | 786789 | 357972 | 1 | - | 405047 | 3 | 1 | - | 4 | 144362 | 89095 | 1.0 | - |
| cvxnonsep_normcon20 | 574485 | 1 | 1 | 1.0 | 1 | 1 | 1037 | 1 | 11451 | 107 | 357 | 1 | - | 5793 | 20 | 1 | - | 4 | 202 | 480104 | 1.0 | - |
| cvxnonsep_normcon30 | 31483204 | 1 | 1 | 1.0 | 1 | 1 | 960 | 1 | 275932 | 687 | 851 | 1 | - | 22936 | 1723050 | 1 | - | 4 | 1301 | 3027284 | 1.0 | - |
| cvxnonsep_nsig40 | 15982748 | 1 | 1 | 1.0 | 1 | 1 | 1588 | 1 | 2332193 | 533 | 1209 | 1 | - | 32492 | 37 | 1 | - | 24 | 25859052 | 1146903 | 1.0 | - |
| enpro56pb | 3760 | 1 | 1 | 1.0 | 1 | 1 | 131 | 1 | 11663 | 9652 | 68158 | 1 | - | 109629743 | 1 | 1 | - | 4 | 30844 | 5137 | 1.0 | - |
| ex1223a | 55 | 1 | 1 | 1.0 | 1 | 1 | 47 | 1 | 33 | 22 | 31 | 1 | - | 37 | 1 | 1 | - | 4 | 1 | 5 | 1.0 | - |
| flay04m | 152262 | 1 | 1 | 1.0 | 1 | 1 | 296 | 1 | 32526 | 31854 | 32141 | 1 | - | 151490 | 14 | 1 | - | 4 | 20072 | 15775 | 1.0 | - |
| flay05m | 9819726 | 1 | 1 | 1.0 | 1 | 1 | 240 | 1 | 1267341 | 1000945 | 1769081 | 1 | - | 7712569 | 21 | 1 | - | 4 | 875897 | 714014 | 1.0 | - |
| gbd | 5 | 1 | 1 | 1.0 | 1 | 1 | 9 | 1 | 1 | 1 | 5 | 1 | - | 4 | 1 | 1 | - | 4 | 1 | 1 | 1.0 | - |
| slay08m | 86288 | 1 | 1 | 1.0 | 1 | 1 | 562 | 1 | 15784 | 3646 | 5603 | 1 | - | 326464 | 2 | 1 | - | 4 | 12469 | 30314 | 1.0 | - |
| slay09m | 571176 | 1 | 1 | 1.0 | 1 | 1 | 844 | 1 | 46789 | 6019 | 315853 | 1 | - | 3009109 | 21 | 1 | - | 4 | 28417 | 302204 | 1.0 | - |
| slay10m | 15208417 | 1 | 1 | 1.0 | 1 | 1 | 160 | 1 | 207078 | 97298 | 958328 | 1 | - | 13233166 | 8550381 | 1 | - | 4 | 771645 | 6443605 | 1.0 | - |
| smallinvDAXr1b010-011 | 284061 | 1 | 1 | 1.0 | 1 | 1 | 60 | 1 | 828 | 2495 | 1190 | 1 | - | 9828 | 7 | 1 | - | 4 | 95707 | 16860 | 1.0 | - |
| smallinvDAXr1b020-022 | 879022 | 1 | 1 | 1.0 | 1 | 1 | 57 | 1 | 731 | 611 | 567 | 1 | - | 5732 | 7 | 1 | - | 4 | 560382 | 125975 | 1.0 | - |
| smallinvDAXr1b050-055 | 733738 | 1 | 1 | 1.0 | 1 | 1 | 83 | 1 | 853 | 3384 | 1058 | 1 | - | 16940 | 12 | 1 | - | 4 | 3064986 | 914099 | 1.0 | - |
| smallinvDAXr1b100-110 | 959262 | 1 | 1 | 1.0 | 1 | 1 | 107 | 1 | 130 | 3506 | 957 | 1 | - | 15323 | 14 | 1 | - | 4 | 7151698 | 1590361 | 1.0 | - |
| smallinvDAXr1b150-165 | 449911 | 1 | 1 | 1.0 | 1 | 1 | 127 | 1 | 115 | 2630 | 2773 | 1 | - | 9160 | 9 | 1 | - | 4 | 7890168 | 929298 | 1.0 | - |
| smallinvDAXr1b200-220 | 313613 | 1 | 1 | 1.0 | 1 | 1 | 98 | 1 | 101 | 3460 | 1379 | 1 | - | 7215 | 14 | 1 | - | 4 | 6819399 | 863857 | 1.0 | - |
| smallinvDAXr2b010-011 | 363892 | 1 | 1 | 1.0 | 1 | 1 | 60 | 1 | 839 | 2503 | 1180 | 1 | - | 4828 | 8 | 1 | - | 4 | 93624 | 28662 | 1.0 | - |
| smallinvDAXr2b100-110 | 1657347 | 1 | 1 | 1.0 | 1 | 1 | 105 | 1 | 134 | 3515 | 959 | 1 | - | 15271 | 20 | 1 | - | 4 | 7272987 | 266715 | 1.0 | - |
| smallinvDAXr2b150-165 | 329697 | 1 | 1 | 1.0 | 1 | 1 | 127 | 1 | 115 | 6311 | 2773 | 1 | - | 17563 | 13 | 1 | - | 4 | 8234846 | 1245561 | 1.0 | - |
| smallinvDAXr2b200-220 | 251537 | 1 | 1 | 1.0 | 1 | 1 | 96 | 1 | 101 | 3464 | 1381 | 1 | - | 10156 | 15 | 1 | - | 4 | 7055117 | 200670 | 1.0 | - |
| smallinvDAXr3b010-011 | 300192 | 1 | 1 | 1.0 | 1 | 1 | 69 | 1 | 803 | 2493 | 1180 | 1 | - | 4406 | 8 | 1 | - | 4 | 85569 | 14362 | 1.0 | - |
| smallinvDAXr3b020-022 | 836424 | 1 | 1 | 1.0 | 1 | 1 | 60 | 1 | 736 | 586 | 565 | 1 | - | 9161 | 8 | 1 | - | 4 | 558204 | 164570 | 1.0 | - |
| smallinvDAXr3b050-055 | 881355 | 1 | 1 | 1.0 | 1 | 1 | 85 | 1 | 1408 | 3406 | 1059 | 1 | - | 13509 | 13 | 1 | - | 4 | 3099975 | 1405626 | 1.0 | - |
| smallinvDAXr3b100-110 | 812873 | 1 | 1 | 1.0 | 1 | 1 | 77 | 1 | 116 | 3541 | 960 | 1 | - | 16927 | 12 | 1 | - | 4 | 6979315 | 170183 | 1.0 | - |
| smallinvDAXr3b150-165 | 430943 | 1 | 1 | 1.0 | 1 | 1 | 124 | 1 | 156 | 6336 | 2778 | 1 | - | 13356 | 11 | 1 | - | 4 | 8106591 | 18663 | 1.0 | - |
| smallinvDAXr3b200-220 | 249165 | 1 | 1 | 1.0 | 1 | 1 | 104 | 1 | 113 | 3461 | 1379 | 1 | - | 10381 | 15 | 1 | - | 4 | 6862231 | 1333679 | 1.0 | - |
| smallinvDAXr4b010-011 | 347664 | 1 | 1 | 1.0 | 1 | 1 | 74 | 1 | 912 | 2583 | 1181 | 1 | - | 7587 | 7 | 1 | - | 4 | 111659 | 13230 | 1.0 | - |
| smallinvDAXr4b100-110 | 1392420 | 1 | 1 | 1.0 | 1 | 1 | 81 | 1 | 116 | 3561 | 958 | 1 | - | 20511 | 9 | 1 | - | 4 | 7318748 | 426217 | 1.0 | - |
| smallinvDAXr4b150-165 | 252245 | 1 | 1 | 1.0 | 1 | 1 | 121 | 1 | 156 | 6379 | 2774 | 1 | - | 7960 | 5 | 1 | - | 4 | 8132963 | 845898 | 1.0 | - |
| smallinvDAXr4b200-220 | 159845 | 1 | 1 | 1.0 | 1 | 1 | 101 | 1 | 113 | 3478 | 1381 | 1 | - | 5980 | 10 | 1 | - | 4 | 6751938 | 216970 | 1.0 | - |
| smallinvDAXr5b010-011 | 318178 | 1 | 1 | 1.0 | 1 | 1 | 68 | 1 | 935 | 2637 | 1181 | 1 | - | 5192 | 9 | 1 | - | 4 | 91506 | 22405 | 1.0 | - |
| smallinvDAXr5b020-022 | 1275283 | 1 | 1 | 1.0 | 1 | 1 | 71 | 1 | 925 | 592 | 562 | 1 | - | 6007 | 7 | 1 | - | 4 | 548739 | 100888 | 1.0 | - |
| smallinvDAXr5b050-055 | 601384 | 1 | 1 | 1.0 | 1 | 1 | 82 | 1 | 868 | 3420 | 1062 | 1 | - | 13131 | 10 | 1 | - | 4 | 3043756 | 913962 | 1.0 | - |
| smallinvDAXr5b100-110 | 1488162 | 1 | 1 | 1.0 | 1 | 1 | 84 | 1 | 116 | 3596 | 960 | 1 | - | 12526 | 14 | 1 | - | 4 | 7624142 | 1611432 | 1.0 | - |
| smallinvDAXr5b150-165 | 178075 | 1 | 1 | 1.0 | 1 | 1 | 122 | 1 | 156 | 6448 | 2773 | 1 | - | 8812 | 15 | 1 | - | 4 | 6994757 | 186925 | 1.0 | - |
| smallinvDAXr5b200-220 | 280852 | 1 | 1 | 1.0 | 1 | 1 | 107 | 1 | 113 | 4175 | 1380 | 1 | - | 8012 | 15 | 1 | - | 4 | 6779917 | 1210706 | 1.0 | - |
| st_test1 | 106 | 1 | 1 | 1.0 | 1 | 1 | 14 | 1 | 1 | 84 | 65 | 1 | - | 1 | 1 | 1 | - | 4 | 1 | 3 | 1.0 | - |
| tls12 | 36450294 | 1 | 1 | - | 1 | 1 | 202 | 1 | 4869740 | 845538 | 1937623 | 1 | - | 17705649 | 11116073 | 1 | - | 1 | 8321329 | 23853303 | 1.0 | - |
| unitcommit1 | 1935 | 1 | 1 | 1.0 | 1 | 1 | 667 | 1 | 7053 | 44613 | 655440 | 1 | - | 23447 | 1 | 1 | - | 4 | 1694382 | 9833 | 1.0 | - |