Output from FIND_GLOBAL_MIN on 05/07/2012 at 13:03:25. Version for the system is: March 13, 2009 Codelist file name is: ex2_1_3G.CDL Box data file name is: ex2_1_3.DT1 Initial box: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 1.00 ] BOUND_CONSTRAINT: F F F F F F F F F F F F F F F F F F F F F F F F F F --------------------------------------- CONFIGURATION VALUES: EPS_DOMAIN: 0.1000D-07 MAXITR: 500000 SMALLEST_LIST_BOX_SIZE = 0.0000D+00 A_PRIORI_UPPER_BOUND (on global optimum): 0.180+309 MAX_CPU_SECONDS: 0.720E+04 MAX_LP_PRE: 10000000 ALSO_PRINT_TO_TERMINAL F NO_ABSOLUTE_VALUE_IN_MINIMAX F MAX_PT_SOLVER_ITER 3000 MAX_SMALL_BOXES 2000 MAX_BEFORE_AMALGAMATE 200 DO_INTERVAL_NEWTON: T QUADRATIC: T FULL_SPACE: F VERY_GOOD_INITIAL_GUESS: F USE_SUBSIT: T OUTPUT UNIT: 7 PRINT_LENGTH: 3 USE_INTRINSIC_PRINTING: T PHI_MUST_CONVERGE: T EQ_CNS_MUST_CONVERGE: T INEQ_CNS_MUST_CONVERGE: T ALLOW_EPSILON_APPROXIMATE: F USES_INTERMEDIATE_VARIABLES: F PHI_THICKNESS_FACTOR: 0.500 EQ_CNS_THICKNESS_FACTOR: 0.500 INEQ_CNS_THICKNESS_FACTOR: 0.500 PHI_MUST_CONVERGE: T EQ_CNS_MUST_CONVERGE: T INEQ_CNS_MUST_CONVERGE: T PHI_CONVERGENCE_FACTOR: 0.100E-13 EQ_CNS_CONVERGENCE_FACTOR: 0.100E-13 INEQ_CNS_CONVERGENCE_FACTOR: 0.100E-13 CONTINUITY_ACROSS_BRANCHES: F SINGULAR_EXPANSION_FACTOR: 10.0 HEURISTIC PARAMETER ALPHA: 0.500 APPROX_OPT_BEFORE_BISECTION: F APPROX_OPTIMIZER_TYPE 7 USE_LP: T ITERATE__LP: F EPS_LP_FIT: 1.00000000000000002E-002 USE_EPPERLY_SPLIT: 0 PRINTING_IN_SPLIT 0 USE_REDUCED_SPACE: F REDUCED_IN_BISECTION: T USE_TAYLOR_EQUALITY_CONSTRAINTS F USE_TAYLOR_INEQ_CONSTRAINTS F USE_TAYLOR_OBJECTIVE F USE_TAYLOR_EQ_CNS_GRD F USE_TAYLOR_GRAD F USE_TAYLOR_INEQ_CNS_GRD F USE_TAYLOR_REDUCED_INEWTON F COSY_POLYNOMIAL_ORDER 5 LEAST_SQUARES_FUNCTIONS: F NONLINEAR_SYSTEM: F UNCONSTRAINED_MINIMAX: F NO_ABSOLUTE_VALUE_IN_MINIMAX: F DO_INFEASIBILITY_CHECK: T DO_PIVOTING: T DO_INV_MID: T TRY_C_LP_HEURISTIC: 10000000000.000000 REUSE_PRECONDITIONERS: T ORDERED_LIST_IN_COMPLEMENTATION 1 DO_PROBE: F DO_PROBE_TESTS_3_AND_4: F USE_INEQ_PERTURB_FOR_FEAS: F DO_SPLITS_IN_SUBSIT F PRINTING_IN_VALIDATE_FJ: 0 PRINT_SUBSIT: 0 ALSO_PRINT_TO_TERMINAL F C-LP is used for computing C-LP preconditioners. UNCONSTRAINED_MINIMAX F NO_ABSOLUTE_VALUE_IN_MINIMAX F MINIMAX_FORMULATION_2 T C_LP_DENSE, Manuel Novoa's special routine, was used to compute LP preconditioners. LIST OF SMALL BOXES: Box no.: 1 Box coordinates: [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -15.0 , -14.9 ] Box contains the following approximate root: 1.00 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -15.0 , -15.0 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.209E-01, 0.444E-01 ] Fritz John multipliers U: [ 0.00 , 0.367E-01 ], [ 0.00 , 0.367E-01 ] [ 0.00 , 0.361E-01 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.00 , 0.900 ] [ 0.00 , 0.379E-01 ], [ 0.00 , 0.374E-01 ] [ 0.00 , 0.383E-01 ], [ 0.00 , 1.00 ] [ 0.107 , 0.180 ], [ 0.00 , 1.00 ] [ 0.107 , 0.182 ], [ 0.00 , 1.00 ] [ 0.107 , 0.181 ], [ 0.00 , 1.00 ] [ 0.179 , 0.251 ], [ 0.00 , 1.00 ] [ 0.357E-01, 0.730E-01 ], [ 0.00 , 1.00 ] [ 0.357E-01, 0.112 ], [ 0.00 , 1.00 ] [ 0.357E-01, 0.723E-01 ], [ 0.00 , 1.00 ] [ 0.357E-01, 0.111 ], [ 0.00 , 1.00 ] [ 0.357E-01, 0.742E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.489E-01 ], [ 0.209E-01, 0.444E-01 ] INEQ_CERT_FEASIBLE: F F F T T T F F F T F T F T F T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 16 ------------------------------------------------- Box no.: 2 Box coordinates: [ 0.374 , 0.376 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -13.9 , -13.8 ] Box contains the following approximate root: 0.375 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.8 , -13.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.276E-01, 0.467E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.473E-01 ], [ 0.419E-02, 0.825E-02 ] [ 0.00 , 0.721 ], [ 0.00 , 0.721 ] [ 0.201E-01, 0.415E-01 ], [ 0.00 , 0.325E-01 ] [ 0.00 , 0.325E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.129 , 0.154 ], [ 0.00 , 1.00 ] [ 0.129 , 0.154 ], [ 0.00 , 1.00 ] [ 0.172 , 0.310 ], [ 0.00 , 0.585 ] [ 0.464E-01, 0.890E-01 ], [ 0.00 , 1.00 ] [ 0.422E-01, 0.965E-01 ], [ 0.00 , 0.321 ] [ 0.426E-01, 0.634E-01 ], [ 0.00 , 1.00 ] [ 0.422E-01, 0.965E-01 ], [ 0.00 , 1.00 ] [ 0.426E-01, 0.634E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.980E-02 ], [ 0.275E-01, 0.468E-01 ] INEQ_CERT_FEASIBLE: T T F F T T F F F T T T F T F T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 14 ------------------------------------------------- Box no.: 3 Box coordinates: [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.374 , 0.376 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -13.9 , -13.8 ] Box contains the following approximate root: 1.00 , 1.00 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.8 , -13.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.278E-01, 0.454E-01 ] Fritz John multipliers U: [ 0.00 , 0.455E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.354E-02, 0.829E-02 ] [ 0.00 , 0.320E-01 ], [ 0.00 , 0.320E-01 ] [ 0.212E-01, 0.411E-01 ], [ 0.00 , 1.00 ] [ 0.130 , 0.153 ], [ 0.00 , 1.00 ] [ 0.130 , 0.153 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.205 , 0.226 ], [ 0.00 , 1.00 ] [ 0.431E-01, 0.613E-01 ], [ 0.00 , 1.00 ] [ 0.424E-01, 0.926E-01 ], [ 0.00 , 1.00 ] [ 0.431E-01, 0.613E-01 ], [ 0.00 , 1.00 ] [ 0.691E-01, 0.129 ], [ 0.00 , 1.00 ] [ 0.482E-01, 0.878E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.500 ], [ 0.00 , 0.688 ] [ 0.00 , 0.131 ], [ 0.277E-01, 0.454E-01 ] INEQ_CERT_FEASIBLE: F T T T T F F F F T F T F T T T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 14 ------------------------------------------------- Box no.: 4 Box coordinates: [ 0.998 , 1.00 ], [ 0.374 , 0.376 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -13.9 , -13.8 ] Box contains the following approximate root: 1.00 , 0.375 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.8 , -13.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.295E-01, 0.445E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 0.448E-01 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.460E-02, 0.695E-02 ], [ 0.00 , 0.654 ] [ 0.00 , 0.313E-01 ], [ 0.249E-01, 0.375E-01 ] [ 0.00 , 0.313E-01 ], [ 0.00 , 1.00 ] [ 0.133 , 0.150 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.133 , 0.150 ], [ 0.00 , 1.00 ] [ 0.208 , 0.222 ], [ 0.00 , 1.00 ] [ 0.443E-01, 0.600E-01 ], [ 0.00 , 1.00 ] [ 0.792E-01, 0.119 ], [ 0.00 , 1.00 ] [ 0.543E-01, 0.820E-01 ], [ 0.00 , 1.00 ] [ 0.442E-01, 0.906E-01 ], [ 0.00 , 1.00 ] [ 0.443E-01, 0.600E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.688 ], [ 0.00 , 0.500 ] [ 0.00 , 0.933E-01 ], [ 0.295E-01, 0.445E-01 ] INEQ_CERT_FEASIBLE: T F T T F T F F F T F T T T F T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 14 ------------------------------------------------- Box no.: 5 Box coordinates: [ 0.499 , 0.501 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -13.8 , -13.7 ] Box contains the following approximate root: 1.00 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -15.0 , -15.0 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.291E-01, 0.435E-01 ] Fritz John multipliers U: [ 0.00 , 0.254 ], [ 0.00 , 0.218 ] [ 0.00 , 0.435E-01 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.00 , 0.900 ] [ 0.291E-01, 0.435E-01 ], [ 0.00 , 0.309E-01 ] [ 0.00 , 0.309E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.130 , 0.147 ], [ 0.00 , 1.00 ] [ 0.130 , 0.147 ], [ 0.00 , 1.00 ] [ 0.203 , 0.304 ], [ 0.00 , 1.00 ] [ 0.581E-01, 0.870E-01 ], [ 0.00 , 1.00 ] [ 0.435E-01, 0.894E-01 ], [ 0.00 , 1.00 ] [ 0.435E-01, 0.592E-01 ], [ 0.00 , 1.00 ] [ 0.435E-01, 0.894E-01 ], [ 0.00 , 1.00 ] [ 0.435E-01, 0.592E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.112E-16 ], [ 0.291E-01, 0.435E-01 ] INEQ_CERT_FEASIBLE: T T F T T T F F F T T T F T F T F T F T F T F T F T F T T T F F NIN_POSS_BINDING: 14 ------------------------------------------------- Box no.: 6 Box coordinates: [ 0.998 , 1.00 ], [ 0.499 , 0.501 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -13.8 , -13.7 ] Box contains the following approximate root: 1.00 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -15.0 , -15.0 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.290E-01, 0.435E-01 ] Fritz John multipliers U: [ 0.00 , 0.254 ], [ 0.00 , 0.435E-01 ] [ 0.00 , 0.131 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.00 , 0.900 ] [ 0.00 , 0.314E-01 ], [ 0.290E-01, 0.435E-01 ] [ 0.00 , 0.314E-01 ], [ 0.00 , 1.00 ] [ 0.130 , 0.148 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.130 , 0.148 ], [ 0.00 , 1.00 ] [ 0.206 , 0.217 ], [ 0.00 , 1.00 ] [ 0.435E-01, 0.593E-01 ], [ 0.00 , 1.00 ] [ 0.869E-01, 0.130 ], [ 0.00 , 1.00 ] [ 0.579E-01, 0.870E-01 ], [ 0.00 , 1.00 ] [ 0.435E-01, 0.897E-01 ], [ 0.00 , 1.00 ] [ 0.435E-01, 0.593E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.111 ], [ 0.290E-01, 0.435E-01 ] INEQ_CERT_FEASIBLE: T F T T T T F F F T F T T T F T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 13 ------------------------------------------------- Box no.: 7 Box coordinates: [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.499 , 0.501 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -13.8 , -13.7 ] Box contains the following approximate root: 1.00 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -15.0 , -15.0 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.278E-01, 0.454E-01 ] Fritz John multipliers U: [ 0.00 , 0.455E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.00 , 0.109E-01 ] [ 0.00 , 0.320E-01 ], [ 0.00 , 0.320E-01 ] [ 0.181E-01, 0.440E-01 ], [ 0.00 , 1.00 ] [ 0.130 , 0.153 ], [ 0.00 , 1.00 ] [ 0.130 , 0.153 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.203 , 0.227 ], [ 0.00 , 1.00 ] [ 0.431E-01, 0.613E-01 ], [ 0.00 , 1.00 ] [ 0.424E-01, 0.926E-01 ], [ 0.00 , 1.00 ] [ 0.431E-01, 0.613E-01 ], [ 0.00 , 1.00 ] [ 0.662E-01, 0.132 ], [ 0.00 , 1.00 ] [ 0.482E-01, 0.878E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.500 ], [ 0.00 , 0.688 ] [ 0.00 , 0.131 ], [ 0.277E-01, 0.454E-01 ] INEQ_CERT_FEASIBLE: F T T T T T F F F T F T F T T T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 13 ------------------------------------------------- Box no.: 8 Box coordinates: [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -13.0 , -12.9 ] Box contains the following approximate root: 1.00 , 1.00 , 1.00 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.0 , -13.0 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.247E-01, 0.454E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.464E-01 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.00 , 0.900 ] [ 0.242E-01, 0.459E-01 ], [ 0.00 , 0.330E-01 ] [ 0.00 , 0.330E-01 ], [ 0.00 , 1.00 ] [ 0.121 , 0.229 ], [ 0.00 , 1.00 ] [ 0.117 , 0.151 ], [ 0.00 , 1.00 ] [ 0.117 , 0.151 ], [ 0.590E-01, 0.151 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.483E-01, 0.917E-01 ], [ 0.00 , 1.00 ] [ 0.328E-01, 0.953E-01 ], [ 0.00 , 1.00 ] [ 0.369E-01, 0.621E-01 ], [ 0.00 , 1.00 ] [ 0.328E-01, 0.953E-01 ], [ 0.00 , 1.00 ] [ 0.369E-01, 0.621E-01 ], [ 0.00 , 0.700 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.340 ], [ 0.242E-01, 0.459E-01 ] INEQ_CERT_FEASIBLE: T T F T T T F F F T F T F T F F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 14 ------------------------------------------------- Box no.: 9 Box coordinates: [ 0.374 , 0.376 ], [ 0.998 , 1.00 ] [ 0.374 , 0.376 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -12.7 , -12.6 ] Box contains the following approximate root: 0.375 , 1.00 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.7 , -12.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.355E-01, 0.359E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.554E-02, 0.561E-02 ] [ 0.00 , 0.721 ], [ 0.554E-02, 0.758E-02 ] [ 0.299E-01, 0.303E-01 ], [ 0.355E-01, 0.359E-01 ] [ 0.277E-01, 0.315E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.177 , 0.180 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.237 , 0.240 ], [ 0.00 , 0.200E-18 ] [ 0.654E-01, 0.662E-01 ], [ 0.00 , 1.00 ] [ 0.106 , 0.108 ], [ 0.00 , 0.185E-29 ] [ 0.709E-01, 0.718E-01 ], [ 0.00 , 1.00 ] [ 0.913E-01, 0.984E-01 ], [ 0.00 , 0.313E-02 ] [ 0.636E-01, 0.669E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.500 ], [ 0.00 , 0.625 ] [ 0.00 , 0.699E-17 ], [ 0.355E-01, 0.359E-01 ] INEQ_CERT_FEASIBLE: T T T F T F F F F T T T F T T T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 13 ------------------------------------------------- Box no.: 10 Box coordinates: [ 0.998 , 1.00 ], [ 0.374 , 0.376 ] [ 0.374 , 0.376 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -12.7 , -12.6 ] Box contains the following approximate root: 1.00 , 0.375 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.7 , -12.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.355E-01, 0.359E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.554E-02, 0.652E-02 ], [ 0.554E-02, 0.561E-02 ] [ 0.355E-01, 0.359E-01 ], [ 0.280E-01, 0.316E-01 ] [ 0.299E-01, 0.303E-01 ], [ 0.00 , 1.00 ] [ 0.177 , 0.179 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.248 , 0.251 ], [ 0.00 , 0.159E-16 ] [ 0.709E-01, 0.717E-01 ], [ 0.00 , 1.00 ] [ 0.919E-01, 0.987E-01 ], [ 0.00 , 0.629E-02 ] [ 0.639E-01, 0.671E-01 ], [ 0.00 , 1.00 ] [ 0.953E-01, 0.964E-01 ], [ 0.00 , 1.00 ] [ 0.654E-01, 0.661E-01 ], [ 0.00 , 0.605 ] [ 0.00 , 0.688 ], [ 0.00 , 0.688 ] [ 0.00 , 0.786E-17 ], [ 0.355E-01, 0.359E-01 ] INEQ_CERT_FEASIBLE: T T T T F F F F F T F T T T T T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 13 ------------------------------------------------- Box no.: 11 Box coordinates: [ 0.374 , 0.376 ], [ 0.374 , 0.376 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -12.7 , -12.6 ] Box contains the following approximate root: 0.375 , 0.375 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.7 , -12.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.355E-01, 0.359E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.554E-02, 0.660E-02 ] [ 0.554E-02, 0.561E-02 ], [ 0.00 , 0.471 ] [ 0.280E-01, 0.316E-01 ], [ 0.299E-01, 0.303E-01 ] [ 0.355E-01, 0.359E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.177 , 0.179 ], [ 0.00 , 1.00 ] [ 0.235 , 0.241 ], [ 0.00 , 0.200E-18 ] [ 0.639E-01, 0.671E-01 ], [ 0.00 , 1.00 ] [ 0.953E-01, 0.964E-01 ], [ 0.00 , 0.313E-02 ] [ 0.654E-01, 0.662E-01 ], [ 0.00 , 1.00 ] [ 0.106 , 0.108 ], [ 0.00 , 0.177E-29 ] [ 0.709E-01, 0.718E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.625 ], [ 0.00 , 0.500 ] [ 0.00 , 0.699E-17 ], [ 0.355E-01, 0.359E-01 ] INEQ_CERT_FEASIBLE: T T T F F T F F F T T T T T F T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 13 ------------------------------------------------- Box no.: 12 Box coordinates: [ 0.499 , 0.501 ], [ 0.998 , 1.00 ] [ 0.374 , 0.376 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -12.6 , -12.5 ] Box contains the following approximate root: 1.00 , 1.00 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.8 , -13.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.350E-01, 0.351E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.332E-01 ] [ 0.00 , 0.721 ], [ 0.547E-02, 0.587E-02 ] [ 0.350E-01, 0.351E-01 ], [ 0.350E-01, 0.351E-01 ] [ 0.291E-01, 0.298E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.175 , 0.176 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.245 , 0.246 ], [ 0.00 , 0.200E-18 ] [ 0.701E-01, 0.702E-01 ], [ 0.00 , 1.00 ] [ 0.105 , 0.105 ], [ 0.00 , 0.185E-29 ] [ 0.701E-01, 0.702E-01 ], [ 0.00 , 1.00 ] [ 0.933E-01, 0.945E-01 ], [ 0.00 , 0.313E-02 ] [ 0.642E-01, 0.648E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.500 ], [ 0.00 , 0.625 ] [ 0.00 , 0.699E-17 ], [ 0.350E-01, 0.351E-01 ] INEQ_CERT_FEASIBLE: T T T T T F F F F T T T F T T T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 13 Box coordinates: [ 0.374 , 0.376 ], [ 0.998 , 1.00 ] [ 0.499 , 0.501 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -12.6 , -12.5 ] Box contains the following approximate root: 0.375 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.8 , -13.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.350E-01, 0.351E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.172 ], [ 0.547E-02, 0.576E-02 ] [ 0.00 , 0.721 ], [ 0.00 , 0.721 ] [ 0.291E-01, 0.298E-01 ], [ 0.350E-01, 0.351E-01 ] [ 0.350E-01, 0.351E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.175 , 0.176 ], [ 0.00 , 1.00 ] [ 0.00 , 0.526 ], [ 0.00 , 1.00 ] [ 0.234 , 0.235 ], [ 0.00 , 0.585 ] [ 0.642E-01, 0.648E-01 ], [ 0.00 , 1.00 ] [ 0.105 , 0.105 ], [ 0.00 , 0.321 ] [ 0.700E-01, 0.702E-01 ], [ 0.00 , 1.00 ] [ 0.105 , 0.105 ], [ 0.00 , 1.00 ] [ 0.700E-01, 0.702E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.520E-17 ], [ 0.350E-01, 0.351E-01 ] INEQ_CERT_FEASIBLE: T T T F T T F F F T T T F T T T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 14 Box coordinates: [ 0.998 , 1.00 ], [ 0.374 , 0.376 ] [ 0.499 , 0.501 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -12.6 , -12.5 ] Box contains the following approximate root: 1.00 , 0.375 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.8 , -13.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.350E-01, 0.351E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 0.157 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.547E-02, 0.582E-02 ], [ 0.00 , 0.654 ] [ 0.350E-01, 0.351E-01 ], [ 0.291E-01, 0.298E-01 ] [ 0.350E-01, 0.351E-01 ], [ 0.00 , 1.00 ] [ 0.175 , 0.176 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.245 , 0.246 ], [ 0.00 , 1.00 ] [ 0.701E-01, 0.702E-01 ], [ 0.00 , 1.00 ] [ 0.933E-01, 0.946E-01 ], [ 0.00 , 1.00 ] [ 0.642E-01, 0.648E-01 ], [ 0.00 , 1.00 ] [ 0.105 , 0.105 ], [ 0.00 , 1.00 ] [ 0.701E-01, 0.702E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.688 ], [ 0.00 , 0.500 ] [ 0.00 , 0.434E-17 ], [ 0.350E-01, 0.351E-01 ] INEQ_CERT_FEASIBLE: T T T T F T F F F T F T T T T T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 15 Box coordinates: [ 0.998 , 1.00 ], [ 0.499 , 0.501 ] [ 0.374 , 0.376 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -12.6 , -12.5 ] Box contains the following approximate root: 1.00 , 1.00 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.8 , -13.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.350E-01, 0.351E-01 ] Fritz John multipliers U: [ 0.00 , 0.415 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.547E-02, 0.572E-02 ] [ 0.350E-01, 0.351E-01 ], [ 0.350E-01, 0.351E-01 ] [ 0.291E-01, 0.298E-01 ], [ 0.00 , 1.00 ] [ 0.175 , 0.175 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.245 , 0.246 ], [ 0.00 , 1.00 ] [ 0.700E-01, 0.702E-01 ], [ 0.00 , 1.00 ] [ 0.105 , 0.105 ], [ 0.00 , 1.00 ] [ 0.700E-01, 0.702E-01 ], [ 0.00 , 1.00 ] [ 0.934E-01, 0.946E-01 ], [ 0.00 , 1.00 ] [ 0.642E-01, 0.648E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.500 ], [ 0.00 , 0.688 ] [ 0.00 , 0.104E-16 ], [ 0.350E-01, 0.351E-01 ] INEQ_CERT_FEASIBLE: T T T T T F F F F T F T T T T T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 16 Box coordinates: [ 0.374 , 0.376 ], [ 0.499 , 0.501 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -12.6 , -12.5 ] Box contains the following approximate root: 0.375 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.8 , -13.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.349E-01, 0.353E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.335 ], [ 0.545E-02, 0.651E-02 ] [ 0.00 , 0.721 ], [ 0.00 , 0.721 ] [ 0.275E-01, 0.311E-01 ], [ 0.349E-01, 0.353E-01 ] [ 0.349E-01, 0.353E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.174 , 0.176 ], [ 0.00 , 1.00 ] [ 0.231 , 0.237 ], [ 0.00 , 0.585 ] [ 0.628E-01, 0.660E-01 ], [ 0.00 , 1.00 ] [ 0.105 , 0.106 ], [ 0.00 , 0.321 ] [ 0.697E-01, 0.706E-01 ], [ 0.00 , 1.00 ] [ 0.105 , 0.106 ], [ 0.00 , 1.00 ] [ 0.697E-01, 0.706E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.119E-16 ], [ 0.349E-01, 0.353E-01 ] INEQ_CERT_FEASIBLE: T T T F T T F F F T T T T T F T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 17 Box coordinates: [ 0.499 , 0.501 ], [ 0.374 , 0.376 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -12.6 , -12.5 ] Box contains the following approximate root: 1.00 , 0.375 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.8 , -13.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.350E-01, 0.355E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 0.157 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.545E-02, 0.632E-02 ], [ 0.00 , 0.654 ] [ 0.350E-01, 0.355E-01 ], [ 0.254E-01, 0.302E-01 ] [ 0.350E-01, 0.355E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.175 , 0.178 ], [ 0.00 , 1.00 ] [ 0.245 , 0.249 ], [ 0.00 , 1.00 ] [ 0.699E-01, 0.711E-01 ], [ 0.00 , 1.00 ] [ 0.863E-01, 0.954E-01 ], [ 0.00 , 1.00 ] [ 0.609E-01, 0.652E-01 ], [ 0.00 , 1.00 ] [ 0.105 , 0.107 ], [ 0.00 , 1.00 ] [ 0.699E-01, 0.711E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.688 ], [ 0.00 , 0.500 ] [ 0.00 , 0.510E-17 ], [ 0.350E-01, 0.355E-01 ] INEQ_CERT_FEASIBLE: T T T T F T F F F T T T T T F T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 18 Box coordinates: [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.299 , 0.301 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.60 , 1.60 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -12.6 , -12.5 ] Box contains the following approximate root: 1.00 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -15.0 , -15.0 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.301E-01, 0.476E-01 ] Fritz John multipliers U: [ 0.00 , 0.500 ], [ 0.00 , 0.500 ] [ 0.00 , 0.476E-01 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.00 , 0.900 ] [ 0.301E-01, 0.476E-01 ], [ 0.00 , 0.327E-01 ] [ 0.00 , 0.327E-01 ], [ 0.00 , 1.00 ] [ 0.151 , 0.238 ], [ 0.00 , 1.00 ] [ 0.143 , 0.157 ], [ 0.00 , 1.00 ] [ 0.143 , 0.157 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.602E-01, 0.952E-01 ], [ 0.00 , 1.00 ] [ 0.476E-01, 0.970E-01 ], [ 0.00 , 1.00 ] [ 0.476E-01, 0.635E-01 ], [ 0.00 , 1.00 ] [ 0.476E-01, 0.970E-01 ], [ 0.00 , 1.00 ] [ 0.476E-01, 0.635E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.180 ], [ 0.301E-01, 0.476E-01 ] INEQ_CERT_FEASIBLE: T T F T T T F F F T F T F T F T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 13 ------------------------------------------------- Box no.: 19 Box coordinates: [ 0.499 , 0.501 ], [ 0.998 , 1.00 ] [ 0.499 , 0.501 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -12.5 , -12.4 ] Box contains the following approximate root: 1.00 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -15.0 , -15.0 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.342E-01, 0.359E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.335 ], [ 0.00 , 0.787E-01 ] [ 0.00 , 0.721 ], [ 0.00 , 0.721 ] [ 0.342E-01, 0.359E-01 ], [ 0.342E-01, 0.359E-01 ] [ 0.342E-01, 0.359E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.171 , 0.180 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.240 , 0.252 ], [ 0.00 , 0.585 ] [ 0.684E-01, 0.719E-01 ], [ 0.00 , 1.00 ] [ 0.103 , 0.108 ], [ 0.00 , 0.321 ] [ 0.684E-01, 0.719E-01 ], [ 0.00 , 1.00 ] [ 0.103 , 0.108 ], [ 0.00 , 1.00 ] [ 0.684E-01, 0.719E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.249E-02 ], [ 0.193E-01, 0.345E-01 ] INEQ_CERT_FEASIBLE: T T T T T T F F F T T T F T T T F T F T F T F T F T F T T T F F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 20 Box coordinates: [ 0.998 , 1.00 ], [ 0.499 , 0.501 ] [ 0.499 , 0.501 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -12.5 , -12.4 ] Box contains the following approximate root: 1.00 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -15.0 , -15.0 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.343E-01, 0.358E-01 ] Fritz John multipliers U: [ 0.00 , 0.254 ], [ 0.00 , 0.206 ] [ 0.00 , 0.131 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.00 , 0.900 ] [ 0.343E-01, 0.358E-01 ], [ 0.343E-01, 0.358E-01 ] [ 0.343E-01, 0.358E-01 ], [ 0.00 , 1.00 ] [ 0.171 , 0.179 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.240 , 0.250 ], [ 0.00 , 1.00 ] [ 0.685E-01, 0.715E-01 ], [ 0.00 , 1.00 ] [ 0.103 , 0.107 ], [ 0.00 , 1.00 ] [ 0.685E-01, 0.715E-01 ], [ 0.00 , 1.00 ] [ 0.103 , 0.107 ], [ 0.00 , 1.00 ] [ 0.685E-01, 0.715E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.208E-02 ], [ 0.216E-01, 0.345E-01 ] INEQ_CERT_FEASIBLE: T T T T T T F F F T F T T T T T F T F T F T F T F T F T T T F F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 21 Box coordinates: [ 0.499 , 0.501 ], [ 0.499 , 0.501 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -12.5 , -12.4 ] Box contains the following approximate root: 1.00 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -15.0 , -15.0 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.344E-01, 0.375E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.975E-02 ] [ 0.00 , 0.891E-02 ], [ 0.00 , 0.471 ] [ 0.223E-01, 0.367E-01 ], [ 0.205E-01, 0.366E-01 ] [ 0.343E-01, 0.376E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.171 , 0.188 ], [ 0.00 , 1.00 ] [ 0.224 , 0.253 ], [ 0.00 , 0.200E-18 ] [ 0.581E-01, 0.727E-01 ], [ 0.00 , 1.00 ] [ 0.771E-01, 0.109 ], [ 0.00 , 0.313E-02 ] [ 0.566E-01, 0.724E-01 ], [ 0.00 , 1.00 ] [ 0.103 , 0.113 ], [ 0.00 , 0.177E-29 ] [ 0.685E-01, 0.751E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.625 ], [ 0.00 , 0.500 ] [ 0.00 , 0.699E-17 ], [ 0.343E-01, 0.376E-01 ] INEQ_CERT_FEASIBLE: T T T T T T F F F T T T T T F T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 11 ------------------------------------------------- Box no.: 22 Box coordinates: [ 0.124 , 0.126 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -12.5 , -12.4 ] Box contains the following approximate root: 0.125 , 1.00 , 1.00 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.5 , -12.5 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.288E-01, 0.551E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.593E-01 ], [ 0.745E-02, 0.314E-01 ] [ 0.00 , 0.721 ], [ 0.00 , 0.721 ] [ 0.806E-02, 0.366E-01 ], [ 0.00 , 0.394E-01 ] [ 0.00 , 0.394E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.151 , 0.167 ], [ 0.00 , 1.00 ] [ 0.151 , 0.167 ], [ 0.101 , 0.229 ] [ 0.00 , 1.00 ], [ 0.00 , 0.445 ] [ 0.365E-01, 0.920E-01 ], [ 0.00 , 1.00 ] [ 0.421E-01, 0.109 ], [ 0.00 , 1.00 ] [ 0.483E-01, 0.690E-01 ], [ 0.00 , 1.00 ] [ 0.421E-01, 0.109 ], [ 0.00 , 1.00 ] [ 0.483E-01, 0.690E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.215 ], [ 0.287E-01, 0.551E-01 ] INEQ_CERT_FEASIBLE: T T F F T T F F F T T T F T F F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 14 ------------------------------------------------- Box no.: 23 Box coordinates: [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.374 , 0.376 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.9 , -11.8 ] Box contains the following approximate root: 1.00 , 1.00 , 0.375 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -11.8 , -11.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.338E-01, 0.339E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.529E-02, 0.557E-02 ] [ 0.338E-01, 0.339E-01 ], [ 0.338E-01, 0.339E-01 ] [ 0.281E-01, 0.288E-01 ], [ 0.00 , 1.00 ] [ 0.169 , 0.170 ], [ 0.00 , 1.00 ] [ 0.169 , 0.170 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.102 , 0.102 ] [ 0.00 , 1.00 ], [ 0.00 , 0.721 ] [ 0.677E-01, 0.678E-01 ], [ 0.00 , 1.00 ] [ 0.102 , 0.102 ], [ 0.00 , 0.101E-16 ] [ 0.677E-01, 0.678E-01 ], [ 0.00 , 1.00 ] [ 0.902E-01, 0.914E-01 ], [ 0.00 , 0.865 ] [ 0.620E-01, 0.626E-01 ], [ 0.00 , 0.586 ] [ 0.00 , 0.500 ], [ 0.00 , 0.688 ] [ 0.00 , 0.488E-17 ], [ 0.338E-01, 0.339E-01 ] INEQ_CERT_FEASIBLE: T T T T T F F F F T F T F T T F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 13 ------------------------------------------------- Box no.: 24 Box coordinates: [ 0.998 , 1.00 ], [ 0.374 , 0.376 ] [ 0.998 , 1.00 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.9 , -11.8 ] Box contains the following approximate root: 1.00 , 0.375 , 1.00 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -11.8 , -11.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.338E-01, 0.343E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.527E-02, 0.652E-02 ], [ 0.00 , 0.654 ] [ 0.338E-01, 0.343E-01 ], [ 0.249E-01, 0.294E-01 ] [ 0.338E-01, 0.343E-01 ], [ 0.00 , 1.00 ] [ 0.169 , 0.171 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.169 , 0.171 ], [ 0.101 , 0.103 ] [ 0.00 , 1.00 ], [ 0.00 , 0.721 ] [ 0.675E-01, 0.685E-01 ], [ 0.00 , 1.00 ] [ 0.842E-01, 0.926E-01 ], [ 0.00 , 0.865 ] [ 0.592E-01, 0.632E-01 ], [ 0.00 , 1.00 ] [ 0.101 , 0.103 ], [ 0.00 , 0.366E-16 ] [ 0.675E-01, 0.685E-01 ], [ 0.00 , 0.586 ] [ 0.00 , 0.688 ], [ 0.00 , 0.500 ] [ 0.00 , 0.207E-16 ], [ 0.338E-01, 0.343E-01 ] INEQ_CERT_FEASIBLE: T T T T F T F F F T F T T T F F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 13 ------------------------------------------------- Box no.: 25 Box coordinates: [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.499 , 0.501 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.8 , -11.7 ] Box contains the following approximate root: 1.00 , 1.00 , 1.00 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.0 , -13.0 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.282E-01, 0.381E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.500 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.00 , 0.900 ] [ 0.276E-01, 0.388E-01 ], [ 0.276E-01, 0.388E-01 ] [ 0.276E-01, 0.388E-01 ], [ 0.00 , 1.00 ] [ 0.128 , 0.213 ], [ 0.00 , 1.00 ] [ 0.138 , 0.194 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.260E-01, 0.195 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.551E-01, 0.776E-01 ], [ 0.00 , 1.00 ] [ 0.827E-01, 0.116 ], [ 0.00 , 1.00 ] [ 0.551E-01, 0.776E-01 ], [ 0.00 , 1.00 ] [ 0.827E-01, 0.116 ], [ 0.00 , 1.00 ] [ 0.551E-01, 0.776E-01 ], [ 0.00 , 0.700 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.798E-16 ], [ 0.276E-01, 0.388E-01 ] INEQ_CERT_FEASIBLE: T T T T T T F F F T F T F T T F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 26 Box coordinates: [ 0.217 , 0.219 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.370 , 0.372 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.74 , 1.74 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.8 , -11.7 ] Box contains the following approximate root: 0.375 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.8 , -13.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.360E-01, 0.648E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.650E-01 ], [ 0.108E-01, 0.248E-01 ] [ 0.00 , 0.721 ], [ 0.00 , 0.721 ] [ 0.199E-01, 0.452E-01 ], [ 0.00 , 0.403E-01 ] [ 0.00 , 0.403E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.187 , 0.193 ], [ 0.00 , 1.00 ] [ 0.187 , 0.193 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.506E-01, 0.115 ], [ 0.00 , 1.00 ] [ 0.624E-01, 0.115 ], [ 0.00 , 0.861 ] [ 0.629E-01, 0.763E-01 ], [ 0.00 , 1.00 ] [ 0.624E-01, 0.115 ], [ 0.00 , 1.00 ] [ 0.629E-01, 0.763E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.263E-27 ], [ 0.359E-01, 0.648E-01 ] INEQ_CERT_FEASIBLE: T T F F T T F F F T T T F T F T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 13 ------------------------------------------------- Box no.: 27 Box coordinates: [ 0.499 , 0.501 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.8 , -11.7 ] Box contains the following approximate root: 1.00 , 1.00 , 1.00 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.0 , -13.0 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.275E-01, 0.583E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.608E-01 ], [ 0.00 , 0.471 ] [ 0.00 , 0.721 ], [ 0.00 , 0.721 ] [ 0.274E-01, 0.583E-01 ], [ 0.00 , 0.397E-01 ] [ 0.00 , 0.397E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.149 , 0.176 ], [ 0.00 , 1.00 ] [ 0.149 , 0.176 ], [ 0.613E-01, 0.197 ] [ 0.00 , 1.00 ], [ 0.00 , 0.860 ] [ 0.548E-01, 0.117 ], [ 0.00 , 1.00 ] [ 0.428E-01, 0.113 ], [ 0.00 , 1.00 ] [ 0.472E-01, 0.723E-01 ], [ 0.00 , 1.00 ] [ 0.428E-01, 0.113 ], [ 0.00 , 1.00 ] [ 0.472E-01, 0.723E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.162 ], [ 0.274E-01, 0.583E-01 ] INEQ_CERT_FEASIBLE: T T F T T T F F F T T T F T F F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 13 ------------------------------------------------- Box no.: 28 Box coordinates: [ 0.998 , 1.00 ], [ 0.499 , 0.501 ] [ 0.998 , 1.00 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.8 , -11.7 ] Box contains the following approximate root: 1.00 , 1.00 , 1.00 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.0 , -13.0 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.259E-01, 0.377E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.500 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.00 , 0.900 ] [ 0.258E-01, 0.386E-01 ], [ 0.258E-01, 0.386E-01 ] [ 0.258E-01, 0.386E-01 ], [ 0.00 , 1.00 ] [ 0.129 , 0.193 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.119 , 0.215 ], [ 0.860E-01, 0.157 ] [ 0.00 , 1.00 ], [ 0.00 , 0.666 ] [ 0.516E-01, 0.772E-01 ], [ 0.00 , 1.00 ] [ 0.775E-01, 0.116 ], [ 0.00 , 1.00 ] [ 0.516E-01, 0.772E-01 ], [ 0.00 , 1.00 ] [ 0.775E-01, 0.116 ], [ 0.00 , 1.00 ] [ 0.516E-01, 0.772E-01 ], [ 0.00 , 0.700 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.396E-17 ], [ 0.258E-01, 0.386E-01 ] INEQ_CERT_FEASIBLE: T T T T T T F F F T F T T T F F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 29 Box coordinates: [ 0.374 , 0.376 ], [ 0.374 , 0.376 ] [ 0.374 , 0.376 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.5 , -11.4 ] Box contains the following approximate root: 0.375 , 0.375 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -11.5 , -11.5 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.440E-01, 0.448E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.688E-02, 0.699E-02 ] [ 0.688E-02, 0.699E-02 ], [ 0.688E-02, 0.101E-01 ] [ 0.371E-01, 0.378E-01 ], [ 0.371E-01, 0.378E-01 ] [ 0.340E-01, 0.389E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.294 , 0.299 ], [ 0.00 , 0.776E-16 ] [ 0.812E-01, 0.825E-01 ], [ 0.00 , 1.00 ] [ 0.118 , 0.120 ], [ 0.00 , 0.409E-29 ] [ 0.812E-01, 0.825E-01 ], [ 0.00 , 1.00 ] [ 0.113 , 0.122 ], [ 0.00 , 0.731E-16 ] [ 0.787E-01, 0.829E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.688 ], [ 0.00 , 0.688 ] [ 0.00 , 0.846E-17 ], [ 0.440E-01, 0.448E-01 ] INEQ_CERT_FEASIBLE: T T T F F F F F F T T T T T T T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 13 ------------------------------------------------- Box no.: 30 Box coordinates: [ 0.499 , 0.501 ], [ 0.374 , 0.376 ] [ 0.374 , 0.376 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.5 , -11.3 ] Box contains the following approximate root: 1.00 , 0.375 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.7 , -12.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.432E-01, 0.439E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.674E-02, 0.955E-02 ], [ 0.674E-02, 0.685E-02 ] [ 0.432E-01, 0.439E-01 ], [ 0.331E-01, 0.380E-01 ] [ 0.364E-01, 0.370E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.417 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.302 , 0.307 ], [ 0.00 , 0.159E-16 ] [ 0.863E-01, 0.877E-01 ], [ 0.00 , 1.00 ] [ 0.110 , 0.119 ], [ 0.00 , 0.629E-02 ] [ 0.770E-01, 0.812E-01 ], [ 0.00 , 1.00 ] [ 0.116 , 0.118 ], [ 0.00 , 1.00 ] [ 0.796E-01, 0.809E-01 ], [ 0.00 , 0.605 ] [ 0.00 , 0.688 ], [ 0.00 , 0.688 ] [ 0.00 , 0.786E-17 ], [ 0.432E-01, 0.439E-01 ] INEQ_CERT_FEASIBLE: T T T T F F F F F T T T T T T T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 31 Box coordinates: [ 0.374 , 0.376 ], [ 0.374 , 0.376 ] [ 0.499 , 0.501 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.5 , -11.3 ] Box contains the following approximate root: 0.375 , 0.375 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.7 , -12.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.432E-01, 0.465E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.676E-02, 0.726E-02 ] [ 0.676E-02, 0.726E-02 ], [ 0.00 , 0.101E-01 ] [ 0.365E-01, 0.392E-01 ], [ 0.365E-01, 0.392E-01 ] [ 0.284E-01, 0.447E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.289 , 0.311 ], [ 0.00 , 0.776E-16 ] [ 0.797E-01, 0.857E-01 ], [ 0.00 , 1.00 ] [ 0.116 , 0.125 ], [ 0.00 , 0.409E-29 ] [ 0.797E-01, 0.857E-01 ], [ 0.00 , 1.00 ] [ 0.100 , 0.131 ], [ 0.00 , 0.731E-16 ] [ 0.718E-01, 0.874E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.688 ], [ 0.00 , 0.688 ] [ 0.00 , 0.846E-17 ], [ 0.432E-01, 0.465E-01 ] INEQ_CERT_FEASIBLE: T T T F F T F F F T T T T T T T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 32 Box coordinates: [ 0.374 , 0.376 ], [ 0.499 , 0.501 ] [ 0.374 , 0.376 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.5 , -11.3 ] Box contains the following approximate root: 0.375 , 1.00 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.7 , -12.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.431E-01, 0.438E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.674E-02, 0.685E-02 ] [ 0.00 , 0.992E-02 ], [ 0.674E-02, 0.101E-01 ] [ 0.364E-01, 0.370E-01 ], [ 0.431E-01, 0.438E-01 ] [ 0.334E-01, 0.382E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.288 , 0.293 ], [ 0.00 , 0.776E-16 ] [ 0.795E-01, 0.808E-01 ], [ 0.00 , 1.00 ] [ 0.129 , 0.131 ], [ 0.00 , 0.409E-29 ] [ 0.863E-01, 0.877E-01 ], [ 0.00 , 1.00 ] [ 0.111 , 0.119 ], [ 0.00 , 0.731E-16 ] [ 0.772E-01, 0.813E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.688 ], [ 0.00 , 0.688 ] [ 0.00 , 0.846E-17 ], [ 0.431E-01, 0.438E-01 ] INEQ_CERT_FEASIBLE: T T T F T F F F F T T T T T T T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 33 Box coordinates: [ 0.998 , 1.00 ], [ 0.374 , 0.376 ] [ 0.998 , 1.00 ], [ 0.299 , 0.301 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.60 , 1.60 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.4 , -11.3 ] Box contains the following approximate root: 1.00 , 0.375 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.8 , -13.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.376E-01, 0.382E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 0.473 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.586E-02, 0.703E-02 ], [ 0.00 , 0.654 ] [ 0.376E-01, 0.382E-01 ], [ 0.279E-01, 0.326E-01 ] [ 0.376E-01, 0.382E-01 ], [ 0.00 , 1.00 ] [ 0.188 , 0.191 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.188 , 0.191 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.752E-01, 0.764E-01 ], [ 0.00 , 1.00 ] [ 0.940E-01, 0.103 ], [ 0.00 , 1.00 ] [ 0.661E-01, 0.702E-01 ], [ 0.00 , 1.00 ] [ 0.113 , 0.115 ], [ 0.00 , 0.859E-16 ] [ 0.752E-01, 0.764E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.688 ], [ 0.00 , 0.500 ] [ 0.00 , 0.562E-29 ], [ 0.376E-01, 0.382E-01 ] INEQ_CERT_FEASIBLE: T T T T F T F F F T F T T T F T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 34 Box coordinates: [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.374 , 0.376 ], [ 0.299 , 0.301 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.60 , 1.60 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.4 , -11.3 ] Box contains the following approximate root: 1.00 , 1.00 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.8 , -13.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.377E-01, 0.383E-01 ] Fritz John multipliers U: [ 0.00 , 0.473 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.586E-02, 0.612E-02 ] [ 0.377E-01, 0.383E-01 ], [ 0.377E-01, 0.383E-01 ] [ 0.268E-01, 0.320E-01 ], [ 0.00 , 1.00 ] [ 0.188 , 0.192 ], [ 0.00 , 1.00 ] [ 0.188 , 0.192 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.753E-01, 0.766E-01 ], [ 0.00 , 1.00 ] [ 0.113 , 0.115 ], [ 0.00 , 0.115E-29 ] [ 0.753E-01, 0.766E-01 ], [ 0.00 , 1.00 ] [ 0.919E-01, 0.102 ], [ 0.00 , 1.00 ] [ 0.651E-01, 0.697E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.500 ], [ 0.00 , 0.688 ] [ 0.00 , 0.345E-16 ], [ 0.377E-01, 0.383E-01 ] INEQ_CERT_FEASIBLE: T T T T T F F F F T F T F T T T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 35 Box coordinates: [ 0.499 , 0.501 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.299 , 0.301 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.60 , 1.60 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.3 , -11.2 ] Box contains the following approximate root: 1.00 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -15.0 , -15.0 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.355E-01, 0.625E-01 ] Fritz John multipliers U: [ 0.00 , 0.500 ], [ 0.00 , 0.500 ] [ 0.00 , 0.625E-01 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.00 , 0.900 ] [ 0.355E-01, 0.625E-01 ], [ 0.00 , 0.385E-01 ] [ 0.00 , 0.385E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.185 , 0.188 ], [ 0.00 , 1.00 ] [ 0.185 , 0.188 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.710E-01, 0.125 ], [ 0.00 , 1.00 ] [ 0.625E-01, 0.114 ], [ 0.00 , 1.00 ] [ 0.625E-01, 0.748E-01 ], [ 0.00 , 1.00 ] [ 0.625E-01, 0.114 ], [ 0.00 , 1.00 ] [ 0.625E-01, 0.748E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.227 ], [ 0.355E-01, 0.625E-01 ] INEQ_CERT_FEASIBLE: T T F T T T F F F T T T F T F T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 36 Box coordinates: [ 0.499 , 0.501 ], [ 0.499 , 0.501 ] [ 0.374 , 0.376 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.4 , -11.3 ] Box contains the following approximate root: 1.00 , 0.375 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.7 , -12.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.425E-01, 0.426E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.332E-01 ] [ 0.00 , 0.721 ], [ 0.663E-02, 0.721E-02 ] [ 0.425E-01, 0.426E-01 ], [ 0.425E-01, 0.426E-01 ] [ 0.352E-01, 0.361E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.418 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.297 , 0.298 ], [ 0.00 , 0.200E-18 ] [ 0.849E-01, 0.852E-01 ], [ 0.00 , 1.00 ] [ 0.127 , 0.128 ], [ 0.00 , 0.185E-29 ] [ 0.849E-01, 0.852E-01 ], [ 0.00 , 1.00 ] [ 0.113 , 0.115 ], [ 0.00 , 0.313E-02 ] [ 0.778E-01, 0.785E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.500 ], [ 0.00 , 0.625 ] [ 0.00 , 0.699E-17 ], [ 0.425E-01, 0.426E-01 ] INEQ_CERT_FEASIBLE: T T T T T F F F F T T T T T T T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 11 ------------------------------------------------- Box no.: 37 Box coordinates: [ 0.374 , 0.376 ], [ 0.499 , 0.501 ] [ 0.499 , 0.501 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.4 , -11.3 ] Box contains the following approximate root: 0.375 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.8 , -13.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.423E-01, 0.430E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.335 ], [ 0.661E-02, 0.956E-02 ] [ 0.00 , 0.721 ], [ 0.00 , 0.721 ] [ 0.327E-01, 0.373E-01 ], [ 0.423E-01, 0.430E-01 ] [ 0.423E-01, 0.430E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.255 ], [ 0.00 , 1.00 ] [ 0.280 , 0.286 ], [ 0.00 , 0.585 ] [ 0.756E-01, 0.796E-01 ], [ 0.00 , 1.00 ] [ 0.127 , 0.129 ], [ 0.00 , 0.321 ] [ 0.846E-01, 0.859E-01 ], [ 0.00 , 1.00 ] [ 0.127 , 0.129 ], [ 0.00 , 1.00 ] [ 0.846E-01, 0.859E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.119E-16 ], [ 0.423E-01, 0.430E-01 ] INEQ_CERT_FEASIBLE: T T T F T T F F F T T T T T T T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 11 ------------------------------------------------- Box no.: 38 Box coordinates: [ 0.499 , 0.501 ], [ 0.374 , 0.376 ] [ 0.499 , 0.501 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.4 , -11.3 ] Box contains the following approximate root: 1.00 , 0.375 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.7 , -12.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.424E-01, 0.431E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 0.157 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.661E-02, 0.763E-02 ], [ 0.00 , 0.654 ] [ 0.424E-01, 0.431E-01 ], [ 0.316E-01, 0.366E-01 ] [ 0.424E-01, 0.431E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.324 ], [ 0.00 , 1.00 ] [ 0.297 , 0.302 ], [ 0.00 , 1.00 ] [ 0.848E-01, 0.862E-01 ], [ 0.00 , 1.00 ] [ 0.106 , 0.116 ], [ 0.00 , 1.00 ] [ 0.747E-01, 0.790E-01 ], [ 0.00 , 1.00 ] [ 0.127 , 0.129 ], [ 0.00 , 1.00 ] [ 0.848E-01, 0.862E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.688 ], [ 0.00 , 0.500 ] [ 0.00 , 0.510E-17 ], [ 0.424E-01, 0.431E-01 ] INEQ_CERT_FEASIBLE: T T T T F T F F F T T T T T T T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 11 ------------------------------------------------- Box no.: 39 Box coordinates: [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.499 , 0.501 ], [ 0.299 , 0.301 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.60 , 1.60 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.3 , -11.2 ] Box contains the following approximate root: 1.00 , 1.00 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.8 , -13.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.345E-01, 0.394E-01 ] Fritz John multipliers U: [ 0.00 , 0.500 ], [ 0.00 , 0.500 ] [ 0.00 , 0.265 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.00 , 0.900 ] [ 0.341E-01, 0.398E-01 ], [ 0.341E-01, 0.398E-01 ] [ 0.341E-01, 0.398E-01 ], [ 0.00 , 1.00 ] [ 0.175 , 0.209 ], [ 0.00 , 1.00 ] [ 0.170 , 0.199 ], [ 0.00 , 1.00 ] [ 0.00 , 0.740 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.682E-01, 0.796E-01 ], [ 0.00 , 1.00 ] [ 0.102 , 0.119 ], [ 0.00 , 1.00 ] [ 0.682E-01, 0.796E-01 ], [ 0.00 , 1.00 ] [ 0.102 , 0.119 ], [ 0.00 , 1.00 ] [ 0.682E-01, 0.796E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.531E-17 ], [ 0.341E-01, 0.398E-01 ] INEQ_CERT_FEASIBLE: T T T T T T F F F T F T F T T T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 11 ------------------------------------------------- Box no.: 40 Box coordinates: [ 0.998 , 1.00 ], [ 0.499 , 0.501 ] [ 0.998 , 1.00 ], [ 0.299 , 0.301 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.60 , 1.60 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.3 , -11.2 ] Box contains the following approximate root: 1.00 , 0.375 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.8 , -13.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.370E-01, 0.383E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 0.473 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.00 , 0.703E-02 ], [ 0.00 , 0.654 ] [ 0.370E-01, 0.384E-01 ], [ 0.265E-01, 0.375E-01 ] [ 0.370E-01, 0.384E-01 ], [ 0.00 , 1.00 ] [ 0.185 , 0.192 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.185 , 0.192 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.739E-01, 0.767E-01 ], [ 0.00 , 1.00 ] [ 0.913E-01, 0.112 ], [ 0.00 , 1.00 ] [ 0.648E-01, 0.745E-01 ], [ 0.00 , 1.00 ] [ 0.111 , 0.115 ], [ 0.00 , 0.859E-16 ] [ 0.739E-01, 0.767E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.688 ], [ 0.00 , 0.500 ] [ 0.00 , 0.562E-29 ], [ 0.370E-01, 0.384E-01 ] INEQ_CERT_FEASIBLE: T T T T T T F F F T F T T T F T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 11 ------------------------------------------------- Box no.: 41 Box coordinates: [ 0.499 , 0.501 ], [ 0.499 , 0.501 ] [ 0.499 , 0.501 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 3.00 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.3 , -11.2 ] Box contains the following approximate root: 1.00 , 0.375 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.7 , -12.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.336E-01, 0.417E-01 ] Fritz John multipliers U: [ 0.00 , 0.254 ], [ 0.00 , 0.218 ] [ 0.00 , 0.221 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.00 , 0.900 ] [ 0.339E-01, 0.420E-01 ], [ 0.339E-01, 0.420E-01 ] [ 0.339E-01, 0.420E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.316 ], [ 0.00 , 1.00 ] [ 0.286 , 0.294 ], [ 0.00 , 1.00 ] [ 0.759E-01, 0.840E-01 ], [ 0.00 , 1.00 ] [ 0.118 , 0.126 ], [ 0.00 , 1.00 ] [ 0.759E-01, 0.840E-01 ], [ 0.00 , 1.00 ] [ 0.118 , 0.126 ], [ 0.00 , 1.00 ] [ 0.759E-01, 0.840E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.286E-16 ], [ 0.339E-01, 0.420E-01 ] INEQ_CERT_FEASIBLE: T T T T T T F F F T T T T T T T F T F T F T F T F T F T T T T F NIN_POSS_BINDING: 10 ------------------------------------------------- Box no.: 42 Box coordinates: [ 0.124 , 0.126 ], [ 0.374 , 0.376 ] [ 0.998 , 1.00 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.3 , -11.2 ] Box contains the following approximate root: 0.125 , 0.375 , 1.00 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -11.3 , -11.3 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.398E-01, 0.404E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.187E-01, 0.189E-01 ] [ 0.622E-02, 0.906E-02 ], [ 0.00 , 0.471 ] [ 0.212E-01, 0.215E-01 ], [ 0.306E-01, 0.351E-01 ] [ 0.398E-01, 0.404E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.199 , 0.202 ], [ 0.157 , 0.159 ] [ 0.00 , 1.00 ], [ 0.00 , 0.851 ] [ 0.610E-01, 0.619E-01 ], [ 0.00 , 1.00 ] [ 0.102 , 0.110 ], [ 0.00 , 0.667 ] [ 0.711E-01, 0.750E-01 ], [ 0.00 , 1.00 ] [ 0.119 , 0.121 ], [ 0.00 , 0.629E-16 ] [ 0.796E-01, 0.808E-01 ], [ 0.00 , 0.734 ] [ 0.00 , 0.625 ], [ 0.00 , 0.500 ] [ 0.00 , 0.416E-16 ], [ 0.398E-01, 0.404E-01 ] INEQ_CERT_FEASIBLE: T T T F F T F F F T T T T T F F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 13 ------------------------------------------------- Box no.: 43 Box coordinates: [ 0.124 , 0.126 ], [ 0.998 , 1.00 ] [ 0.374 , 0.376 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.3 , -11.2 ] Box contains the following approximate root: 0.125 , 1.00 , 0.375 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -11.3 , -11.3 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.400E-01, 0.406E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.187E-01, 0.191E-01 ] [ 0.00 , 0.721 ], [ 0.622E-02, 0.660E-02 ] [ 0.212E-01, 0.216E-01 ], [ 0.400E-01, 0.407E-01 ] [ 0.288E-01, 0.341E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.200 , 0.203 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.157 , 0.160 ] [ 0.00 , 1.00 ], [ 0.00 , 0.851 ] [ 0.612E-01, 0.623E-01 ], [ 0.00 , 1.00 ] [ 0.120 , 0.122 ], [ 0.00 , 0.646E-16 ] [ 0.799E-01, 0.813E-01 ], [ 0.00 , 1.00 ] [ 0.983E-01, 0.108 ], [ 0.00 , 0.667 ] [ 0.695E-01, 0.740E-01 ], [ 0.00 , 0.734 ] [ 0.00 , 0.500 ], [ 0.00 , 0.625 ] [ 0.00 , 0.416E-16 ], [ 0.400E-01, 0.407E-01 ] INEQ_CERT_FEASIBLE: T T T F T F F F F T T T F T T F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 13 ------------------------------------------------- Box no.: 44 Box coordinates: [ 0.124 , 0.126 ], [ 0.998 , 1.00 ] [ 0.499 , 0.501 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.2 , -11.1 ] Box contains the following approximate root: 0.125 , 1.00 , 1.00 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.5 , -12.5 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.390E-01, 0.395E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.232 ], [ 0.150E-01, 0.236E-01 ] [ 0.00 , 0.721 ], [ 0.00 , 0.721 ] [ 0.153E-01, 0.267E-01 ], [ 0.390E-01, 0.395E-01 ] [ 0.390E-01, 0.395E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.195 , 0.198 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.142 , 0.168 ] [ 0.00 , 1.00 ], [ 0.00 , 0.750E-16 ] [ 0.523E-01, 0.675E-01 ], [ 0.00 , 1.00 ] [ 0.117 , 0.119 ], [ 0.00 , 1.00 ] [ 0.780E-01, 0.791E-01 ], [ 0.00 , 1.00 ] [ 0.117 , 0.119 ], [ 0.00 , 1.00 ] [ 0.780E-01, 0.791E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.132E-16 ], [ 0.390E-01, 0.395E-01 ] INEQ_CERT_FEASIBLE: T T T F T T F F F T T T F T T F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 45 Box coordinates: [ 0.124 , 0.126 ], [ 0.499 , 0.501 ] [ 0.998 , 1.00 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -11.2 , -11.1 ] Box contains the following approximate root: 0.125 , 1.00 , 1.00 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.5 , -12.5 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.390E-01, 0.396E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.392 ], [ 0.132E-01, 0.225E-01 ] [ 0.00 , 0.721 ], [ 0.00 , 0.721 ] [ 0.139E-01, 0.280E-01 ], [ 0.389E-01, 0.396E-01 ] [ 0.389E-01, 0.396E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.195 , 0.198 ], [ 0.139 , 0.170 ] [ 0.00 , 1.00 ], [ 0.00 , 0.220E-01 ] [ 0.513E-01, 0.692E-01 ], [ 0.00 , 1.00 ] [ 0.117 , 0.119 ], [ 0.00 , 1.00 ] [ 0.779E-01, 0.792E-01 ], [ 0.00 , 1.00 ] [ 0.117 , 0.119 ], [ 0.00 , 1.00 ] [ 0.779E-01, 0.792E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.437E-16 ], [ 0.389E-01, 0.396E-01 ] INEQ_CERT_FEASIBLE: T T T F T T F F F T T T T T F F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 46 Box coordinates: [ 0.998 , 1.00 ], [ 0.374 , 0.376 ] [ 0.374 , 0.376 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.7 , -10.6 ] Box contains the following approximate root: 1.00 , 0.375 , 0.375 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -10.7 , -10.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.414E-01, 0.421E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.646E-02, 0.823E-02 ], [ 0.647E-02, 0.658E-02 ] [ 0.414E-01, 0.421E-01 ], [ 0.310E-01, 0.362E-01 ] [ 0.349E-01, 0.355E-01 ], [ 0.00 , 1.00 ] [ 0.207 , 0.211 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.124 , 0.126 ] [ 0.00 , 1.00 ], [ 0.00 , 0.103E-01 ] [ 0.828E-01, 0.842E-01 ], [ 0.00 , 1.00 ] [ 0.104 , 0.114 ], [ 0.00 , 1.00 ] [ 0.731E-01, 0.776E-01 ], [ 0.00 , 1.00 ] [ 0.111 , 0.113 ], [ 0.00 , 1.00 ] [ 0.763E-01, 0.777E-01 ], [ 0.00 , 0.651E-19 ] [ 0.00 , 0.688 ], [ 0.00 , 0.688 ] [ 0.00 , 0.149E-16 ], [ 0.414E-01, 0.421E-01 ] INEQ_CERT_FEASIBLE: T T T T F F F F F T F T T T T F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 13 ------------------------------------------------- Box no.: 47 Box coordinates: [ 0.998 , 1.00 ], [ 0.499 , 0.501 ] [ 0.374 , 0.376 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.6 , -10.5 ] Box contains the following approximate root: 1.00 , 1.00 , 0.375 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -11.8 , -11.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.408E-01, 0.409E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.636E-02, 0.655E-02 ] [ 0.408E-01, 0.409E-01 ], [ 0.408E-01, 0.409E-01 ] [ 0.336E-01, 0.344E-01 ], [ 0.00 , 1.00 ] [ 0.204 , 0.204 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.122 , 0.123 ] [ 0.00 , 1.00 ], [ 0.00 , 0.721 ] [ 0.815E-01, 0.817E-01 ], [ 0.00 , 1.00 ] [ 0.122 , 0.123 ], [ 0.00 , 0.242E-29 ] [ 0.815E-01, 0.817E-01 ], [ 0.00 , 1.00 ] [ 0.108 , 0.110 ], [ 0.00 , 0.865 ] [ 0.745E-01, 0.752E-01 ], [ 0.00 , 0.586 ] [ 0.00 , 0.500 ], [ 0.00 , 0.688 ] [ 0.00 , 0.531E-17 ], [ 0.408E-01, 0.409E-01 ] INEQ_CERT_FEASIBLE: T T T T T F F F F T F T T T T F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 48 Box coordinates: [ 0.499 , 0.501 ], [ 0.998 , 1.00 ] [ 0.374 , 0.376 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.6 , -10.5 ] Box contains the following approximate root: 1.00 , 1.00 , 0.375 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -11.8 , -11.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.408E-01, 0.409E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.208 ] [ 0.00 , 0.721 ], [ 0.636E-02, 0.655E-02 ] [ 0.408E-01, 0.409E-01 ], [ 0.408E-01, 0.409E-01 ] [ 0.336E-01, 0.344E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.204 , 0.204 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.122 , 0.123 ] [ 0.00 , 1.00 ], [ 0.00 , 0.750 ] [ 0.815E-01, 0.817E-01 ], [ 0.00 , 1.00 ] [ 0.122 , 0.123 ], [ 0.00 , 0.394E-28 ] [ 0.815E-01, 0.817E-01 ], [ 0.00 , 1.00 ] [ 0.108 , 0.110 ], [ 0.00 , 0.872 ] [ 0.745E-01, 0.752E-01 ], [ 0.00 , 0.575 ] [ 0.00 , 0.500 ], [ 0.00 , 0.625 ] [ 0.00 , 0.542E-17 ], [ 0.408E-01, 0.409E-01 ] INEQ_CERT_FEASIBLE: T T T T T F F F F T T T F T T F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 49 Box coordinates: [ 0.499 , 0.501 ], [ 0.374 , 0.376 ] [ 0.998 , 1.00 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.6 , -10.5 ] Box contains the following approximate root: 1.00 , 0.375 , 1.00 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -11.8 , -11.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.407E-01, 0.408E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.636E-02, 0.670E-02 ], [ 0.00 , 0.654 ] [ 0.407E-01, 0.408E-01 ], [ 0.339E-01, 0.347E-01 ] [ 0.407E-01, 0.408E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.419 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.204 , 0.204 ], [ 0.122 , 0.123 ] [ 0.00 , 1.00 ], [ 0.00 , 0.721 ] [ 0.815E-01, 0.817E-01 ], [ 0.00 , 1.00 ] [ 0.109 , 0.110 ], [ 0.00 , 0.865 ] [ 0.747E-01, 0.754E-01 ], [ 0.00 , 1.00 ] [ 0.122 , 0.123 ], [ 0.00 , 0.366E-16 ] [ 0.815E-01, 0.817E-01 ], [ 0.00 , 0.586 ] [ 0.00 , 0.688 ], [ 0.00 , 0.500 ] [ 0.00 , 0.207E-16 ], [ 0.407E-01, 0.408E-01 ] INEQ_CERT_FEASIBLE: T T T T F T F F F T T T T T F F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 50 Box coordinates: [ 0.998 , 1.00 ], [ 0.374 , 0.376 ] [ 0.499 , 0.501 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.6 , -10.5 ] Box contains the following approximate root: 1.00 , 0.375 , 1.00 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -11.8 , -11.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.405E-01, 0.411E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.634E-02, 0.717E-02 ], [ 0.00 , 0.654 ] [ 0.405E-01, 0.411E-01 ], [ 0.322E-01, 0.362E-01 ] [ 0.405E-01, 0.411E-01 ], [ 0.00 , 1.00 ] [ 0.203 , 0.205 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.263 ], [ 0.122 , 0.123 ] [ 0.00 , 1.00 ], [ 0.00 , 0.721 ] [ 0.810E-01, 0.821E-01 ], [ 0.00 , 1.00 ] [ 0.105 , 0.113 ], [ 0.00 , 0.865 ] [ 0.732E-01, 0.767E-01 ], [ 0.00 , 1.00 ] [ 0.122 , 0.123 ], [ 0.00 , 0.366E-16 ] [ 0.810E-01, 0.821E-01 ], [ 0.00 , 0.586 ] [ 0.00 , 0.688 ], [ 0.00 , 0.500 ] [ 0.00 , 0.207E-16 ], [ 0.405E-01, 0.411E-01 ] INEQ_CERT_FEASIBLE: T T T T F T F F F T F T T T T F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 51 Box coordinates: [ 0.217 , 0.219 ], [ 0.374 , 0.376 ] [ 0.998 , 1.00 ], [ 0.370 , 0.372 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.74 , 1.74 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.6 , -10.5 ] Box contains the following approximate root: 0.375 , 0.375 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.7 , -12.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.472E-01, 0.482E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.166E-01, 0.170E-01 ] [ 0.732E-02, 0.785E-02 ], [ 0.00 , 0.471 ] [ 0.305E-01, 0.312E-01 ], [ 0.340E-01, 0.403E-01 ] [ 0.471E-01, 0.482E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.236 , 0.241 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.776E-01, 0.793E-01 ], [ 0.00 , 1.00 ] [ 0.116 , 0.128 ], [ 0.00 , 0.245E-16 ] [ 0.821E-01, 0.874E-01 ], [ 0.00 , 1.00 ] [ 0.141 , 0.144 ], [ 0.00 , 0.338E-16 ] [ 0.943E-01, 0.963E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.625 ], [ 0.00 , 0.500 ] [ 0.00 , 0.256E-16 ], [ 0.471E-01, 0.482E-01 ] INEQ_CERT_FEASIBLE: T T T F F T F F F T T T T T F T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 52 Box coordinates: [ 0.217 , 0.219 ], [ 0.998 , 1.00 ] [ 0.374 , 0.376 ], [ 0.370 , 0.372 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.74 , 1.74 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.6 , -10.5 ] Box contains the following approximate root: 0.375 , 1.00 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.7 , -12.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.469E-01, 0.477E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.166E-01, 0.168E-01 ] [ 0.00 , 0.721 ], [ 0.734E-02, 0.916E-02 ] [ 0.304E-01, 0.308E-01 ], [ 0.469E-01, 0.477E-01 ] [ 0.371E-01, 0.418E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.235 , 0.238 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.773E-01, 0.785E-01 ], [ 0.00 , 1.00 ] [ 0.141 , 0.143 ], [ 0.00 , 0.351E-16 ] [ 0.938E-01, 0.953E-01 ], [ 0.00 , 1.00 ] [ 0.122 , 0.130 ], [ 0.00 , 0.241E-16 ] [ 0.848E-01, 0.887E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.500 ], [ 0.00 , 0.625 ] [ 0.00 , 0.256E-16 ], [ 0.469E-01, 0.477E-01 ] INEQ_CERT_FEASIBLE: T T T F T F F F F T T T F T T T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 53 Box coordinates: [ 0.499 , 0.501 ], [ 0.998 , 1.00 ] [ 0.499 , 0.501 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.5 , -10.4 ] Box contains the following approximate root: 1.00 , 1.00 , 1.00 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.0 , -13.0 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.361E-01, 0.440E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.211 ], [ 0.00 , 0.471 ] [ 0.00 , 0.721 ], [ 0.00 , 0.721 ] [ 0.316E-01, 0.451E-01 ], [ 0.316E-01, 0.451E-01 ] [ 0.316E-01, 0.451E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.148 , 0.225 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.115 , 0.172 ] [ 0.00 , 1.00 ], [ 0.00 , 0.269 ] [ 0.632E-01, 0.901E-01 ], [ 0.00 , 1.00 ] [ 0.948E-01, 0.135 ], [ 0.00 , 1.00 ] [ 0.632E-01, 0.901E-01 ], [ 0.00 , 1.00 ] [ 0.948E-01, 0.135 ], [ 0.00 , 1.00 ] [ 0.632E-01, 0.901E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.186E-02 ], [ 0.226E-01, 0.441E-01 ] INEQ_CERT_FEASIBLE: T T T T T T F F F T T T F T T F T T F T F T F T F T F T T T F F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 54 Box coordinates: [ 0.998 , 1.00 ], [ 0.499 , 0.501 ] [ 0.499 , 0.501 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.5 , -10.4 ] Box contains the following approximate root: 1.00 , 1.00 , 1.00 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.0 , -13.0 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.255E-01, 0.439E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.500 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.00 , 0.900 ] [ 0.232E-01, 0.434E-01 ], [ 0.232E-01, 0.434E-01 ] [ 0.232E-01, 0.434E-01 ], [ 0.00 , 1.00 ] [ 0.116 , 0.217 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.323 ], [ 0.440E-01, 0.157 ] [ 0.00 , 1.00 ], [ 0.00 , 0.666 ] [ 0.464E-01, 0.869E-01 ], [ 0.00 , 1.00 ] [ 0.696E-01, 0.130 ], [ 0.00 , 1.00 ] [ 0.464E-01, 0.869E-01 ], [ 0.00 , 1.00 ] [ 0.696E-01, 0.130 ], [ 0.00 , 1.00 ] [ 0.464E-01, 0.869E-01 ], [ 0.00 , 0.700 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.396E-17 ], [ 0.232E-01, 0.434E-01 ] INEQ_CERT_FEASIBLE: T T T T T T F F F T F T T T T F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 11 ------------------------------------------------- Box no.: 55 Box coordinates: [ 0.217 , 0.219 ], [ 0.998 , 1.00 ] [ 0.499 , 0.501 ], [ 0.370 , 0.372 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.74 , 1.74 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.5 , -10.4 ] Box contains the following approximate root: 0.375 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.8 , -13.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.462E-01, 0.462E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.426 ], [ 0.163E-01, 0.163E-01 ] [ 0.00 , 0.721 ], [ 0.00 , 0.721 ] [ 0.299E-01, 0.299E-01 ], [ 0.462E-01, 0.462E-01 ] [ 0.462E-01, 0.462E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.231 , 0.231 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.761E-01, 0.761E-01 ], [ 0.00 , 1.00 ] [ 0.139 , 0.139 ], [ 0.00 , 0.861 ] [ 0.924E-01, 0.924E-01 ], [ 0.00 , 1.00 ] [ 0.139 , 0.139 ], [ 0.00 , 1.00 ] [ 0.924E-01, 0.924E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.932E-17 ], [ 0.462E-01, 0.462E-01 ] INEQ_CERT_FEASIBLE: T T T F T T F F F T T T F T T T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 11 ------------------------------------------------- Box no.: 56 Box coordinates: [ 0.217 , 0.219 ], [ 0.499 , 0.501 ] [ 0.998 , 1.00 ], [ 0.370 , 0.372 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.74 , 1.74 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.5 , -10.4 ] Box contains the following approximate root: 0.375 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.8 , -13.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.462E-01, 0.462E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.426 ], [ 0.163E-01, 0.163E-01 ] [ 0.00 , 0.721 ], [ 0.00 , 0.721 ] [ 0.299E-01, 0.299E-01 ], [ 0.462E-01, 0.462E-01 ] [ 0.462E-01, 0.462E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.231 , 0.231 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.761E-01, 0.761E-01 ], [ 0.00 , 1.00 ] [ 0.139 , 0.139 ], [ 0.00 , 0.861 ] [ 0.924E-01, 0.924E-01 ], [ 0.00 , 1.00 ] [ 0.139 , 0.139 ], [ 0.00 , 1.00 ] [ 0.924E-01, 0.924E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.167E-16 ], [ 0.462E-01, 0.462E-01 ] INEQ_CERT_FEASIBLE: T T T F T T F F F T T T T T F T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 11 ------------------------------------------------- Box no.: 57 Box coordinates: [ 0.499 , 0.501 ], [ 0.499 , 0.501 ] [ 0.998 , 1.00 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.5 , -10.4 ] Box contains the following approximate root: 1.00 , 1.00 , 1.00 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.0 , -13.0 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.364E-01, 0.437E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.500 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.00 , 0.900 ] [ 0.359E-01, 0.440E-01 ], [ 0.359E-01, 0.440E-01 ] [ 0.359E-01, 0.440E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.323 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.180 , 0.220 ], [ 0.910E-01, 0.172 ] [ 0.00 , 1.00 ], [ 0.00 , 0.666 ] [ 0.719E-01, 0.879E-01 ], [ 0.00 , 1.00 ] [ 0.108 , 0.132 ], [ 0.00 , 1.00 ] [ 0.719E-01, 0.879E-01 ], [ 0.00 , 1.00 ] [ 0.108 , 0.132 ], [ 0.00 , 1.00 ] [ 0.719E-01, 0.879E-01 ], [ 0.00 , 0.700 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.396E-17 ], [ 0.359E-01, 0.440E-01 ] INEQ_CERT_FEASIBLE: T T T T T T F F F T T T T T F F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 11 ------------------------------------------------- Box no.: 58 Box coordinates: [ 0.998 , 1.00 ], [ 0.374 , 0.376 ] [ 0.374 , 0.376 ], [ 0.299 , 0.301 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.60 , 1.60 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.2 , -10.1 ] Box contains the following approximate root: 1.00 , 0.375 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.7 , -12.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.473E-01, 0.482E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.737E-02, 0.925E-02 ], [ 0.739E-02, 0.753E-02 ] [ 0.473E-01, 0.482E-01 ], [ 0.355E-01, 0.412E-01 ] [ 0.399E-01, 0.407E-01 ], [ 0.00 , 1.00 ] [ 0.236 , 0.241 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.324 ] [ 0.00 , 1.00 ], [ 0.00 , 0.330E-29 ] [ 0.946E-01, 0.964E-01 ], [ 0.00 , 1.00 ] [ 0.119 , 0.130 ], [ 0.00 , 1.00 ] [ 0.837E-01, 0.885E-01 ], [ 0.00 , 1.00 ] [ 0.127 , 0.130 ], [ 0.00 , 1.00 ] [ 0.872E-01, 0.889E-01 ], [ 0.00 , 0.651 ] [ 0.00 , 0.688 ], [ 0.00 , 0.688 ] [ 0.00 , 0.163E-16 ], [ 0.473E-01, 0.482E-01 ] INEQ_CERT_FEASIBLE: T T T T F F F F F T F T T T T T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 59 Box coordinates: [ 0.998 , 1.00 ], [ 0.374 , 0.376 ] [ 0.499 , 0.501 ], [ 0.299 , 0.301 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.60 , 1.60 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.2 , -10.1 ] Box contains the following approximate root: 1.00 , 0.375 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.7 , -12.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.461E-01, 0.469E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 0.473 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.722E-02, 0.912E-02 ], [ 0.00 , 0.654 ] [ 0.461E-01, 0.469E-01 ], [ 0.364E-01, 0.411E-01 ] [ 0.461E-01, 0.469E-01 ], [ 0.00 , 1.00 ] [ 0.231 , 0.234 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.353 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.923E-01, 0.938E-01 ], [ 0.00 , 1.00 ] [ 0.120 , 0.128 ], [ 0.00 , 1.00 ] [ 0.833E-01, 0.872E-01 ], [ 0.00 , 1.00 ] [ 0.138 , 0.141 ], [ 0.00 , 0.859E-16 ] [ 0.923E-01, 0.938E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.688 ], [ 0.00 , 0.500 ] [ 0.00 , 0.562E-29 ], [ 0.461E-01, 0.469E-01 ] INEQ_CERT_FEASIBLE: T T T T F T F F F T F T T T T T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 11 ------------------------------------------------- Box no.: 60 Box coordinates: [ 0.998 , 1.00 ], [ 0.499 , 0.501 ] [ 0.374 , 0.376 ], [ 0.299 , 0.301 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.60 , 1.60 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.2 , -10.1 ] Box contains the following approximate root: 1.00 , 0.375 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.7 , -12.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.461E-01, 0.469E-01 ] Fritz John multipliers U: [ 0.00 , 0.473 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.722E-02, 0.903E-02 ] [ 0.461E-01, 0.469E-01 ], [ 0.461E-01, 0.469E-01 ] [ 0.364E-01, 0.411E-01 ], [ 0.00 , 1.00 ] [ 0.231 , 0.234 ], [ 0.00 , 1.00 ] [ 0.00 , 0.330 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.923E-01, 0.938E-01 ], [ 0.00 , 1.00 ] [ 0.138 , 0.141 ], [ 0.00 , 0.115E-29 ] [ 0.923E-01, 0.938E-01 ], [ 0.00 , 1.00 ] [ 0.120 , 0.128 ], [ 0.00 , 1.00 ] [ 0.833E-01, 0.872E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.500 ], [ 0.00 , 0.688 ] [ 0.00 , 0.345E-16 ], [ 0.461E-01, 0.469E-01 ] INEQ_CERT_FEASIBLE: T T T T T F F F F T F T T T T T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 11 ------------------------------------------------- Box no.: 61 Box coordinates: [ 0.499 , 0.501 ], [ 0.998 , 1.00 ] [ 0.374 , 0.376 ], [ 0.299 , 0.301 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.60 , 1.60 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.2 , -10.1 ] Box contains the following approximate root: 1.00 , 1.00 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.8 , -13.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.464E-01, 0.465E-01 ] Fritz John multipliers U: [ 0.00 , 0.473 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.725E-02, 0.785E-02 ] [ 0.464E-01, 0.465E-01 ], [ 0.464E-01, 0.465E-01 ] [ 0.385E-01, 0.394E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.407 ], [ 0.00 , 1.00 ] [ 0.232 , 0.233 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.928E-01, 0.931E-01 ], [ 0.00 , 1.00 ] [ 0.139 , 0.140 ], [ 0.00 , 0.115E-29 ] [ 0.928E-01, 0.931E-01 ], [ 0.00 , 1.00 ] [ 0.124 , 0.125 ], [ 0.00 , 1.00 ] [ 0.851E-01, 0.858E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.500 ], [ 0.00 , 0.688 ] [ 0.00 , 0.345E-16 ], [ 0.464E-01, 0.465E-01 ] INEQ_CERT_FEASIBLE: T T T T T F F F F T T T F T T T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 11 ------------------------------------------------- Box no.: 62 Box coordinates: [ 0.124 , 0.126 ], [ 0.374 , 0.376 ] [ 0.374 , 0.376 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.1 , -10.1 ] Box contains the following approximate root: 0.125 , 0.375 , 0.375 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -10.1 , -10.1 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.509E-01, 0.519E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.239E-01, 0.244E-01 ] [ 0.795E-02, 0.109E-01 ], [ 0.796E-02, 0.812E-02 ] [ 0.271E-01, 0.276E-01 ], [ 0.390E-01, 0.448E-01 ] [ 0.430E-01, 0.438E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.201 , 0.205 ] [ 0.00 , 1.00 ], [ 0.00 , 0.473E-01 ] [ 0.780E-01, 0.795E-01 ], [ 0.00 , 1.00 ] [ 0.130 , 0.140 ], [ 0.00 , 0.716E-01 ] [ 0.909E-01, 0.957E-01 ], [ 0.00 , 1.00 ] [ 0.137 , 0.140 ], [ 0.00 , 1.00 ] [ 0.939E-01, 0.958E-01 ], [ 0.00 , 0.885 ] [ 0.00 , 0.688 ], [ 0.00 , 0.688 ] [ 0.00 , 0.623E-18 ], [ 0.509E-01, 0.519E-01 ] INEQ_CERT_FEASIBLE: T T T F F F F F F T T T T T T F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 13 ------------------------------------------------- Box no.: 63 Box coordinates: [ 0.499 , 0.501 ], [ 0.374 , 0.376 ] [ 0.998 , 1.00 ], [ 0.299 , 0.301 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.60 , 1.60 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.2 , -10.1 ] Box contains the following approximate root: 1.00 , 0.375 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.8 , -13.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.461E-01, 0.468E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.442E-01 ] [ 0.722E-02, 0.824E-02 ], [ 0.00 , 0.471 ] [ 0.461E-01, 0.468E-01 ], [ 0.367E-01, 0.412E-01 ] [ 0.461E-01, 0.468E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.231 , 0.234 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.922E-01, 0.937E-01 ], [ 0.00 , 1.00 ] [ 0.120 , 0.129 ], [ 0.00 , 0.245E-16 ] [ 0.835E-01, 0.874E-01 ], [ 0.00 , 1.00 ] [ 0.138 , 0.141 ], [ 0.00 , 0.338E-16 ] [ 0.922E-01, 0.937E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.625 ], [ 0.00 , 0.500 ] [ 0.00 , 0.256E-16 ], [ 0.461E-01, 0.468E-01 ] INEQ_CERT_FEASIBLE: T T T T F T F F F T T T T T F T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 11 ------------------------------------------------- Box no.: 64 Box coordinates: [ 0.499 , 0.501 ], [ 0.998 , 1.00 ] [ 0.499 , 0.501 ], [ 0.299 , 0.301 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.60 , 1.60 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.1 , -9.99 ] Box contains the following approximate root: 1.00 , 1.00 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.8 , -13.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.455E-01, 0.455E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.426 ], [ 0.00 , 0.350E-01 ] [ 0.00 , 0.721 ], [ 0.00 , 0.721 ] [ 0.455E-01, 0.455E-01 ], [ 0.455E-01, 0.455E-01 ] [ 0.455E-01, 0.455E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.227 , 0.227 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.909E-01, 0.909E-01 ], [ 0.00 , 1.00 ] [ 0.136 , 0.136 ], [ 0.00 , 0.861 ] [ 0.909E-01, 0.909E-01 ], [ 0.00 , 1.00 ] [ 0.136 , 0.136 ], [ 0.00 , 1.00 ] [ 0.909E-01, 0.909E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.932E-17 ], [ 0.455E-01, 0.455E-01 ] INEQ_CERT_FEASIBLE: T T T T T T F F F T T T F T T T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 10 ------------------------------------------------- Box no.: 65 Box coordinates: [ 0.998 , 1.00 ], [ 0.499 , 0.501 ] [ 0.499 , 0.501 ], [ 0.299 , 0.301 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.60 , 1.60 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.1 , -9.99 ] Box contains the following approximate root: 1.00 , 0.375 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.7 , -12.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.455E-01, 0.455E-01 ] Fritz John multipliers U: [ 0.00 , 0.500 ], [ 0.00 , 0.500 ] [ 0.00 , 0.500 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.00 , 0.900 ] [ 0.455E-01, 0.455E-01 ], [ 0.455E-01, 0.455E-01 ] [ 0.455E-01, 0.455E-01 ], [ 0.00 , 1.00 ] [ 0.227 , 0.227 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.351 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.909E-01, 0.909E-01 ], [ 0.00 , 1.00 ] [ 0.136 , 0.136 ], [ 0.00 , 1.00 ] [ 0.909E-01, 0.909E-01 ], [ 0.00 , 1.00 ] [ 0.136 , 0.136 ], [ 0.00 , 1.00 ] [ 0.909E-01, 0.909E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.106E-16 ], [ 0.455E-01, 0.455E-01 ] INEQ_CERT_FEASIBLE: T T T T T T F F F T F T T T T T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 10 ------------------------------------------------- Box no.: 66 Box coordinates: [ 0.499 , 0.501 ], [ 0.499 , 0.501 ] [ 0.998 , 1.00 ], [ 0.299 , 0.301 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.60 , 1.60 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.1 , -9.99 ] Box contains the following approximate root: 1.00 , 0.375 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -13.8 , -13.8 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.454E-01, 0.477E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.442E-01 ] [ 0.00 , 0.132E-01 ], [ 0.00 , 0.471 ] [ 0.454E-01, 0.477E-01 ], [ 0.311E-01, 0.458E-01 ] [ 0.454E-01, 0.477E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.227 , 0.239 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.908E-01, 0.955E-01 ], [ 0.00 , 1.00 ] [ 0.110 , 0.137 ], [ 0.00 , 0.245E-16 ] [ 0.788E-01, 0.912E-01 ], [ 0.00 , 1.00 ] [ 0.136 , 0.143 ], [ 0.00 , 0.338E-16 ] [ 0.908E-01, 0.955E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.625 ], [ 0.00 , 0.500 ] [ 0.00 , 0.256E-16 ], [ 0.454E-01, 0.477E-01 ] INEQ_CERT_FEASIBLE: T T T T T T F F F T T T T T F T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 10 ------------------------------------------------- Box no.: 67 Box coordinates: [ 0.124 , 0.126 ], [ 0.374 , 0.376 ] [ 0.499 , 0.501 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.1 , -9.98 ] Box contains the following approximate root: 0.125 , 0.375 , 1.00 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -11.3 , -11.3 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.496E-01, 0.505E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.233E-01, 0.237E-01 ] [ 0.776E-02, 0.894E-02 ], [ 0.00 , 0.471 ] [ 0.264E-01, 0.268E-01 ], [ 0.395E-01, 0.444E-01 ] [ 0.496E-01, 0.505E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.375 ], [ 0.195 , 0.199 ] [ 0.00 , 1.00 ], [ 0.00 , 0.851 ] [ 0.760E-01, 0.773E-01 ], [ 0.00 , 1.00 ] [ 0.129 , 0.138 ], [ 0.00 , 0.667 ] [ 0.900E-01, 0.940E-01 ], [ 0.00 , 1.00 ] [ 0.149 , 0.151 ], [ 0.00 , 0.629E-16 ] [ 0.993E-01, 0.101 ], [ 0.00 , 0.734 ] [ 0.00 , 0.625 ], [ 0.00 , 0.500 ] [ 0.00 , 0.416E-16 ], [ 0.496E-01, 0.505E-01 ] INEQ_CERT_FEASIBLE: T T T F F T F F F T T T T T T F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 68 Box coordinates: [ 0.124 , 0.126 ], [ 0.499 , 0.501 ] [ 0.374 , 0.376 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -10.1 , -9.98 ] Box contains the following approximate root: 0.125 , 1.00 , 0.375 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -11.3 , -11.3 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.496E-01, 0.505E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.233E-01, 0.237E-01 ] [ 0.00 , 0.721 ], [ 0.776E-02, 0.894E-02 ] [ 0.264E-01, 0.268E-01 ], [ 0.496E-01, 0.505E-01 ] [ 0.395E-01, 0.444E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.375 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.195 , 0.199 ] [ 0.00 , 1.00 ], [ 0.00 , 0.851 ] [ 0.760E-01, 0.773E-01 ], [ 0.00 , 1.00 ] [ 0.149 , 0.151 ], [ 0.00 , 0.646E-16 ] [ 0.993E-01, 0.101 ], [ 0.00 , 1.00 ] [ 0.129 , 0.138 ], [ 0.00 , 0.667 ] [ 0.900E-01, 0.940E-01 ], [ 0.00 , 0.734 ] [ 0.00 , 0.500 ], [ 0.00 , 0.625 ] [ 0.00 , 0.416E-16 ], [ 0.496E-01, 0.505E-01 ] INEQ_CERT_FEASIBLE: T T T F T F F F F T T T T T T F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 69 Box coordinates: [ 0.124 , 0.126 ], [ 0.499 , 0.501 ] [ 0.499 , 0.501 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -9.99 , -9.90 ] Box contains the following approximate root: 0.125 , 1.00 , 1.00 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.5 , -12.5 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.484E-01, 0.493E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.392 ], [ 0.186E-01, 0.324E-01 ] [ 0.00 , 0.721 ], [ 0.00 , 0.721 ] [ 0.167E-01, 0.360E-01 ], [ 0.483E-01, 0.494E-01 ] [ 0.483E-01, 0.494E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.403 ], [ 0.173 , 0.212 ] [ 0.00 , 1.00 ], [ 0.00 , 0.220E-01 ] [ 0.631E-01, 0.863E-01 ], [ 0.00 , 1.00 ] [ 0.145 , 0.148 ], [ 0.00 , 1.00 ] [ 0.966E-01, 0.988E-01 ], [ 0.00 , 1.00 ] [ 0.145 , 0.148 ], [ 0.00 , 1.00 ] [ 0.966E-01, 0.988E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.437E-16 ], [ 0.483E-01, 0.494E-01 ] INEQ_CERT_FEASIBLE: T T T F T T F F F T T T T T T F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 11 ------------------------------------------------- Box no.: 70 Box coordinates: [ 0.217 , 0.219 ], [ 0.374 , 0.376 ] [ 0.374 , 0.376 ], [ 0.370 , 0.372 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.74 , 1.74 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -9.42 , -9.33 ] Box contains the following approximate root: 0.375 , 0.375 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -11.5 , -11.5 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.632E-01, 0.647E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.223E-01, 0.228E-01 ] [ 0.987E-02, 0.101E-01 ], [ 0.986E-02, 0.148E-01 ] [ 0.409E-01, 0.419E-01 ], [ 0.533E-01, 0.546E-01 ] [ 0.491E-01, 0.559E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.104 , 0.107 ], [ 0.00 , 1.00 ] [ 0.170 , 0.174 ], [ 0.00 , 0.533E-16 ] [ 0.116 , 0.119 ], [ 0.00 , 1.00 ] [ 0.163 , 0.175 ], [ 0.00 , 0.507E-16 ] [ 0.114 , 0.119 ], [ 0.00 , 1.00 ] [ 0.00 , 0.688 ], [ 0.00 , 0.688 ] [ 0.00 , 0.598E-16 ], [ 0.631E-01, 0.647E-01 ] INEQ_CERT_FEASIBLE: T T T F F F F F F T T T T T T T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 71 Box coordinates: [ 0.499 , 0.501 ], [ 0.374 , 0.376 ] [ 0.374 , 0.376 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -9.44 , -9.36 ] Box contains the following approximate root: 1.00 , 0.375 , 0.375 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -10.7 , -10.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.521E-01, 0.531E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.282 ] [ 0.814E-02, 0.116E-01 ], [ 0.814E-02, 0.829E-02 ] [ 0.521E-01, 0.531E-01 ], [ 0.408E-01, 0.462E-01 ] [ 0.440E-01, 0.448E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.156 , 0.159 ] [ 0.00 , 1.00 ], [ 0.00 , 0.143E-15 ] [ 0.104 , 0.106 ], [ 0.00 , 1.00 ] [ 0.135 , 0.145 ], [ 0.00 , 1.00 ] [ 0.939E-01, 0.983E-01 ], [ 0.00 , 1.00 ] [ 0.140 , 0.143 ], [ 0.00 , 1.00 ] [ 0.961E-01, 0.979E-01 ], [ 0.00 , 0.777 ] [ 0.00 , 0.688 ], [ 0.00 , 0.688 ] [ 0.00 , 0.138E-17 ], [ 0.521E-01, 0.531E-01 ] INEQ_CERT_FEASIBLE: T T T T F F F F F T T T T T T F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 12 ------------------------------------------------- Box no.: 72 Box coordinates: [ 0.499 , 0.501 ], [ 0.499 , 0.501 ] [ 0.374 , 0.376 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -9.36 , -9.28 ] Box contains the following approximate root: 1.00 , 0.375 , 0.375 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -10.7 , -10.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.512E-01, 0.514E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.208 ] [ 0.00 , 0.721 ], [ 0.799E-02, 0.899E-02 ] [ 0.512E-01, 0.514E-01 ], [ 0.512E-01, 0.514E-01 ] [ 0.423E-01, 0.433E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.154 , 0.154 ] [ 0.00 , 1.00 ], [ 0.00 , 0.750 ] [ 0.102 , 0.103 ], [ 0.00 , 1.00 ] [ 0.154 , 0.154 ], [ 0.00 , 0.422E-17 ] [ 0.102 , 0.103 ], [ 0.00 , 1.00 ] [ 0.136 , 0.138 ], [ 0.00 , 0.872 ] [ 0.937E-01, 0.945E-01 ], [ 0.00 , 0.575 ] [ 0.00 , 0.500 ], [ 0.00 , 0.625 ] [ 0.00 , 0.997E-17 ], [ 0.512E-01, 0.514E-01 ] INEQ_CERT_FEASIBLE: T T T T T F F F F T T T T T T F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 11 ------------------------------------------------- Box no.: 73 Box coordinates: [ 0.499 , 0.501 ], [ 0.374 , 0.376 ] [ 0.499 , 0.501 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -9.36 , -9.28 ] Box contains the following approximate root: 1.00 , 0.375 , 0.375 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -10.7 , -10.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.512E-01, 0.513E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.799E-02, 0.872E-02 ], [ 0.00 , 0.654 ] [ 0.512E-01, 0.513E-01 ], [ 0.424E-01, 0.434E-01 ] [ 0.512E-01, 0.513E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.419 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.419 ], [ 0.153 , 0.154 ] [ 0.00 , 1.00 ], [ 0.00 , 0.721 ] [ 0.102 , 0.103 ], [ 0.00 , 1.00 ] [ 0.136 , 0.138 ], [ 0.00 , 0.865 ] [ 0.938E-01, 0.946E-01 ], [ 0.00 , 1.00 ] [ 0.153 , 0.154 ], [ 0.00 , 0.366E-16 ] [ 0.102 , 0.103 ], [ 0.00 , 0.586 ] [ 0.00 , 0.688 ], [ 0.00 , 0.500 ] [ 0.00 , 0.207E-16 ], [ 0.512E-01, 0.513E-01 ] INEQ_CERT_FEASIBLE: T T T T F T F F F T T T T T T F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 11 ------------------------------------------------- Box no.: 74 Box coordinates: [ 0.217 , 0.219 ], [ 0.374 , 0.376 ] [ 0.499 , 0.501 ], [ 0.370 , 0.372 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.74 , 1.74 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -9.34 , -9.25 ] Box contains the following approximate root: 0.375 , 0.375 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -11.5 , -11.5 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.613E-01, 0.626E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.216E-01, 0.221E-01 ] [ 0.958E-02, 0.119E-01 ], [ 0.00 , 0.471 ] [ 0.396E-01, 0.405E-01 ], [ 0.487E-01, 0.547E-01 ] [ 0.613E-01, 0.626E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.485 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.101 , 0.103 ], [ 0.00 , 1.00 ] [ 0.160 , 0.171 ], [ 0.00 , 0.245E-16 ] [ 0.111 , 0.116 ], [ 0.00 , 1.00 ] [ 0.184 , 0.188 ], [ 0.00 , 0.338E-16 ] [ 0.123 , 0.125 ], [ 0.00 , 1.00 ] [ 0.00 , 0.625 ], [ 0.00 , 0.500 ] [ 0.00 , 0.256E-16 ], [ 0.613E-01, 0.626E-01 ] INEQ_CERT_FEASIBLE: T T T F F T F F F T T T T T T T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 11 ------------------------------------------------- Box no.: 75 Box coordinates: [ 0.217 , 0.219 ], [ 0.499 , 0.501 ] [ 0.374 , 0.376 ], [ 0.370 , 0.372 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.74 , 1.74 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -9.34 , -9.25 ] Box contains the following approximate root: 0.375 , 0.375 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -11.5 , -11.5 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.613E-01, 0.626E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.216E-01, 0.221E-01 ] [ 0.00 , 0.721 ], [ 0.958E-02, 0.119E-01 ] [ 0.396E-01, 0.405E-01 ], [ 0.613E-01, 0.626E-01 ] [ 0.487E-01, 0.547E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.485 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.101 , 0.103 ], [ 0.00 , 1.00 ] [ 0.184 , 0.188 ], [ 0.00 , 0.351E-16 ] [ 0.123 , 0.125 ], [ 0.00 , 1.00 ] [ 0.160 , 0.171 ], [ 0.00 , 0.241E-16 ] [ 0.111 , 0.116 ], [ 0.00 , 1.00 ] [ 0.00 , 0.500 ], [ 0.00 , 0.625 ] [ 0.00 , 0.256E-16 ], [ 0.613E-01, 0.626E-01 ] INEQ_CERT_FEASIBLE: T T T F T F F F F T T T T T T T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 11 ------------------------------------------------- Box no.: 76 Box coordinates: [ 0.217 , 0.219 ], [ 0.499 , 0.501 ] [ 0.499 , 0.501 ], [ 0.370 , 0.372 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.74 , 1.74 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -9.27 , -9.17 ] Box contains the following approximate root: 0.375 , 0.375 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -11.5 , -11.5 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.601E-01, 0.601E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.426 ], [ 0.212E-01, 0.212E-01 ] [ 0.00 , 0.721 ], [ 0.00 , 0.721 ] [ 0.389E-01, 0.389E-01 ], [ 0.601E-01, 0.601E-01 ] [ 0.601E-01, 0.601E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.320 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.989E-01, 0.989E-01 ], [ 0.00 , 1.00 ] [ 0.180 , 0.180 ], [ 0.00 , 0.861 ] [ 0.120 , 0.120 ], [ 0.00 , 1.00 ] [ 0.180 , 0.180 ], [ 0.00 , 1.00 ] [ 0.120 , 0.120 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.167E-16 ], [ 0.601E-01, 0.601E-01 ] INEQ_CERT_FEASIBLE: T T T F T T F F F T T T T T T T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 10 ------------------------------------------------- Box no.: 77 Box coordinates: [ 0.499 , 0.501 ], [ 0.499 , 0.501 ] [ 0.499 , 0.501 ], [ 0.00 , 0.150E-02 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 1.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -9.29 , -9.20 ] Box contains the following approximate root: 1.00 , 0.375 , 0.375 , -0.100E-07, 1.00 , 1.00 1.00 , 1.00 , 1.00 , 1.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -10.7 , -10.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.249E-01, 0.561E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.500 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.00 , 0.900 ] [ 0.220E-01, 0.563E-01 ], [ 0.220E-01, 0.563E-01 ] [ 0.220E-01, 0.563E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.323 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.323 ], [ 0.434E-01, 0.230 ] [ 0.00 , 1.00 ], [ 0.00 , 0.666 ] [ 0.440E-01, 0.113 ], [ 0.00 , 1.00 ] [ 0.661E-01, 0.169 ], [ 0.00 , 1.00 ] [ 0.440E-01, 0.113 ], [ 0.00 , 1.00 ] [ 0.661E-01, 0.169 ], [ 0.00 , 1.00 ] [ 0.440E-01, 0.113 ], [ 0.00 , 0.700 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.396E-17 ], [ 0.220E-01, 0.563E-01 ] INEQ_CERT_FEASIBLE: T T T T T T F F F T T T T T T F T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 10 ------------------------------------------------- Box no.: 78 Box coordinates: [ 0.499 , 0.501 ], [ 0.374 , 0.376 ] [ 0.374 , 0.376 ], [ 0.299 , 0.301 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.60 , 1.60 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -9.00 , -8.90 ] Box contains the following approximate root: 1.00 , 0.375 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.7 , -12.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.617E-01, 0.629E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.965E-02, 0.103E-01 ], [ 0.963E-02, 0.983E-02 ] [ 0.616E-01, 0.629E-01 ], [ 0.496E-01, 0.553E-01 ] [ 0.520E-01, 0.531E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.471 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.324 ] [ 0.00 , 1.00 ], [ 0.00 , 0.330E-29 ] [ 0.123 , 0.126 ], [ 0.00 , 1.00 ] [ 0.162 , 0.172 ], [ 0.00 , 1.00 ] [ 0.112 , 0.117 ], [ 0.00 , 1.00 ] [ 0.166 , 0.169 ], [ 0.00 , 1.00 ] [ 0.114 , 0.116 ], [ 0.00 , 0.651 ] [ 0.00 , 0.688 ], [ 0.00 , 0.688 ] [ 0.00 , 0.163E-16 ], [ 0.616E-01, 0.629E-01 ] INEQ_CERT_FEASIBLE: T T T T F F F F F T T T T T T T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 11 ------------------------------------------------- Box no.: 79 Box coordinates: [ 0.499 , 0.501 ], [ 0.499 , 0.501 ] [ 0.374 , 0.376 ], [ 0.299 , 0.301 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.60 , 1.60 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -8.92 , -8.82 ] Box contains the following approximate root: 1.00 , 0.375 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.7 , -12.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.604E-01, 0.606E-01 ] Fritz John multipliers U: [ 0.00 , 0.473 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.00 , 0.900 ], [ 0.943E-02, 0.989E-02 ] [ 0.604E-01, 0.606E-01 ], [ 0.604E-01, 0.606E-01 ] [ 0.503E-01, 0.514E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.407 ], [ 0.00 , 1.00 ] [ 0.00 , 0.407 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.121 , 0.121 ], [ 0.00 , 1.00 ] [ 0.181 , 0.182 ], [ 0.00 , 0.115E-29 ] [ 0.121 , 0.121 ], [ 0.00 , 1.00 ] [ 0.161 , 0.163 ], [ 0.00 , 1.00 ] [ 0.111 , 0.112 ], [ 0.00 , 1.00 ] [ 0.00 , 0.500 ], [ 0.00 , 0.688 ] [ 0.00 , 0.345E-16 ], [ 0.604E-01, 0.606E-01 ] INEQ_CERT_FEASIBLE: T T T T T F F F F T T T T T T T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 10 ------------------------------------------------- Box no.: 80 Box coordinates: [ 0.499 , 0.501 ], [ 0.374 , 0.376 ] [ 0.499 , 0.501 ], [ 0.299 , 0.301 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.60 , 1.60 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -8.92 , -8.82 ] Box contains the following approximate root: 1.00 , 0.375 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.7 , -12.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.602E-01, 0.616E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 0.473 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 0.939E-02, 0.123E-01 ], [ 0.00 , 0.654 ] [ 0.601E-01, 0.616E-01 ], [ 0.459E-01, 0.526E-01 ] [ 0.601E-01, 0.616E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.401 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.401 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.120 , 0.123 ], [ 0.00 , 1.00 ] [ 0.153 , 0.165 ], [ 0.00 , 1.00 ] [ 0.108 , 0.113 ], [ 0.00 , 1.00 ] [ 0.180 , 0.185 ], [ 0.00 , 0.859E-16 ] [ 0.120 , 0.123 ], [ 0.00 , 1.00 ] [ 0.00 , 0.688 ], [ 0.00 , 0.500 ] [ 0.00 , 0.562E-29 ], [ 0.601E-01, 0.616E-01 ] INEQ_CERT_FEASIBLE: T T T T F T F F F T T T T T T T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 10 ------------------------------------------------- Box no.: 81 Box coordinates: [ 0.499 , 0.501 ], [ 0.499 , 0.501 ] [ 0.499 , 0.501 ], [ 0.299 , 0.301 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 1.60 , 1.60 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] PHI: [ -8.85 , -8.75 ] Box contains the following approximate root: 1.00 , 0.375 , 0.375 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -12.7 , -12.7 ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.460E-01, 0.588E-01 ] Fritz John multipliers U: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.426 ], [ 0.00 , 0.366E-01 ] [ 0.00 , 0.721 ], [ 0.00 , 0.721 ] [ 0.460E-01, 0.588E-01 ], [ 0.471E-01, 0.599E-01 ] [ 0.471E-01, 0.599E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.320 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.105 , 0.118 ], [ 0.00 , 1.00 ] [ 0.167 , 0.180 ], [ 0.00 , 0.861 ] [ 0.107 , 0.120 ], [ 0.00 , 1.00 ] [ 0.167 , 0.180 ], [ 0.00 , 1.00 ] [ 0.107 , 0.120 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.500 ] [ 0.00 , 0.167E-16 ], [ 0.460E-01, 0.588E-01 ] INEQ_CERT_FEASIBLE: T T T T T T F F F T T T T T T T T T F T F T F T F T F T T T T F NIN_POSS_BINDING: 9 ------------------------------------------------- THERE WERE NO BOXES CORRESPONDING TO VERIFIED FEASIBLE POINTS. ALGORITHM COMPLETED WITH LESS THAN THE MAXIMUM NUMBER, 500000 OF BOXES. Number of bisections: 26150 No. dense interval residual evaluations -- gradient code list: 1920978 Number of orig. system inverse midpoint preconditioner rows: 5410755 Number of orig. system C-LP preconditioner rows: 310409 Number of solutions for a component in the expanded system: 1100860 Total number of forward_substitutions: 9763747 Number of Gauss--Seidel steps on the dense system: 6036598 Number point dense residual evaluations, gradient codelist: 1734 Number of gradient evaluations from a gradient code list: 209792 Total number of dense slope matrix evaluations: 16502478 Total number second-order interval evaluations of the original function: 143850 Total number dense interval constraint evaluations: 177328160 Total number dense interval constraint gradient component evaluations: 1659620768 Total number dense point constraint gradient component evaluations: 7436416 Total number dense interval reduced gradient evaluations: 5042650 Total number of calls to FRITZ_JOHN_RESIDUALS: 1262969 Number of times a box was rejected because the gradient or reduced gradient did not contain zero: 4533 Average number of overall loop iterations in each call to the reduced interval Newton method): 24.1 Number of times a box was rejected in the interval Newton method due to an empty intersection: 21698 Number of times the interval Newton method made a coordinate interval smaller: 2830955 Number of times a pivoting preconditioner made a coordinate interval smaller or rejected a coordinate: 1647267 Number of times a pivoting preconditioner was successful after the first sweep: 1646963 Number of times a midpoint matrix was factored: 200825 Total number of times the reduced interval Newton method was tried: 52486 Number of times an inverse midpoint preconditioner led to improvement or rejection: 1056172 Number of times a C LP preconditioner led to improvement or rejection: 149214 Number of times computing a C_LP failed 4 Number of times a C LP preconditioner was not computed because the heuristic determined it was not worth it: 6 Number of possible splits as detected by the pivoting preconditioner: 1258356 Total time spent in the LP filter (creating and solving the LP): 164. Total time spent in subsit (constraint propagation): 1.64 Total time spent in reduced_interval_Newton (iteration to reduce the box): 0.216E+04 Total time spent actually solving the linear relaxations: 142. Total time spent doing linear algebra (preconditioners and solution processes): 0.138E+04 Total time spent running the approximate optimizer: 1.04 LIST_BOOKKEEPING_TIME: 29.4 FUNCTION_EVALUATION_TIME (in forward_substitution): 80.1 Time spent setting up pivoting preconditioners: 317. Time spent computing pivoting preconditioners: 106. Time spent computing LP preconditioners: 47.8 Time spent computing inverse midpoint preconditioners: 31.8 Number of times MAXIT was exceeded in C_LP_DENSE: 168 Number of unbounded problems found in C_LP_DENSE: 4 Number of times the approximate solver was called: 82 Number Fritz-John matrix evaluations: 1258356 Number of times SUBSIT decreased one or more coordinate widths: 5978 Number times a box was rejected due infeasible inequality constraints: 107 Total number of boxes processed in loop: 52487 BEST_ESTIMATE: 20.0 Overall CPU time: 0.243E+04 CPU time in PEEL_BOUNDARY: 0.00 CPU time in REDUCED_INTERVAL_NEWTON: 0.216E+04 =================================================== =================================================== Number of boxes in the list with proven feasible points: 0 Number of boxes in the list of other small boxes: 81 Number of unfathomed boxes: 0 Interval hull of the small unverified boxes: [ 0.124 , 1.00 ], [ 0.374 , 1.00 ] [ 0.374 , 1.00 ], [ 0.00 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.998 , 1.00 ] [ 0.998 , 1.00 ], [ 0.999 , 3.00 ] [ 3.00 , 3.00 ], [ 3.00 , 3.00 ] [ 0.998 , 1.00 ] Rigorously verified bounds on the optimum, provided an optimum exists: [ -15.0 , -8.75 ]