***********************************************************************************
* 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_QUERY_BITS_NEUTRALIZATION
 -> MaxTreeDepth = 15
 -> LeafCapacity = 20
 -> DataSort = NONE
-----------------------------------------------------------------------------------
|                          NARROWING NONDEGENERATE TREE                           |
-----------------------------------------------------------------------------------
 -> Strategy = BPT_QUERY_BITS_NEUTRALIZATION
 -> MaxTreeDepth = 15
 -> LeafCapacity = 20
 -> DataSort = NONE
-----------------------------------------------------------------------------------
|                                VERIFICATION TREE                                |
-----------------------------------------------------------------------------------
 -> Strategy = BPT_QUERY_BITS_NEUTRALIZATION
 -> 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.30779/2.35771/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.33212/2.46502/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.31664/2.39673/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.14565/18257/1510/1.13377/1.25989/425, dt=15ms
[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.87229/7544/416/1.21674/1.15859/432, dt=17ms
[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.00527/4/4/1.37709/1.25144/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.09281/616205/8158/1.16553/1.11357/3760, dt=692ms
[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.97919/9255912/30026/1.2317/1.05893/18254, dt=21409ms
[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.04401/1273/1273/1.95718/1.0936/18401, dt=158ms
[15/16] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 15269(2.73489)/2199(0)/0.999895/0/0/-/-/18403, dt=107ms
[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.92997/124564195/99749/1.42446/1.04239/118730, dt=692878ms
Narrowing and verification time: 715283ms
Overall time: 719634ms