Output from RUN_SOLUTION_BY_DISCRETIZATION on  05/08/2012  at  12:24:25.
 Version for the system is: March 13, 2009

 Codelist file name is: ex4_1_4G.CDL
 Box data file name is: ex4_1_4.DT1                   


 Initial box:
[   -5.00    ,    5.00     ]


 Printing in overall algorithm:           0
 Printing in LP:           0
 EPS_LP_FIT:  1.00000000000000002E-002

 ALLOW_EPSILON_APPROXIMATE: F
 USES_INTERMEDIATE_VARIABLES: F
 ------------------------------------------------



 Independent minimal complete set indices:
          3

 Subspace variables from the Kearfott / Hongthong 2005 analysis:
          1
 MAX_SUBDIVISIONS:          20
 Total number of sub-problems:          20
 n_intermediate_bounds:           0
 working indices:
          1

 ------------------------------------------------


 ------------------------------------------------
 ------------------------------------------------

 Completion of run_solution_by_discretization.
 Total CPU time:  0.30801899999999999     
 MAX_SUBDIVISIONS:          20
 BEST_ESTIMATE:  2.05342785817480731E-015
 FEASIBILITY_VERIFICATION_SUCCEEDED: T
 N_FEASIBILITY_VERIFICATION_FAILED:           0
 EFFECTIVE_EPSILON:   0.0000000000000000     
 EPSILON_PHI:   1.4907074595884040     
 LP_SOLUTION_FAILED: F
 Solution boxes:
 ------------------------------------------------
 Solution box number:            1
 with overall box index:           10
[  -0.268E-07,    0.00     ]

 LP solution:
   0.00    

 LP solution possibly adjusted with a point optimizer:
 -0.218E-07

 Objective bounds over the solution box:
[  -0.111-306,   0.288E-14 ]
 Inequality constraint bounds over the box:
[   -5.00    ,   -5.00     ], [   -5.00    ,   -5.00     ]

 ------------------------------------------------
 Solution box number:            2
 with overall box index:           11
[    0.00    ,   0.227E-07 ]

 LP solution:
  0.111    

 LP solution possibly adjusted with a point optimizer:
  0.177E-07

 Objective bounds over the solution box:
[  -0.747E-01,   0.205E-14 ]
 Inequality constraint bounds over the box:
[   -5.00    ,   -5.00     ], [   -5.00    ,   -5.00     ]

 ------------------------------------------------
 Solution box number:            3
 with overall box index:           13
[    1.50    ,    1.50     ]

 LP solution:
   1.23    

 LP solution possibly adjusted with a point optimizer:
   1.50    

 Objective bounds over the solution box:
[  -0.112    ,   0.563     ]
 Inequality constraint bounds over the box:
[   -6.50    ,   -6.50     ], [   -3.50    ,   -3.50     ]

 ------------------------------------------------
 Solution box number:            4
 with overall box index:           14
[    1.72    ,    2.00     ]

 LP solution:
   1.74    

 LP solution possibly adjusted with a point optimizer:
   2.00    

 Objective bounds over the solution box:
[   -1.20    ,   0.960E-06 ]
 Inequality constraint bounds over the box:
[   -7.00    ,   -6.71     ], [   -3.29    ,   -3.00     ]

 ------------------------------------------------
 Solution box number:            5
 with overall box index:           15
[    2.00    ,    2.50     ]

 LP solution:
   2.23    

 LP solution possibly adjusted with a point optimizer:
   2.00    

 Objective bounds over the solution box:
[   -1.49    ,   0.960E-06 ]
 Inequality constraint bounds over the box:
[   -7.50    ,   -7.00     ], [   -3.00    ,   -2.50     ]


 ------------------------------------------------

 No. dense interval residual evaluations -- gradient code list:           20
 Number of solutions for a component in the expanded system:        14391
 Total number of forward_substitutions:           42
 Number point dense residual evaluations, gradient codelist:          276
 Total number dense interval constraint evaluations:           90
 Total number dense point constraint gradient component
       evaluations:          548
 Total time spent in subsit
       (constraint propagation):    0.360E-01
 Total time spent searching for "D" in the LP filter:    0.400E-02
 Number of times SUBSIT decreased one or more 
       coordinate widths:           29