Output from FIND_GLOBAL_MIN on 05/05/2012 at 02:01:27. Version for the system is: March 13, 2009 Codelist file name is: ex5_2_2_case1_sourceG.CDL Box data file name is: ex5_2_2_case1_source.DT1 Initial box: [ 0.00 , 100. ], [ 0.00 , 200. ] [ 0.00 , 500. ], [ 0.00 , 500. ] [ 0.00 , 500. ], [ 0.00 , 500. ] [ 0.00 , 500. ], [ 0.00 , 500. ] [ 0.00 , 500. ] BOUND_CONSTRAINT: 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.00 , 0.150E-02 ], [ 200. , 200. ] [ 0.00 , 0.150E-02 ], [ 99.9 , 100. ] [ 0.00 , 0.150E-02 ], [ 99.9 , 100. ] [ 0.999 , 1.00 ], [ 0.00 , 0.150E-02 ] [ 99.9 , 100. ] PHI: [ -403. , -393. ] Box contains the following approximate root: 0.457E-11, 200. , -0.100E-07, 100. , 0.100E-07, 100. 1.00 , -0.100E-07, 100. OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -400. , -400. ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.226E-01, 0.232E-01 ] Fritz John multipliers U: [ 0.00 , 0.474E-01 ], [ 0.135 , 0.139 ] [ 0.00 , 0.241E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.500 ], [ 0.451E-01, 0.463E-01 ] [ 0.451E-01, 0.463E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.240E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.869E-01, 0.163 ], [ 0.00 , 1.00 ] [ 0.00 , 0.896 ], [ 0.00 , 1.00 ] Fritz John multipliers V: [ 0.496 , 0.510 ], [ 0.203 , 0.322 ] [ 0.496 , 0.510 ], [ -0.139 , -0.135 ] INEQ_CERT_FEASIBLE: F F F T T F F T T T F T T T T T F T T T NIN_POSS_BINDING: 7 ------------------------------------------------- Box no.: 2 Box coordinates: [ 12.5 , 12.5 ], [ 93.7 , 93.8 ] [ 0.00 , 0.150E-02 ], [ 46.8 , 46.9 ] [ 12.5 , 12.5 ], [ 46.8 , 46.9 ] [ 0.999 , 1.00 ], [ 0.00 , 0.150E-02 ] [ 46.8 , 46.9 ] PHI: [ -178. , -172. ] Box contains the following approximate root: 0.457E-11, 200. , -0.100E-07, 100. , 0.100E-07, 100. 1.00 , -0.100E-07, 100. OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -400. , -400. ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.00 , 0.187E-01 ] Fritz John multipliers U: [ 0.00 , 0.667E-01 ], [ 0.00 , 0.191 ] [ 0.00 , 0.333E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.250 ], [ 0.00 , 1.00 ] [ 0.127 , 0.634 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.317E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.354 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.253 ], [ 0.00 , 1.00 ] [ 0.00 , 0.616 ], [ 0.00 , 1.00 ] Fritz John multipliers V: [ 0.281 , 0.559 ], [ -0.887E-14, 0.389 ] [ -0.188E-13, 0.575 ], [ -0.423 , -0.128 ] INEQ_CERT_FEASIBLE: F F T T T T F T T T F T T T T T F T T T NIN_POSS_BINDING: 5 ------------------------------------------------- Box no.: 3 Box coordinates: [ 6.24 , 6.25 ], [ 46.8 , 46.9 ] [ 0.00 , 0.150E-02 ], [ 23.4 , 23.5 ] [ 6.24 , 6.25 ], [ 23.4 , 23.5 ] [ 0.999 , 1.00 ], [ 0.00 , 0.150E-02 ] [ 23.4 , 23.5 ] PHI: [ -88.9 , -86.1 ] Box contains the following approximate root: 0.457E-11, 200. , -0.100E-07, 100. , 0.100E-07, 100. 1.00 , -0.100E-07, 100. OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -400. , -400. ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.00 , 0.203E-01 ] Fritz John multipliers U: [ 0.00 , 0.667E-01 ], [ 0.00 , 0.201 ] [ 0.00 , 0.333E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.250 ], [ 0.00 , 1.00 ] [ 0.795E-01, 0.628 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.333E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.344 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.266 ], [ 0.00 , 1.00 ] [ 0.00 , 0.683 ], [ 0.00 , 1.00 ] Fritz John multipliers V: [ 0.270 , 0.570 ], [ -0.909E-14, 0.401 ] [ -0.188E-13, 0.596 ], [ -0.437 , -0.105 ] INEQ_CERT_FEASIBLE: F F T T T T F T T T F T T T T T F T T T NIN_POSS_BINDING: 5 ------------------------------------------------- Box no.: 4 Box coordinates: [ 3.12 , 3.12 ], [ 23.4 , 23.5 ] [ 0.00 , 0.150E-02 ], [ 11.7 , 11.7 ] [ 3.12 , 3.12 ], [ 11.7 , 11.7 ] [ 0.999 , 1.00 ], [ 0.00 , 0.150E-02 ] [ 11.7 , 11.7 ] PHI: [ -44.5 , -43.0 ] Box contains the following approximate root: 0.457E-11, 200. , -0.100E-07, 100. , 0.100E-07, 100. 1.00 , -0.100E-07, 100. OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -400. , -400. ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.00 , 0.198E-01 ] Fritz John multipliers U: [ 0.00 , 0.667E-01 ], [ 0.00 , 0.196 ] [ 0.00 , 0.333E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.250 ], [ 0.00 , 1.00 ] [ 0.934E-01, 0.634 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.333E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.344 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.256 ], [ 0.00 , 1.00 ] [ 0.00 , 0.683 ], [ 0.00 , 1.00 ] Fritz John multipliers V: [ 0.279 , 0.561 ], [ -0.909E-14, 0.395 ] [ -0.188E-13, 0.579 ], [ -0.423 , -0.124 ] INEQ_CERT_FEASIBLE: F F T T T T F T T T F T T T T T F T T T NIN_POSS_BINDING: 5 ------------------------------------------------- Box no.: 5 Box coordinates: [ 12.5 , 12.5 ], [ 50.0 , 50.1 ] [ 0.00 , 0.150E-02 ], [ 37.5 , 37.5 ] [ 6.24 , 6.26 ], [ 18.7 , 18.8 ] [ 0.999 , 1.00 ], [ 6.24 , 6.26 ] [ 31.2 , 31.3 ] PHI: [ -14.2 , -10.8 ] Box contains the following approximate root: 0.457E-11, 200. , -0.100E-07, 100. , 0.100E-07, 100. 1.00 , -0.100E-07, 100. OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -400. , -400. ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.00 , 0.196E-01 ] Fritz John multipliers U: [ 0.00 , 0.667E-01 ], [ 0.00 , 0.188 ] [ 0.00 , 0.333E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.250 ], [ 0.00 , 1.00 ] [ 0.716E-01, 0.639 ], [ 0.00 , 1.00 ] [ 0.00 , 0.745 ], [ 0.00 , 1.00 ] [ 0.00 , 0.333E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.354 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.282 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] Fritz John multipliers V: [ 0.285 , 0.556 ], [ -0.887E-14, 0.421 ] [ -0.188E-13, 0.580 ], [ -0.352 , -0.102 ] INEQ_CERT_FEASIBLE: F F T T T T F T T T F T T T T T F T T T NIN_POSS_BINDING: 5 ------------------------------------------------- Box no.: 6 Box coordinates: [ 6.24 , 6.26 ], [ 25.0 , 25.0 ] [ 0.00 , 0.150E-02 ], [ 18.7 , 18.8 ] [ 3.12 , 3.13 ], [ 9.37 , 9.38 ] [ 0.999 , 1.00 ], [ 3.12 , 3.13 ] [ 15.6 , 15.6 ] PHI: [ -7.11 , -5.38 ] Box contains the following approximate root: 0.457E-11, 200. , -0.100E-07, 100. , 0.100E-07, 100. 1.00 , -0.100E-07, 100. OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -400. , -400. ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.00 , 0.193E-01 ] Fritz John multipliers U: [ 0.00 , 0.667E-01 ], [ 0.00 , 0.193 ] [ 0.00 , 0.333E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.250 ], [ 0.00 , 1.00 ] [ 0.604E-01, 0.558 ], [ 0.00 , 1.00 ] [ 0.00 , 0.741 ], [ 0.00 , 1.00 ] [ 0.00 , 0.333E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.344 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.282 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] Fritz John multipliers V: [ 0.287 , 0.553 ], [ -0.909E-14, 0.422 ] [ -0.188E-13, 0.569 ], [ -0.351 , -0.109 ] INEQ_CERT_FEASIBLE: F F T T T T F T T T F T T T T T F T T T NIN_POSS_BINDING: 5 ------------------------------------------------- Box no.: 7 Box coordinates: [ 3.12 , 3.13 ], [ 12.5 , 12.5 ] [ 0.00 , 0.150E-02 ], [ 9.37 , 9.38 ] [ 1.56 , 1.56 ], [ 4.68 , 4.69 ] [ 0.999 , 1.00 ], [ 1.56 , 1.56 ] [ 7.80 , 7.82 ] PHI: [ -3.55 , -2.69 ] Box contains the following approximate root: 0.457E-11, 200. , -0.100E-07, 100. , 0.100E-07, 100. 1.00 , -0.100E-07, 100. OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -400. , -400. ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.00 , 0.193E-01 ] Fritz John multipliers U: [ 0.00 , 0.667E-01 ], [ 0.00 , 0.193 ] [ 0.00 , 0.333E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.250 ], [ 0.00 , 1.00 ] [ 0.604E-01, 0.558 ], [ 0.00 , 1.00 ] [ 0.00 , 0.741 ], [ 0.00 , 1.00 ] [ 0.00 , 0.333E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.344 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.282 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] Fritz John multipliers V: [ 0.287 , 0.553 ], [ -0.909E-14, 0.422 ] [ -0.188E-13, 0.569 ], [ -0.351 , -0.109 ] INEQ_CERT_FEASIBLE: F F T T T T F T T T F T T T T T F T T T NIN_POSS_BINDING: 5 ------------------------------------------------- Box no.: 8 Box coordinates: [ 18.7 , 18.8 ], [ 81.2 , 81.3 ] [ 0.00 , 0.150E-02 ], [ 65.6 , 65.7 ] [ 6.24 , 6.26 ], [ 28.1 , 28.2 ] [ 0.999 , 1.00 ], [ 12.5 , 12.5 ] [ 53.1 , 53.2 ] PHI: [ 3.47 , 9.04 ] Box contains the following approximate root: 0.457E-11, 200. , -0.100E-07, 100. , 0.100E-07, 100. 1.00 , -0.100E-07, 100. OBJECTIVE ENCLOSURE AT APPROXIMATE ROOT: [ -400. , -400. ] Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.00 , 0.216E-01 ] Fritz John multipliers U: [ 0.00 , 0.667E-01 ], [ 0.00 , 0.214 ] [ 0.00 , 0.333E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.250 ], [ 0.00 , 1.00 ] [ 0.271E-01, 0.542 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.113E-01 ], [ 0.00 , 1.00 ] [ 0.00 , 0.354 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.538 ], [ 0.00 , 1.00 ] [ 0.00 , 0.703 ], [ 0.00 , 1.00 ] Fritz John multipliers V: [ 0.246 , 0.599 ], [ -0.887E-14, 0.467 ] [ -0.188E-13, 0.644 ], [ -0.401 , -0.815E-01 ] INEQ_CERT_FEASIBLE: F F T T T T F T T T F T T T T T T T T T NIN_POSS_BINDING: 4 ------------------------------------------------- THERE WERE NO BOXES CORRESPONDING TO VERIFIED FEASIBLE POINTS. ALGORITHM COULD NOT COMPLETE WITH LESS THAN 500000 BOXES CONSIDERED. Number of boxes that have not yet been processed: 151936 Number of bisections: 341044 No. dense interval residual evaluations -- gradient code list: 7380644 Number of orig. system inverse midpoint preconditioner rows: 22239545 Number of orig. system C-LP preconditioner rows: 5448739 Number of solutions for a component in the expanded system: 45149728 Total number of forward_substitutions: 32263504 Number of Gauss--Seidel steps on the dense system: 32972899 Number point dense residual evaluations, gradient codelist: 18059 Number of gradient evaluations from a gradient code list: 2119571 Total number of dense slope matrix evaluations: 20578234 Total number second-order interval evaluations of the original function: 872590 Total number dense interval constraint evaluations: 323239816 Total number dense interval constraint gradient component evaluations: 1881990792 Total number dense point constraint gradient component evaluations: 37376280 Total number dense interval reduced gradient evaluations: 8807760 Total number of calls to FRITZ_JOHN_RESIDUALS: 2214364 Number of times a box was rejected because the constraints were not satisfied: 1495 Number of times a box was rejected because the gradient or reduced gradient did not contain zero: 24848 Number of times a box was rejected due to infeasibility in LP_FILTER: 2 Average number of overall loop iterations in each call to the reduced interval Newton method): 4.86 Number of times a box was rejected in the interval Newton method due to an empty intersection: 39578 Number of times the interval Newton method made a coordinate interval smaller: 4149814 Number of times a pivoting preconditioner made a coordinate interval smaller or rejected a coordinate: 990536 Number of times a pivoting preconditioner was successful after the first sweep: 768812 Number of times a midpoint matrix was factored: 1461517 Total number of times the reduced interval Newton method was tried: 468739 Number of times an inverse midpoint preconditioner led to improvement or rejection: 1534817 Number of times a C LP preconditioner led to improvement or rejection: 1664039 Number of times computing a C_LP failed 16686 N_C_LP_INFEASIBLE = 315672 N_REJECT_WITH_LP filter = 2 N_LPF_INF_OR_UNB = 315661 Number of times a C LP preconditioner was not computed because the heuristic determined it was not worth it: 2 Number of possible splits as detected by the pivoting preconditioner: 2189516 Total time spent in the LP filter (creating and solving the LP): 0.135E+04 Total time spent in subsit (constraint propagation): 25.3 Total time spent in reduced_interval_Newton (iteration to reduce the box): 0.354E+04 Total time spent actually solving the linear relaxations: 0.125E+04 Total time spent doing linear algebra (preconditioners and solution processes): 0.251E+04 Total time spent running the approximate optimizer: 4.68 LIST_BOOKKEEPING_TIME: 775. FUNCTION_EVALUATION_TIME (in forward_substitution): 179. Time spent setting up pivoting preconditioners: 228. Time spent computing pivoting preconditioners: 141. Time spent computing LP preconditioners: 502. Time spent computing inverse midpoint preconditioners: 91.1 Number of times MAXIT was exceeded in C_LP_DENSE: 42254 Number of unbounded problems found in C_LP_DENSE: 16686 Number of times the approximate solver was called: 761 Number Fritz-John matrix evaluations: 2189516 Number of times SUBSIT decreased one or more coordinate widths: 166384 Number of times SUBSIT rejected a box: 31251 Number times a box was rejected due infeasible inequality constraints: 62535 Total number of boxes processed in loop: 500000 BEST_ESTIMATE: 0.210E+05 Overall CPU time: 0.595E+04 CPU time in PEEL_BOUNDARY: 0.00 CPU time in REDUCED_INTERVAL_NEWTON: 0.354E+04 =================================================== =================================================== Number of boxes in the list with proven feasible points: 0 Number of boxes in the list of other small boxes: 8 Number of unfathomed boxes: 151936 Interval hull of the small unverified boxes: [ 0.00 , 18.8 ], [ 12.5 , 200. ] [ 0.00 , 0.150E-02 ], [ 9.37 , 100. ] [ 0.00 , 12.5 ], [ 4.68 , 100. ] [ 0.999 , 1.00 ], [ 0.00 , 12.5 ] [ 7.80 , 100. ] Interval hull of the unfathomed boxes: [ 0.00 , 100. ], [ 0.00 , 200. ] [ 0.00 , 88.7 ], [ 0.00 , 300. ] [ 0.00 , 100. ], [ 0.00 , 131. ] [ 0.00 , 500. ], [ 0.00 , 100. ] [ 0.00 , 200. ] Rigorously verified bounds on the optimum, provided an optimum exists: [ -403. , 0.465E+04 ] FIRST UNFINISHED BOX: Box coordinates: [ 100. , 100. ], [ 0.00 , 0.935E-16 ] [ 50.0 , 50.0 ], [ 0.143E-03, 0.161E-03 ] [ 50.0 , 50.0 ], [ 0.00 , 0.935E-16 ] [ 3.00 , 3.00 ], [ 50.0 , 50.0 ] [ 0.00 , 0.570E-16 ] PHI: [ -100. , -100. ] Box does not contain an approximate root. Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.00 , 0.444E-16 ] Fritz John multipliers U: [ 0.00 , 0.888E-16 ], [ 0.275 , 0.281 ] [ 0.00 , 0.333E-01 ], [ 0.00 , 0.335E-01 ] [ 0.00 , 0.142 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.656E-05 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.142 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.276 , 0.422 ], [ 0.00 , 1.00 ] Fritz John multipliers V: [ -0.568E-17, 0.548E-17 ], [ -0.788E-24, 0.365E-17 ] [ 0.410 , 0.562 ], [ -0.892E-16, 0.366E-20 ] INEQ_CERT_FEASIBLE: F F T T F T T T T T T T F T T T T T F T NIN_POSS_BINDING: 5 LAST UNFINISHED BOX: Box coordinates: [ 25.0 , 100. ], [ 50.0 , 87.5 ] [ 39.2 , 72.2 ], [ 150. , 174. ] [ 0.00 , 75.0 ], [ 0.00 , 56.3 ] [ 1.50 , 1.79 ], [ 25.0 , 100. ] [ 50.0 , 125. ] PHI: [ 423. , 0.356E+04 ] Box does not contain an approximate root. Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.00 , 0.333E-01 ] Fritz John multipliers U: [ 0.00 , 0.800 ], [ 0.00 , 0.708 ] [ 0.00 , 0.476E-01 ], [ 0.00 , 0.944 ] [ 0.00 , 0.500 ], [ 0.00 , 1.00 ] [ 0.00 , 0.650 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.567 ], [ 0.00 , 1.00 ] [ 0.00 , 0.354 ], [ 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 ] Fritz John multipliers V: [ -0.216E-01, 0.825 ], [ -0.313 , 1.00 ] [ -0.933E-14, 1.00 ], [ -0.254 , 0.216E-01 ] INEQ_CERT_FEASIBLE: F F T F T T F T T T F T F T T T T T T T NIN_POSS_BINDING: 6 Total volume of the boxes that have not yet been processed: 4145097409554256.0