Output from FIND_GLOBAL_MIN on 05/04/2012 at 15:42:55. Version for the system is: March 13, 2009 Codelist file name is: qp5G.CDL Box data file name is: qp5.DT1 Initial box: [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] 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 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 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 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 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 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 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 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 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. THERE WERE NO BOXES IN THE LIST OF SMALL BOXES. THERE WERE NO BOXES CORRESPONDING TO VERIFIED FEASIBLE POINTS. ALGORITHM COULD NOT COMPLETE IN 0.7200D+04 SECONDS OF CPU TIME. Number of boxes that have not yet been processed: 128 Number of bisections: 127 No. dense interval residual evaluations -- gradient code list: 1723 Number of orig. system inverse midpoint preconditioner rows: 48360 Number of orig. system C-LP preconditioner rows: 27788 Number of solutions for a component in the expanded system: 121524 Total number of forward_substitutions: 57936 Number of Gauss--Seidel steps on the dense system: 88743 Number point dense residual evaluations, gradient codelist: 26 Number of gradient evaluations from a gradient code list: 635 Total number of dense slope matrix evaluations: 21314 Total number second-order interval evaluations of the original function: 254 Total number dense interval constraint evaluations: 310814 Total number dense interval constraint gradient component evaluations: 18314640 Total number dense point constraint gradient component evaluations: 3377700 Total number dense interval reduced gradient evaluations: 780 Total number of calls to FRITZ_JOHN_RESIDUALS: 195 Average number of overall loop iterations in each call to the reduced interval Newton method): 1.54 Number of times the interval Newton method made a coordinate interval smaller: 114 Number of times a midpoint matrix was factored: 195 Total number of times the reduced interval Newton method was tried: 127 Number of times an inverse midpoint preconditioner led to improvement or rejection: 50 Number of times a C LP preconditioner led to improvement or rejection: 64 Number of times computing a C_LP failed 41 Number of possible splits as detected by the pivoting preconditioner: 195 Total time spent in the LP filter (creating and solving the LP): 64.3 Total time spent in subsit (constraint propagation): 0.920E-01 Total time spent in reduced_interval_Newton (iteration to reduce the box): 0.717E+04 Total time spent actually solving the linear relaxations: 63.0 Total time spent doing linear algebra (preconditioners and solution processes): 0.683E+04 Total time spent running the approximate optimizer: 0.528 LIST_BOOKKEEPING_TIME: 0.800E-01 FUNCTION_EVALUATION_TIME (in forward_substitution): 10.7 Time spent setting up pivoting preconditioners: 2.73 Time spent computing pivoting preconditioners: 0.500 Time spent computing LP preconditioners: 0.614E+04 Time spent computing inverse midpoint preconditioners: 10.9 Number of times MAXIT was exceeded in C_LP_DENSE: 27747 Number of unbounded problems found in C_LP_DENSE: 41 Number of times the approximate solver was called: 1 Number Fritz-John matrix evaluations: 195 Number of times SUBSIT decreased one or more coordinate widths: 127 Number times a box was rejected due infeasible inequality constraints: 1 Total number of boxes processed in loop: 127 BEST_ESTIMATE: 0.580E+06 Overall CPU time: 0.725E+04 CPU time in PEEL_BOUNDARY: 0.400E-02 CPU time in REDUCED_INTERVAL_NEWTON: 0.717E+04 =================================================== =================================================== Number of boxes in the list with proven feasible points: 0 Number of boxes in the list of other small boxes: 0 Number of unfathomed boxes: 128 Interval hull of the unfathomed boxes: [ 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 , 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 , 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 , 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 , 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 , 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 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] Rigorously verified bounds on the optimum, provided an optimum exists: [ 0.00 , 0.580E+06 ] FIRST UNFINISHED BOX: Box coordinates: [ 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 , 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 , 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 , 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 , 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 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 353. ], [ 0.00 , 639. ] [ 0.00 , 635. ], [ 0.00 , 640. ] [ 0.00 , 347. ], [ 0.00 , 635. ] [ 0.00 , 630. ], [ 0.00 , 637. ] [ 0.00 , 635. ], [ 0.00 , 634. ] [ 0.00 , 637. ], [ 0.00 , 342. ] [ 0.00 , 635. ], [ 0.00 , 335. ] [ 0.00 , 370. ], [ 0.00 , 341. ] [ 0.00 , 639. ], [ 0.00 , 632. ] [ 0.00 , 633. ], [ 0.00 , 634. ] [ 0.00 , 631. ], [ 0.00 , 637. ] [ 0.00 , 641. ], [ 0.00 , 342. ] [ 0.00 , 631. ], [ 0.00 , 352. ] [ 0.00 , 637. ], [ 0.00 , 337. ] [ 0.00 , 344. ], [ 0.00 , 327. ] [ 0.00 , 648. ], [ 0.00 , 650. ] [ 0.00 , 642. ], [ 0.00 , 329. ] [ 0.00 , 648. ], [ 0.00 , 646. ] [ 0.00 , 648. ], [ 0.00 , 645. ] [ 0.00 , 327. ], [ 0.00 , 647. ] [ 0.00 , 333. ], [ 0.00 , 648. ] [ 0.00 , 330. ], [ 0.00 , 328. ] [ 0.00 , 327. ], [ 0.00 , 646. ] [ 0.00 , 636. ], [ 0.00 , 642. ] [ 0.00 , 644. ], [ 0.00 , 641. ] [ 0.00 , 642. ], [ 0.00 , 648. ] [ 0.00 , 331. ], [ 0.00 , 642. ] [ 0.00 , 336. ], [ 0.00 , 645. ] [ 0.00 , 334. ], [ 0.00 , 330. ] PHI: [ 0.00 , 0.308E+05 ] Box does not contain an approximate root. Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.00 , 0.555 ] Fritz John multipliers U: [ 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 , 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 , 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 , 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 , 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 , 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 , 1.00 ], [ 0.00 , 0.946 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 0.882 ], [ 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.855 ] [ 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.952 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.900 ] [ 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 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.917 ] [ 0.00 , 0.948 ], [ 0.00 , 0.915 ] [ 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.894 ] [ 0.00 , 1.00 ], [ 0.00 , 0.855 ] [ 0.00 , 1.00 ], [ 0.00 , 0.943 ] [ 0.00 , 1.00 ] Fritz John multipliers V: [ -1.00 , 1.00 ], [ -0.509 , 0.509 ] [ -0.506 , 0.506 ], [ -0.507 , 0.507 ] [ -0.512 , 0.513 ], [ -0.506 , 0.506 ] [ -0.508 , 0.508 ], [ -0.504 , 0.504 ] [ -0.517 , 0.518 ], [ -0.507 , 0.507 ] [ -0.506 , 0.506 ], [ -0.506 , 0.506 ] [ -0.520 , 0.520 ], [ -0.511 , 0.511 ] [ -0.514 , 0.514 ], [ -0.529 , 0.531 ] [ -0.505 , 0.505 ], [ -0.511 , 0.512 ] [ -0.503 , 0.503 ], [ -0.506 , 0.507 ] [ -0.504 , 0.504 ], [ -0.509 , 0.509 ] [ -0.506 , 0.506 ], [ -0.514 , 0.515 ] [ -0.517 , 0.517 ], [ -0.504 , 0.504 ] [ -0.526 , 0.524 ], [ -0.506 , 0.506 ] [ -0.519 , 0.518 ], [ -0.513 , 0.513 ] INEQ_CERT_FEASIBLE: 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 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 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 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 F F F F F NIN_POSS_BINDING: 109 LAST UNFINISHED BOX: Box coordinates: [ 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 , 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 , 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 , 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 , 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 , 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.502E+04 ] [ 0.00 , 0.501E+04 ], [ 0.00 , 0.502E+04 ] [ 0.00 , 0.502E+04 ], [ 0.00 , 0.501E+04 ] [ 0.00 , 0.500E+04 ], [ 0.00 , 0.502E+04 ] [ 0.00 , 0.501E+04 ], [ 0.00 , 0.501E+04 ] [ 0.00 , 0.501E+04 ], [ 0.00 , 0.501E+04 ] [ 0.00 , 0.501E+04 ], [ 0.00 , 0.500E+04 ] [ 0.00 , 0.504E+04 ], [ 0.00 , 0.501E+04 ] [ 0.00 , 0.502E+04 ], [ 0.00 , 0.501E+04 ] [ 0.00 , 0.501E+04 ], [ 0.00 , 0.501E+04 ] [ 0.00 , 0.501E+04 ], [ 0.00 , 0.502E+04 ] [ 0.00 , 0.502E+04 ], [ 0.00 , 0.501E+04 ] [ 0.00 , 0.501E+04 ], [ 0.00 , 0.502E+04 ] [ 0.00 , 0.502E+04 ], [ 0.00 , 0.500E+04 ] [ 0.00 , 0.501E+04 ], [ 0.500E+04, 0.100E+05 ] [ 0.00 , 0.500E+04 ], [ 0.00 , 0.500E+04 ] [ 0.00 , 0.500E+04 ], [ 0.00 , 0.500E+04 ] [ 0.00 , 0.500E+04 ], [ 0.00 , 0.500E+04 ] [ 0.00 , 0.500E+04 ], [ 0.00 , 0.500E+04 ] [ 0.00 , 0.500E+04 ], [ 0.00 , 0.500E+04 ] [ 0.00 , 0.500E+04 ], [ 0.00 , 0.500E+04 ] [ 0.00 , 0.500E+04 ], [ 0.00 , 0.500E+04 ] [ 0.00 , 0.500E+04 ], [ 0.00 , 0.500E+04 ] [ 0.00 , 0.500E+04 ], [ 0.00 , 0.500E+04 ] [ 0.00 , 0.500E+04 ], [ 0.00 , 0.500E+04 ] [ 0.00 , 0.500E+04 ], [ 0.00 , 0.500E+04 ] [ 0.00 , 0.500E+04 ], [ 0.00 , 0.500E+04 ] [ 0.00 , 0.500E+04 ], [ 0.00 , 0.500E+04 ] [ 0.00 , 0.500E+04 ], [ 0.00 , 0.500E+04 ] PHI: [ 0.500E+04, 0.300E+06 ] Box does not contain an approximate root. Unknown = T Contains_root = F Fritz John multiplier U0: [ 0.00 , 0.784 ] Fritz John multipliers U: [ 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 1.00 ] Fritz John multipliers V: [ -1.00 , 1.00 ], [ -0.509 , 0.509 ] [ -0.506 , 0.506 ], [ -0.507 , 0.507 ] [ -0.512 , 0.513 ], [ -0.506 , 0.506 ] [ -0.508 , 0.508 ], [ -0.504 , 0.504 ] [ -0.517 , 0.518 ], [ -0.507 , 0.507 ] [ -0.506 , 0.506 ], [ -0.506 , 0.506 ] [ -0.520 , 0.520 ], [ -0.511 , 0.511 ] [ -0.514 , 0.514 ], [ -0.529 , 0.531 ] [ -0.505 , 0.505 ], [ -0.511 , 0.512 ] [ -0.503 , 0.503 ], [ -0.506 , 0.507 ] [ -0.504 , 0.504 ], [ -0.509 , 0.509 ] [ -0.506 , 0.506 ], [ -0.514 , 0.515 ] [ -0.517 , 0.517 ], [ -0.504 , 0.504 ] [ -0.526 , 0.524 ], [ -0.506 , 0.506 ] [ -0.519 , 0.518 ], [ -0.513 , 0.513 ] INEQ_CERT_FEASIBLE: 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 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 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 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 F F F F F NIN_POSS_BINDING: 109 Total volume of the boxes that have not yet been processed: 6.67187866305380082E+231