***********************************************************************************
* Addibit: Another Double Description Implementation with BInary Trees.           **
* Copyright (C) 2013  Blagoy Genov                                                *
* This program comes with ABSOLUTELY NO WARRANTY!!!                               *
***********************************************************************************

-----------------------------------------------------------------------------------
|                                GENERAL SETTINGS                                 |
-----------------------------------------------------------------------------------
 -> Plot file = gnuplot.dat
-----------------------------------------------------------------------------------
|                            NARROWING DEGENERATE TREE                            |
-----------------------------------------------------------------------------------
 -> Strategy = BINARY_STATIC_VANTAGE_POINT
 -> MaxTreeDepth = 15
 -> LeafCapacity = 20
 -> DataSort = NONE
-----------------------------------------------------------------------------------
|                          NARROWING NONDEGENERATE TREE                           |
-----------------------------------------------------------------------------------
 -> Strategy = BINARY_DYNAMIC_VANTAGE_POINT
 -> MaxTreeDepth = 15
 -> LeafCapacity = 20
 -> DataSort = NONE
 -> UniqueVantagePoint = 0
-----------------------------------------------------------------------------------
|                                VERIFICATION TREE                                |
-----------------------------------------------------------------------------------
 -> Strategy = BINARY_STATIC_VANTAGE_POINT
 -> MaxTreeDepth = 15
 -> LeafCapacity = 20
 -> DataSort = NONE

-----------------------------------------------------------------------------------
|                                  COMPUTATION                                    |
-----------------------------------------------------------------------------------
[1/16] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(0)/1(0)/2.7067/0/0/-/-/4, dt=0ms
[2/16] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 4(0)/1(0)/2.5/0/0/-/-/4, dt=0ms
[3/16] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 4(0.25)/1(0)/2.5/0/0/-/-/4, dt=0ms
[4/16] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(1)/1(0)/2.7067/0/0/-/-/4, dt=0ms
[5/16] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(2.5)/1(1)/3/1/1/1.72137/4.18203/4, dt=0ms
[6/16] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(2.33333)/1(2)/2.7067/2/2/1.67271/3.96741/4, dt=0ms
[7/16] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(2.66667)/1(0)/2.7067/0/0/-/-/4, dt=0ms
[8/16] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 19(6.15789)/14(6.07143)/2.06779/264/264/1.63217/3.78855/42, dt=1ms
[9/16] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 170(5.24706)/113(5.66372)/2.20405/18257/1510/1.10354/1.20115/425, dt=14ms
[10/16] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 497(2.61569)/122(3.13115)/1.9433/7544/416/1.16596/1.12143/432, dt=15ms
[11/16] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 532(2.68233)/105(0.857143)/1.18263/4/4/1.32847/1.21902/432, dt=4ms
[12/16] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1044(5.2749)/872(5.7672)/2.05066/616205/8158/1.04995/1.03427/3760, dt=333ms
[13/16] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 5078(5.05317)/4241(4.64183)/1.86499/9255912/30026/1.03897/1.00991/18254, dt=6125ms
[14/16] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 13998(2.65295)/2716(1.40832)/1.05491/1273/1273/1.45384/1.04438/18401, dt=179ms
[15/16] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 15269(2.73489)/2199(0)/1.02103/0/0/-/-/18403, dt=123ms
[16/16] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 18403(6.64843)/16442(4.39685)/1.77539/124564195/99749/1.04193/1.00419/118730, dt=131168ms
Narrowing and verification time: 137963ms
Overall time: 142317ms