***********************************************************************************
* 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 = BPT_FIRST_AVAILABLE_BIT
 -> MaxTreeDepth = 15
 -> LeafCapacity = 20
 -> DataSort = NONE
-----------------------------------------------------------------------------------
|                          NARROWING NONDEGENERATE TREE                           |
-----------------------------------------------------------------------------------
 -> Strategy = BPT_FIRST_AVAILABLE_BIT
 -> MaxTreeDepth = 15
 -> LeafCapacity = 20
 -> DataSort = NONE
-----------------------------------------------------------------------------------
|                                VERIFICATION TREE                                |
-----------------------------------------------------------------------------------
 -> Strategy = BPT_FIRST_AVAILABLE_BIT
 -> 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.34023/2.50079/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.33618/2.48291/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.31741/2.40012/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.2108/18257/1510/1.1417/1.27529/425, dt=16ms
[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.99248/7544/416/1.28322/1.20723/432, dt=21ms
[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.1176/4/4/1.40507/1.2701/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.07694/616205/8158/1.16666/1.11434/3760, dt=714ms
[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.89193/9255912/30026/1.26721/1.06797/18254, dt=23862ms
[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.21109/1273/1273/1.94315/1.09222/18401, dt=206ms
[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.12744/0/0/-/-/18403, dt=124ms
[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.82279/124564195/99749/1.44152/1.04409/118730, dt=731385ms
Narrowing and verification time: 756334ms
Overall time: 760705ms