| Scb2804m | boaos | scip | virt. best | virt. worst | |
|---|---|---|---|---|---|
| ball_mk3_10 | inf | 3.027006e+13 | inf | inf | 3.027006e+13 |
| ball_mk3_20 | inf | 6.843979e+13 | inf | inf | 6.843979e+13 |
| ball_mk3_30 | inf | 7.432229e+13 | inf | inf | 7.432229e+13 |
| ball_mk4_05 | 3.000000e+01 | 7.653850e+15 | inf | inf | 3.000000e+01 |
| ball_mk4_10 | -1.070447e+03 | 3.279957e+15 | 9.388692e+01 | 3.279957e+15 | -1.070447e+03 |
| ball_mk4_15 | -9.130060e+03 | 2.637854e+16 | 1.127364e+01 | 2.637854e+16 | -9.130060e+03 |
| batchs101006m | 7.694404e+05 | 7.694404e+05 | 7.694404e+05 | 7.694404e+05 | 7.694404e+05 |
| batchs121208m | 1.241126e+06 | 1.241126e+06 | 1.241126e+06 | 1.241126e+06 | 1.241126e+06 |
| batchs151208m | 1.543878e+06 | 1.499913e+06 | 1.543472e+06 | 1.543878e+06 | 1.499913e+06 |
| batchs201210m | 2.269945e+06 | 2.255304e+06 | 2.295349e+06 | 2.295349e+06 | 2.255304e+06 |
| clay0204h | 6.545000e+03 | 6.545000e+03 | 6.545000e+03 | 6.545000e+03 | 6.545000e+03 |
| clay0205hfsg | 8.092500e+03 | 8.092500e+03 | 8.092500e+03 | 8.092500e+03 | 8.092500e+03 |
| clay0205h | 8.092500e+03 | 8.092500e+03 | 8.092500e+03 | 8.092500e+03 | 8.092500e+03 |
| clay0205m | 8.092500e+03 | 8.092500e+03 | 8.092500e+03 | 8.092500e+03 | 8.092500e+03 |
| clay0303hfsg | 2.666911e+04 | 2.666911e+04 | 2.664688e+04 | 2.666911e+04 | 2.664688e+04 |
| clay0303h | 2.666913e+04 | 2.666913e+04 | 2.666913e+04 | 2.666913e+04 | 2.666913e+04 |
| clay0304h | 4.026242e+04 | 4.026242e+04 | 4.024330e+04 | 4.026242e+04 | 4.024330e+04 |
| clay0304m | 3.946200e+04 | 4.026239e+04 | 4.026239e+04 | 4.026239e+04 | 3.946200e+04 |
| clay0305hfsg | 8.092500e+03 | 8.092500e+03 | 8.092500e+03 | 8.092500e+03 | 8.092500e+03 |
| clay0305m | 8.092500e+03 | 8.092500e+03 | 8.092500e+03 | 8.092500e+03 | 8.092500e+03 |
| color_lab2_4x0 | 1.955909e+01 | 3.254006e+01 | -4.837348e+01 | 3.254006e+01 | -4.837348e+01 |
| cvxnonsep_normcon20 | -2.174915e+01 | -2.174915e+01 | -2.176952e+01 | -2.174915e+01 | -2.176952e+01 |
| cvxnonsep_nsig20 | 8.094930e+01 | 8.094930e+01 | 8.094925e+01 | 8.094930e+01 | 8.094925e+01 |
| cvxnonsep_nsig30 | 1.306513e+02 | 1.306413e+02 | 1.245614e+02 | 1.306513e+02 | 1.245614e+02 |
| cvxnonsep_nsig40 | 1.339613e+02 | -3.776724e+14 | 9.589029e+01 | 1.339613e+02 | -3.776724e+14 |
| cvxnonsep_pcon30 | -3.598684e+01 | -3.598684e+01 | -3.602228e+01 | -3.598684e+01 | -3.602228e+01 |
| cvxnonsep_pcon40 | -4.658637e+01 | -4.659917e+01 | -4.664499e+01 | -4.658637e+01 | -4.664499e+01 |
| cvxnonsep_psig20 | 9.383001e+01 | 9.383389e+01 | 9.371789e+01 | 9.383389e+01 | 9.371789e+01 |
| cvxnonsep_psig30 | 7.900848e+01 | 7.899885e+01 | 7.792290e+01 | 7.900848e+01 | 7.792290e+01 |
| cvxnonsep_psig40 | 8.551800e+01 | -1.486712e+15 | 8.031365e+01 | 8.551800e+01 | -1.486712e+15 |
| du-opt5 | 8.074330e+00 | 8.073658e+00 | 8.073327e+00 | 8.074330e+00 | 8.073327e+00 |
| du-opt | 3.557513e+00 | 3.556340e+00 | 3.553329e+00 | 3.557513e+00 | 3.553329e+00 |
| flay04h | 5.440588e+01 | 5.440588e+01 | 5.440588e+01 | 5.440588e+01 | 5.440588e+01 |
| flay05h | 6.449805e+01 | -1.608174e+12 | 6.449806e+01 | 6.449806e+01 | -1.608174e+12 |
| flay05m | 6.449785e+01 | -2.448193e+12 | 6.444352e+01 | 6.449785e+01 | -2.448193e+12 |
| flay06h | 6.084989e+01 | -9.798566e+11 | 5.877540e+01 | 6.084989e+01 | -9.798566e+11 |
| flay06m | 6.445068e+01 | -3.394293e+11 | 6.063894e+01 | 6.445068e+01 | -3.394293e+11 |
| fo7_2 | 1.774935e+01 | -1.200000e-07 | 1.774934e+01 | 1.774935e+01 | -1.200000e-07 |
| fo7_ar25_1 | 2.309357e+01 | -1.148727e+11 | 2.309357e+01 | 2.309357e+01 | -1.148727e+11 |
| fo7_ar2_1 | 2.483985e+01 | -2.418251e+11 | 2.483985e+01 | 2.483985e+01 | -2.418251e+11 |
| fo7_ar3_1 | 2.251747e+01 | -2.374046e+11 | 2.251746e+01 | 2.251747e+01 | -2.374046e+11 |
| fo7_ar4_1 | 2.072983e+01 | -4.890579e+10 | 2.072982e+01 | 2.072983e+01 | -4.890579e+10 |
| fo7_ar5_1 | 1.774933e+01 | -1.699581e+11 | 1.774932e+01 | 1.774933e+01 | -1.699581e+11 |
| fo7 | 2.072983e+01 | -1.589998e+11 | 2.072982e+01 | 2.072983e+01 | -1.589998e+11 |
| fo8_ar25_1 | 2.804518e+01 | -1.445226e+11 | 2.804518e+01 | 2.804518e+01 | -1.445226e+11 |
| fo8_ar2_1 | 3.034061e+01 | -1.400000e-07 | 3.034060e+01 | 3.034061e+01 | -1.400000e-07 |
| fo8_ar3_1 | 2.391005e+01 | -1.630495e+11 | 2.391005e+01 | 2.391005e+01 | -1.630495e+11 |
| fo8_ar4_1 | 2.238190e+01 | -1.400000e-07 | 2.238190e+01 | 2.238190e+01 | -1.400000e-07 |
| fo8_ar5_1 | 2.238190e+01 | -1.400000e-07 | 2.238190e+01 | 2.238190e+01 | -1.400000e-07 |
| fo8 | 2.238190e+01 | -2.709742e+11 | 2.238190e+01 | 2.238190e+01 | -2.709742e+11 |
| fo9_ar25_1 | 2.767381e+01 | -1.520406e+11 | 2.841256e+01 | 2.841256e+01 | -1.520406e+11 |
| fo9_ar2_1 | 2.904358e+01 | -1.362082e+11 | 2.976418e+01 | 2.976418e+01 | -1.362082e+11 |
| fo9_ar3_1 | 2.481548e+01 | -1.627881e+11 | 2.481548e+01 | 2.481548e+01 | -1.627881e+11 |
| fo9_ar4_1 | 2.346429e+01 | -9.883960e+10 | 2.346428e+01 | 2.346429e+01 | -9.883960e+10 |
| fo9_ar5_1 | 2.256904e+01 | -2.290013e+11 | 1.926951e+01 | 2.256904e+01 | -2.290013e+11 |
| fo9 | 2.036097e+01 | -1.600000e-07 | 2.346428e+01 | 2.346428e+01 | -1.600000e-07 |
| ibs2 | 4.449131e+00 | -2.765017e+11 | 4.427151e+00 | 4.449131e+00 | -2.765017e+11 |
| m6 | 8.225688e+01 | 8.225688e+01 | 8.225688e+01 | 8.225688e+01 | 8.225688e+01 |
| m7_ar25_1 | 1.435850e+02 | 1.435850e+02 | 1.435850e+02 | 1.435850e+02 | 1.435850e+02 |
| m7_ar2_1 | 1.902350e+02 | 1.902350e+02 | 1.902350e+02 | 1.902350e+02 | 1.902350e+02 |
| m7_ar3_1 | 1.435850e+02 | 1.435850e+02 | 1.435850e+02 | 1.435850e+02 | 1.435850e+02 |
| m7_ar4_1 | 1.067569e+02 | 1.067569e+02 | 1.067569e+02 | 1.067569e+02 | 1.067569e+02 |
| m7_ar5_1 | 1.064600e+02 | 1.064600e+02 | 1.064294e+02 | 1.064600e+02 | 1.064294e+02 |
| m7 | 1.067569e+02 | 1.067569e+02 | 1.067569e+02 | 1.067569e+02 | 1.067569e+02 |
| meanvar-orl400_05_e_8 | 9.837969e+01 | 9.760018e+01 | 9.939192e+01 | 9.939192e+01 | 9.760018e+01 |
| netmod_dol2 | -5.600084e-01 | -6.510147e-01 | -5.600084e-01 | -5.600084e-01 | -6.510147e-01 |
| no7_ar25_1 | 1.078153e+02 | -2.072822e+11 | 1.078153e+02 | 1.078153e+02 | -2.072822e+11 |
| no7_ar2_1 | 1.078153e+02 | -1.878522e+11 | 1.078153e+02 | 1.078153e+02 | -1.878522e+11 |
| no7_ar3_1 | 1.040579e+02 | -1.994590e+11 | 1.078153e+02 | 1.078153e+02 | -1.994590e+11 |
| no7_ar4_1 | 9.851840e+01 | -1.700551e+11 | 9.851840e+01 | 9.851840e+01 | -1.700551e+11 |
| no7_ar5_1 | 9.062267e+01 | -5.146095e+10 | 9.060234e+01 | 9.062267e+01 | -5.146095e+10 |
| o7_2 | 1.059593e+02 | -3.275932e+10 | 1.005779e+02 | 1.059593e+02 | -3.275932e+10 |
| o7_ar25_1 | 1.249476e+02 | -2.648022e+11 | 1.404119e+02 | 1.404119e+02 | -2.648022e+11 |
| o7_ar2_1 | 1.289925e+02 | -1.549529e+11 | 1.404119e+02 | 1.404119e+02 | -1.549529e+11 |
| o7_ar3_1 | 1.253537e+02 | -1.157790e+11 | 1.379318e+02 | 1.379318e+02 | -1.157790e+11 |
| o7_ar4_1 | 1.144067e+02 | -2.473015e+11 | 1.064974e+02 | 1.144067e+02 | -2.473015e+11 |
| o7_ar5_1 | 1.147400e+02 | -4.800000e-07 | 1.039538e+02 | 1.147400e+02 | -4.800000e-07 |
| o7 | 1.026384e+02 | -4.118240e+10 | 9.663014e+01 | 1.026384e+02 | -4.118240e+10 |
| o8_ar4_1 | 1.716273e+02 | -8.200000e-07 | 1.780769e+02 | 1.780769e+02 | -8.200000e-07 |
| o9_ar4_1 | 1.671560e+02 | -7.470449e+10 | 1.647159e+02 | 1.671560e+02 | -7.470449e+10 |
| rsyn0805m02m | 2.238397e+03 | 2.238395e+03 | 2.238396e+03 | 2.238395e+03 | 2.238397e+03 |
| rsyn0805m04m | 7.174220e+03 | 7.174219e+03 | 7.174220e+03 | 7.174219e+03 | 7.174220e+03 |
| rsyn0810m02m | 1.741391e+03 | 1.741387e+03 | 1.741388e+03 | 1.741387e+03 | 1.741391e+03 |
| rsyn0810m03h | 2.722453e+03 | 2.722449e+03 | 2.724200e+03 | 2.722449e+03 | 2.724200e+03 |
| rsyn0815m03hfsg | 2.827928e+03 | 2.827926e+03 | 2.830643e+03 | 2.827926e+03 | 2.830643e+03 |
| rsyn0815m03h | 2.827931e+03 | 2.827928e+03 | 2.830530e+03 | 2.827928e+03 | 2.830530e+03 |
| rsyn0820m03hfsg | 2.028816e+03 | 2.028812e+03 | 2.030408e+03 | 2.028812e+03 | 2.030408e+03 |
| rsyn0820m04hfsg | 2.450775e+03 | 2.450772e+03 | 2.452664e+03 | 2.450772e+03 | 2.452664e+03 |
| rsyn0820m04h | 2.450775e+03 | 2.450773e+03 | 2.452126e+03 | 2.450773e+03 | 2.452126e+03 |
| rsyn0830m03hfsg | 1.543063e+03 | 1.543059e+03 | 1.544486e+03 | 1.543059e+03 | 1.544486e+03 |
| rsyn0830m03h | 1.543066e+03 | 1.543060e+03 | 1.544443e+03 | 1.543060e+03 | 1.544443e+03 |
| rsyn0830m04hfsg | 2.529082e+03 | 2.529073e+03 | 2.531393e+03 | 2.529073e+03 | 2.531393e+03 |
| rsyn0830m04h | 2.529081e+03 | 2.529074e+03 | 2.531588e+03 | 2.529074e+03 | 2.531588e+03 |
| rsyn0830m | 5.100732e+02 | 5.100720e+02 | 5.100724e+02 | 5.100720e+02 | 5.100732e+02 |
| rsyn0840m03hfsg | 2.742649e+03 | 2.742646e+03 | 2.744984e+03 | 2.742646e+03 | 2.744984e+03 |
| rsyn0840m03h | 2.742651e+03 | 2.742646e+03 | 2.744580e+03 | 2.742646e+03 | 2.744580e+03 |
| rsyn0840m04hfsg | 2.564519e+03 | 2.564499e+03 | 2.566201e+03 | 2.564499e+03 | 2.566201e+03 |
| rsyn0840m04h | 2.564511e+03 | 2.564500e+03 | 2.566781e+03 | 2.564500e+03 | 2.566781e+03 |
| rsyn0840m | 3.255546e+02 | 3.255545e+02 | 3.255548e+02 | 3.255545e+02 | 3.255548e+02 |
| slay05h | 2.266468e+04 | 2.266468e+04 | 2.266468e+04 | 2.266468e+04 | 2.266468e+04 |
| slay06h | 3.275702e+04 | 3.275702e+04 | 3.273350e+04 | 3.275702e+04 | 3.273350e+04 |
| slay07m | 6.474883e+04 | 6.474883e+04 | 6.474883e+04 | 6.474883e+04 | 6.474883e+04 |
| slay08m | 8.496021e+04 | 8.496021e+04 | 8.496021e+04 | 8.496021e+04 | 8.496021e+04 |
| slay09m | 1.078058e+05 | -3.244745e+11 | 1.078058e+05 | 1.078058e+05 | -3.244745e+11 |
| smallinvDAXr1b010-011 | 3.987975e-01 | 3.987975e-01 | 3.987975e-01 | 3.987975e-01 | 3.987975e-01 |
| smallinvDAXr1b020-022 | 1.571528e+00 | 1.571528e+00 | 1.570099e+00 | 1.571528e+00 | 1.570099e+00 |
| smallinvDAXr1b050-055 | 9.797143e+00 | 9.797143e+00 | 9.788245e+00 | 9.797143e+00 | 9.788245e+00 |
| smallinvDAXr1b100-110 | 3.918326e+01 | 3.914761e+01 | 3.912912e+01 | 3.918326e+01 | 3.912912e+01 |
| smallinvDAXr1b150-165 | 8.815908e+01 | 8.808212e+01 | 8.806046e+01 | 8.815908e+01 | 8.806046e+01 |
| smallinvDAXr1b200-220 | 1.567352e+02 | 1.565904e+02 | 1.565568e+02 | 1.567352e+02 | 1.565568e+02 |
| smallinvDAXr2b010-011 | 3.987975e-01 | 3.987975e-01 | 3.987975e-01 | 3.987975e-01 | 3.987975e-01 |
| smallinvDAXr2b020-022 | 1.571528e+00 | 1.571528e+00 | 1.570099e+00 | 1.571528e+00 | 1.570099e+00 |
| smallinvDAXr2b050-055 | 9.797143e+00 | 9.797143e+00 | 9.788245e+00 | 9.797143e+00 | 9.788245e+00 |
| smallinvDAXr2b100-110 | 3.917781e+01 | 3.914761e+01 | 3.913063e+01 | 3.917781e+01 | 3.913063e+01 |
| smallinvDAXr2b150-165 | 8.812843e+01 | 8.808212e+01 | 8.806046e+01 | 8.812843e+01 | 8.806046e+01 |
| smallinvDAXr2b200-220 | 1.567083e+02 | 1.565904e+02 | 1.565568e+02 | 1.567083e+02 | 1.565568e+02 |
| smallinvDAXr3b010-011 | 3.987975e-01 | 3.987975e-01 | 3.987975e-01 | 3.987975e-01 | 3.987975e-01 |
| smallinvDAXr3b020-022 | 1.571528e+00 | 1.571528e+00 | 1.570478e+00 | 1.571528e+00 | 1.570478e+00 |
| smallinvDAXr3b050-055 | 9.797143e+00 | 9.797143e+00 | 9.790685e+00 | 9.797143e+00 | 9.790685e+00 |
| smallinvDAXr3b100-110 | 3.918168e+01 | 3.914761e+01 | 3.914263e+01 | 3.918168e+01 | 3.914263e+01 |
| smallinvDAXr3b150-165 | 8.814404e+01 | 8.808212e+01 | 8.806362e+01 | 8.814404e+01 | 8.806362e+01 |
| smallinvDAXr4b010-011 | 3.987975e-01 | 3.987975e-01 | 3.987975e-01 | 3.987975e-01 | 3.987975e-01 |
| smallinvDAXr4b020-022 | 1.571528e+00 | 1.571528e+00 | 1.570694e+00 | 1.571528e+00 | 1.570694e+00 |
| smallinvDAXr4b050-055 | 9.797143e+00 | 9.797143e+00 | 9.787765e+00 | 9.797143e+00 | 9.787765e+00 |
| smallinvDAXr4b100-110 | 3.916214e+01 | 3.914761e+01 | 3.914263e+01 | 3.916214e+01 | 3.914263e+01 |
| smallinvDAXr4b150-165 | 8.812151e+01 | 8.808212e+01 | 8.806362e+01 | 8.812151e+01 | 8.806362e+01 |
| smallinvDAXr4b200-220 | 1.566460e+02 | 1.565904e+02 | 1.565683e+02 | 1.566460e+02 | 1.565683e+02 |
| smallinvDAXr5b010-011 | 3.987975e-01 | 3.987975e-01 | 3.987975e-01 | 3.987975e-01 | 3.987975e-01 |
| smallinvDAXr5b020-022 | 1.571528e+00 | 1.571528e+00 | 1.570034e+00 | 1.571528e+00 | 1.570034e+00 |
| smallinvDAXr5b050-055 | 9.797143e+00 | 9.797143e+00 | 9.789938e+00 | 9.797143e+00 | 9.789938e+00 |
| smallinvDAXr5b100-110 | 3.916941e+01 | 3.914761e+01 | 3.914263e+01 | 3.916941e+01 | 3.914263e+01 |
| smallinvDAXr5b150-165 | 8.812456e+01 | 8.808212e+01 | 8.806362e+01 | 8.812456e+01 | 8.806362e+01 |
| smallinvDAXr5b200-220 | 1.566764e+02 | 1.565904e+02 | 1.565683e+02 | 1.566764e+02 | 1.565683e+02 |
| squfl010-025 | 2.141110e+02 | 2.141110e+02 | 2.141110e+02 | 2.141110e+02 | 2.141110e+02 |
| squfl010-040 | 2.405985e+02 | 2.405985e+02 | 1.587435e+02 | 2.405985e+02 | 1.587435e+02 |
| sssd18-06 | 3.981781e+05 | 1.486810e+05 | 3.976885e+05 | 3.981781e+05 | 1.486810e+05 |
| stockcycle | 1.199487e+05 | -2.638275e+13 | 1.199487e+05 | 1.199487e+05 | -2.638275e+13 |
| syn40m03hfsg | 3.951526e+02 | 3.951480e+02 | 3.955387e+02 | 3.951480e+02 | 3.955387e+02 |
| syn40m03h | 3.951534e+02 | 3.951485e+02 | 3.952096e+02 | 3.951485e+02 | 3.952096e+02 |
| syn40m04hfsg | 9.016071e+02 | 9.016014e+02 | 9.025844e+02 | 9.016014e+02 | 9.025844e+02 |
| syn40m04h | 9.017573e+02 | 9.016021e+02 | 9.021320e+02 | 9.016021e+02 | 9.021320e+02 |
| syn40m04m | 9.017597e+02 | 9.016423e+02 | 9.019303e+02 | 9.016423e+02 | 9.019303e+02 |
| tls12 | 1.362295e+01 | 2.311871e+00 | 1.422256e+01 | 1.422256e+01 | 2.311871e+00 |
| tls4 | 8.300000e+00 | -2.035967e+11 | 8.300000e+00 | 8.300000e+00 | -2.035967e+11 |
| tls5 | 7.880146e+00 | -5.306621e+11 | 6.268278e+00 | 7.880146e+00 | -5.306621e+11 |
| tls6 | 1.020000e+01 | -1.099238e+11 | 7.948079e+00 | 1.020000e+01 | -1.099238e+11 |
| tls7 | 5.512662e+00 | 5.934962e-01 | 1.560339e+00 | 5.512662e+00 | 5.934962e-01 |
| unitcommit_50_20_2_mod_8 | 7.199791e+06 | 7.128679e+06 | 7.189146e+06 | 7.199791e+06 | 7.128679e+06 |
| watercontamination0202r | -3.077876e+02 | 9.790444e+01 | -2.897859e+03 | 9.790444e+01 | -2.897859e+03 |
| watercontamination0202 | -1.183316e+05 | 1.251956e+02 | -6.765513e+02 | 1.251956e+02 | -1.183316e+05 |
| watercontamination0303r | -2.866629e+04 | 4.245441e+02 | 4.245441e+02 | 4.245441e+02 | -2.866629e+04 |