| Scb2804m | boaos | scip | virt. worst | |
|---|---|---|---|---|
| ball_mk3_10 | 9.59 | 180002.60 | 1.00 | 180002.60 |
| ball_mk3_20 | 10.03 | 180003.40 | 1.00 | 180003.40 |
| ball_mk3_30 | 10.85 | 180005.20 | 1.00 | 180005.20 |
| ball_mk4_05 | 601.21 | 601.21 | 1.00 | 601.21 |
| ball_mk4_10 | 1.00 | 1.00 | 1.00 | 1.00 |
| ball_mk4_15 | 1.00 | 1.00 | 1.00 | 1.00 |
| batchs101006m | 1.59 | 68.15 | 1.00 | 68.15 |
| batchs121208m | 4.52 | 58.89 | 1.00 | 58.89 |
| batchs151208m | 10.00 | 54.39 | 1.00 | 54.39 |
| batchs201210m | 1.33 | 54.37 | 1.00 | 54.37 |
| clay0204h | 6.38 | 4.72 | 1.00 | 6.38 |
| clay0205hfsg | 1.67 | 26.45 | 1.00 | 26.45 |
| clay0205h | 3.39 | 28.42 | 1.00 | 28.42 |
| clay0205m | 4.81 | 14.63 | 1.00 | 14.63 |
| clay0303hfsg | 11.56 | 2.11 | 1.00 | 11.56 |
| clay0303h | 4.88 | 1.74 | 1.00 | 4.88 |
| clay0304h | 19.92 | 63.65 | 1.00 | 63.65 |
| clay0304m | 13.45 | 53.68 | 1.00 | 53.68 |
| clay0305hfsg | 1.75 | 23.52 | 1.00 | 23.52 |
| clay0305m | 5.06 | 40.25 | 1.00 | 40.25 |
| color_lab2_4x0 | 1.00 | 1.00 | 1.00 | 1.00 |
| cvxnonsep_normcon20 | 1.00 | 727.76 | 15.50 | 727.76 |
| cvxnonsep_nsig20 | 1.00 | 47.56 | 579.40 | 579.40 |
| cvxnonsep_nsig30 | 1.00 | 2054.14 | 5992.52 | 5992.52 |
| cvxnonsep_nsig40 | 1.00 | 5063.28 | 5063.10 | 5063.28 |
| cvxnonsep_pcon30 | 1.00 | 183.51 | 20.77 | 183.51 |
| cvxnonsep_pcon40 | 1.00 | 343.44 | 65.04 | 343.44 |
| cvxnonsep_psig20 | 1.00 | 77.86 | 38.81 | 77.86 |
| cvxnonsep_psig30 | 1.00 | 3234.61 | 5888.55 | 5888.55 |
| cvxnonsep_psig40 | 1.00 | 4169.49 | 4169.46 | 4169.49 |
| du-opt5 | 30.34 | 3.47 | 1.00 | 30.34 |
| du-opt | 20.79 | 2.18 | 1.00 | 20.79 |
| flay04h | 2.24 | 10.03 | 1.00 | 10.03 |
| flay05h | 1.00 | 6.29 | 1.86 | 6.29 |
| flay05m | 1.00 | 13.65 | 1.16 | 13.65 |
| flay06h | 1.00 | 1.00 | 1.00 | 1.00 |
| flay06m | 1.00 | 1.01 | 1.00 | 1.01 |
| fo7_2 | 1.00 | 32.21 | 1.64 | 32.21 |
| fo7_ar25_1 | 2.90 | 30.44 | 1.00 | 30.44 |
| fo7_ar2_1 | 1.53 | 22.35 | 1.00 | 22.35 |
| fo7_ar3_1 | 1.01 | 20.74 | 1.00 | 20.74 |
| fo7_ar4_1 | 1.71 | 24.24 | 1.00 | 24.24 |
| fo7_ar5_1 | 1.31 | 50.57 | 1.00 | 50.57 |
| fo7 | 1.91 | 12.18 | 1.00 | 12.18 |
| fo8_ar25_1 | 2.69 | 4.09 | 1.00 | 4.09 |
| fo8_ar2_1 | 1.49 | 2.87 | 1.00 | 2.87 |
| fo8_ar3_1 | 4.53 | 14.93 | 1.00 | 14.93 |
| fo8_ar4_1 | 2.10 | 28.14 | 1.00 | 28.14 |
| fo8_ar5_1 | 2.45 | 9.57 | 1.00 | 9.57 |
| fo8 | 1.13 | 6.32 | 1.00 | 6.32 |
| fo9_ar25_1 | 1.00 | 1.20 | 1.19 | 1.20 |
| fo9_ar2_1 | 1.00 | 1.18 | 1.17 | 1.18 |
| fo9_ar3_1 | 2.71 | 3.96 | 1.00 | 3.96 |
| fo9_ar4_1 | 2.59 | 5.57 | 1.00 | 5.57 |
| fo9_ar5_1 | 1.00 | 1.07 | 1.06 | 1.07 |
| fo9 | 1.97 | 2.57 | 1.00 | 2.57 |
| ibs2 | 1.01 | 1.00 | 1.00 | 1.01 |
| m6 | 1.72 | 6.81 | 1.00 | 6.81 |
| m7_ar25_1 | 1.24 | 35.47 | 1.00 | 35.47 |
| m7_ar2_1 | 1.06 | 9.39 | 1.00 | 9.39 |
| m7_ar3_1 | 1.00 | 28.10 | 1.03 | 28.10 |
| m7_ar4_1 | 1.08 | 36.38 | 1.00 | 36.38 |
| m7_ar5_1 | 2.09 | 48.70 | 1.00 | 48.70 |
| m7 | 1.20 | 31.05 | 1.00 | 31.05 |
| meanvar-orl400_05_e_8 | 8.31 | 8.28 | 1.00 | 8.31 |
| netmod_dol2 | 3.14 | 27.05 | 1.00 | 27.05 |
| no7_ar25_1 | 3.76 | 16.52 | 1.00 | 16.52 |
| no7_ar2_1 | 4.46 | 23.38 | 1.00 | 23.38 |
| no7_ar3_1 | 5.07 | 6.68 | 1.00 | 6.68 |
| no7_ar4_1 | 1.29 | 6.78 | 1.00 | 6.78 |
| no7_ar5_1 | 1.37 | 9.18 | 1.00 | 9.18 |
| o7_2 | 1.00 | 1.38 | 1.37 | 1.38 |
| o7_ar25_1 | 1.04 | 1.40 | 1.00 | 1.40 |
| o7_ar2_1 | 2.49 | 3.69 | 1.00 | 3.69 |
| o7_ar3_1 | 1.00 | 1.42 | 1.17 | 1.42 |
| o7_ar4_1 | 1.00 | 1.23 | 1.23 | 1.23 |
| o7_ar5_1 | 1.00 | 1.35 | 1.35 | 1.35 |
| o7 | 1.00 | 1.42 | 1.41 | 1.42 |
| o8_ar4_1 | 1.00 | 1.22 | 1.21 | 1.22 |
| o9_ar4_1 | 1.00 | 1.03 | 1.02 | 1.03 |
| rsyn0805m02m | 5.50 | 17.32 | 1.00 | 17.32 |
| rsyn0805m04m | 11.62 | 67.21 | 1.00 | 67.21 |
| rsyn0810m02m | 6.53 | 49.17 | 1.00 | 49.17 |
| rsyn0810m03h | 2.32 | 1.41 | 1.00 | 2.32 |
| rsyn0815m03hfsg | 1.39 | 2.20 | 1.00 | 2.20 |
| rsyn0815m03h | 1.00 | 2.98 | 1.33 | 2.98 |
| rsyn0820m03hfsg | 2.16 | 8.54 | 1.00 | 8.54 |
| rsyn0820m04hfsg | 5.01 | 3.96 | 1.00 | 5.01 |
| rsyn0820m04h | 6.02 | 4.91 | 1.00 | 6.02 |
| rsyn0830m03hfsg | 6.57 | 2.91 | 1.00 | 6.57 |
| rsyn0830m03h | 4.02 | 1.73 | 1.00 | 4.02 |
| rsyn0830m04hfsg | 2.64 | 2.90 | 1.00 | 2.90 |
| rsyn0830m04h | 5.60 | 2.63 | 1.00 | 5.60 |
| rsyn0830m | 9.18 | 77.40 | 1.00 | 77.40 |
| rsyn0840m03hfsg | 7.18 | 2.48 | 1.00 | 7.18 |
| rsyn0840m03h | 5.77 | 3.99 | 1.00 | 5.77 |
| rsyn0840m04hfsg | 14.25 | 4.09 | 1.00 | 14.25 |
| rsyn0840m04h | 12.42 | 5.58 | 1.00 | 12.42 |
| rsyn0840m | 3.54 | 90.46 | 1.00 | 90.46 |
| slay05h | 1.65 | 5.80 | 1.00 | 5.80 |
| slay06h | 1.00 | 154.73 | 2.26 | 154.73 |
| slay07m | 1.27 | 59.76 | 1.00 | 59.76 |
| slay08m | 1.00 | 29.37 | 1.21 | 29.37 |
| slay09m | 1.00 | 149.99 | 1.51 | 149.99 |
| smallinvDAXr1b010-011 | 5.45 | 72.78 | 1.00 | 72.78 |
| smallinvDAXr1b020-022 | 4.47 | 222.01 | 1.00 | 222.01 |
| smallinvDAXr1b050-055 | 9.14 | 181.99 | 1.00 | 181.99 |
| smallinvDAXr1b100-110 | 5.58 | 1241.73 | 1.00 | 1241.73 |
| smallinvDAXr1b150-165 | 3.51 | 1198.68 | 1.00 | 1198.68 |
| smallinvDAXr1b200-220 | 3.27 | 1086.15 | 1.00 | 1086.15 |
| smallinvDAXr2b010-011 | 6.26 | 62.39 | 1.00 | 62.39 |
| smallinvDAXr2b020-022 | 5.14 | 158.78 | 1.00 | 158.78 |
| smallinvDAXr2b050-055 | 7.46 | 396.02 | 1.00 | 396.02 |
| smallinvDAXr2b100-110 | 6.91 | 804.48 | 1.00 | 804.48 |
| smallinvDAXr2b150-165 | 3.22 | 321.54 | 1.00 | 321.54 |
| smallinvDAXr2b200-220 | 2.37 | 291.14 | 1.00 | 291.14 |
| smallinvDAXr3b010-011 | 5.49 | 74.17 | 1.00 | 74.17 |
| smallinvDAXr3b020-022 | 2.87 | 233.23 | 1.00 | 233.23 |
| smallinvDAXr3b050-055 | 1.82 | 181.66 | 1.00 | 181.66 |
| smallinvDAXr3b100-110 | 3.00 | 984.27 | 1.00 | 984.27 |
| smallinvDAXr3b150-165 | 3.72 | 655.51 | 1.00 | 655.51 |
| smallinvDAXr4b010-011 | 7.64 | 55.90 | 1.00 | 55.90 |
| smallinvDAXr4b020-022 | 4.04 | 278.66 | 1.00 | 278.66 |
| smallinvDAXr4b050-055 | 2.29 | 142.03 | 1.00 | 142.03 |
| smallinvDAXr4b100-110 | 2.52 | 1131.85 | 1.00 | 1131.85 |
| smallinvDAXr4b150-165 | 2.85 | 694.05 | 1.00 | 694.05 |
| smallinvDAXr4b200-220 | 2.91 | 595.66 | 1.00 | 595.66 |
| smallinvDAXr5b010-011 | 7.28 | 75.98 | 1.00 | 75.98 |
| smallinvDAXr5b020-022 | 1.97 | 142.88 | 1.00 | 142.88 |
| smallinvDAXr5b050-055 | 2.86 | 186.00 | 1.00 | 186.00 |
| smallinvDAXr5b100-110 | 4.14 | 930.64 | 1.00 | 930.64 |
| smallinvDAXr5b150-165 | 2.74 | 789.28 | 1.00 | 789.28 |
| smallinvDAXr5b200-220 | 3.32 | 478.36 | 1.00 | 478.36 |
| squfl010-025 | 1.00 | 145.28 | 122.86 | 145.28 |
| squfl010-040 | 1.00 | 106.04 | 161.93 | 161.93 |
| sssd18-06 | 2.74 | 200.93 | 1.00 | 200.93 |
| stockcycle | 1.00 | 606.54 | 135.92 | 606.54 |
| syn40m03hfsg | 6.37 | 1.06 | 1.00 | 6.37 |
| syn40m03h | 8.62 | 1.15 | 1.00 | 8.62 |
| syn40m04hfsg | 7.57 | 1.42 | 1.00 | 7.57 |
| syn40m04h | 4.46 | 1.49 | 1.00 | 4.46 |
| syn40m04m | 13.56 | 12.68 | 1.00 | 13.56 |
| tls12 | 1.00 | 1.11 | 1.11 | 1.11 |
| tls4 | 2.17 | 99.68 | 1.00 | 99.68 |
| tls5 | 1.00 | 1.08 | 1.07 | 1.08 |
| tls6 | 1.00 | 1.01 | 1.00 | 1.01 |
| tls7 | 1.00 | 1.01 | 1.00 | 1.01 |
| unitcommit_50_20_2_mod_8 | 1.24 | 2.54 | 1.00 | 2.54 |
| watercontamination0202r | 2132.97 | 1.00 | 2132.73 | 2132.97 |
| watercontamination0202 | 1.05 | 1.00 | 8.67 | 8.67 |
| watercontamination0303r | 8.55 | 1.00 | 2.97 | 8.55 |