Cutpoint BARON LaGO BONMIN CAN_SOLVE 1.000 62.500 25.000 42.500 95.000 1.268 67.500 37.500 45.000 95.000 1.607 72.500 40.000 45.000 95.000 2.036 75.000 50.000 52.500 95.000 2.581 80.000 55.000 55.000 95.000 3.271 85.000 60.000 67.500 95.000 4.147 85.000 65.000 70.000 95.000 5.256 87.500 67.500 72.500 95.000 6.662 90.000 70.000 75.000 95.000 8.444 92.500 70.000 75.000 95.000 10.702 92.500 72.500 75.000 95.000 13.565 92.500 75.000 77.500 95.000 17.194 92.500 75.000 77.500 95.000 21.793 92.500 77.500 77.500 95.000 27.623 92.500 80.000 77.500 95.000 35.012 92.500 80.000 77.500 95.000 44.378 92.500 80.000 77.500 95.000 56.249 92.500 82.500 77.500 95.000 71.296 95.000 82.500 80.000 95.000 90.367 95.000 82.500 80.000 95.000 114.541 95.000 82.500 80.000 95.000 145.180 95.000 82.500 80.000 95.000 184.016 95.000 82.500 80.000 95.000 233.240 95.000 82.500 80.000 95.000 295.632 95.000 82.500 80.000 95.000 374.713 95.000 82.500 80.000 95.000 474.949 95.000 82.500 80.000 95.000 601.998 95.000 82.500 80.000 95.000 763.033 95.000 82.500 80.000 95.000 967.144 95.000 82.500 80.000 95.000