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 -