| dicopt | muriqui | shot | baron | aoa | knitro | alphaecp | knitrobb | scip | bbb | sbb | mtaurbnb | juniper | lindo | boa | mtaurqg | pavito | antigone | couenne | bhyb | virt. worst | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| batchdes | 78.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 25.00 | 1.00 | 89.00 | 10.00 | 103.00 | 1.00 | - | 1916.00 | 1.00 | 1.00 | - | 4.00 | 45.00 | 18.00 | - |
| batchs101006m | 12188.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 129.00 | 1.00 | 16480.00 | 7327.00 | 154196.00 | 1.00 | - | 54308185.00 | 1.00 | 1.00 | - | 4.00 | 55897.00 | 42756.00 | - |
| cvxnonsep_normcon20r | 625.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 132.00 | 1.00 | 602.00 | 111.00 | 302.00 | 1.00 | - | 3582.00 | 58.00 | 1.00 | - | 4.00 | 161.00 | 357.00 | - |
| cvxnonsep_normcon30r | 1966.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 198.00 | 1.00 | 2112.00 | 731.00 | 884.00 | 1.00 | - | 9227.00 | 99.00 | 1.00 | - | 4.00 | 1687.00 | 3630.00 | - |
| cvxnonsep_normcon40r | 512.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 245.00 | 1.00 | 1294.00 | 4112.00 | 2963.00 | 1.00 | - | 20943.00 | 64.00 | 1.00 | - | 4.00 | 3167.00 | 2215.00 | - |
| cvxnonsep_nsig20r | 486.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 195.00 | 1.00 | 712.00 | 139.00 | 378.00 | 1.00 | - | 9794.00 | 48.00 | 1.00 | - | 12.00 | 727.00 | 2849.00 | - |
| cvxnonsep_pcon30r | 1221.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 251.00 | 1.00 | 6251.00 | 631.00 | 1717.00 | 1.00 | - | 16615.00 | 53.00 | 1.00 | - | 4.00 | 5067.00 | 2980.00 | - |
| flay02h | 251.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 40.00 | 1.00 | 383.00 | 26.00 | 146.00 | 1.00 | - | 252.00 | 3.00 | 1.00 | - | 4.00 | 133.00 | 308.00 | - |
| flay02m | 139.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 40.00 | 1.00 | 211.00 | 10.00 | 108.00 | 1.00 | - | 157.00 | 3.00 | 1.00 | - | 4.00 | 97.00 | 53.00 | - |
| flay03h | 3838.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 98.00 | 1.00 | 3514.00 | 2675.00 | 2994.00 | 1.00 | - | 22368.00 | 6.00 | 1.00 | - | 4.00 | 2082.00 | 2781.00 | - |
| flay03m | 987.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 100.00 | 1.00 | 2042.00 | 1101.00 | 1836.00 | 1.00 | - | 9920.00 | 8.00 | 1.00 | - | 4.00 | 1535.00 | 406.00 | - |
| flay04h | 543372.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 175.00 | 1.00 | 50592.00 | 52199.00 | 93609.00 | 1.00 | - | 237240.00 | 9.00 | 1.00 | - | 5.00 | 35235.00 | 65057.00 | - |
| jit1 | 271.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 20.00 | 1.00 | 338.00 | 172.00 | 74.00 | 1.00 | - | 518.00 | 3.00 | 1.00 | - | 4.00 | 102.00 | 34.00 | - |
| m3 | 645.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 24.00 | 1.00 | 570.00 | 1916.00 | 1200.00 | 1.00 | - | 5438.00 | 1.00 | 1.00 | - | 4.00 | 364.00 | 531.00 | - |
| ravempb | 2112.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 68.00 | 1.00 | 5501.00 | 657.00 | 1643.00 | 1.00 | - | 4652516.00 | 1.00 | 1.00 | - | 4.00 | 1089.00 | 1275.00 | - |
| slay04h | 3398.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 244.00 | 1.00 | 5623.00 | 449.00 | 7028.00 | 1.00 | - | 11712.00 | 42.00 | 1.00 | - | 4.00 | 5323.00 | 2616.00 | - |
| syn05h | 45.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 21.00 | 1.00 | 16.00 | 1.00 | 38.00 | 1.00 | - | 47.00 | 1.00 | 1.00 | - | 4.00 | 27.00 | 3.00 | - |
| syn05m02h | 139.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 62.00 | 1.00 | 44.00 | 1.00 | 76.00 | 1.00 | - | 47.00 | 3.00 | 1.00 | - | 4.00 | 159.00 | 6.00 | - |
| syn05m02m | 178.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 62.00 | 1.00 | 248.00 | 214.00 | 258.00 | 1.00 | - | 1443.00 | 1.00 | 1.00 | - | 4.00 | 195.00 | 79.00 | - |
| syn05m03m | 252.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 77.00 | 1.00 | 393.00 | 375.00 | 573.00 | 1.00 | - | 603.00 | 5.00 | 1.00 | - | 4.00 | 290.00 | 126.00 | - |
| syn05m04m | 277.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 92.00 | 1.00 | 642.00 | 572.00 | 779.00 | 1.00 | - | 508.00 | 4.00 | 1.00 | - | 4.00 | 1867.00 | 192.00 | - |
| syn05m | 61.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 22.00 | 1.00 | 78.00 | 69.00 | 86.00 | 1.00 | - | 202.00 | 3.00 | 1.00 | - | 4.00 | 28.00 | 16.00 | - |
| syn20m | 222.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 47.00 | 1.00 | 668.00 | 9714.00 | 5369.00 | 1.00 | - | 2110.00 | 3.00 | 1.00 | - | 4.00 | 8636.00 | 437.00 | - |