***********************************************************************************
* 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/5] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 30(0)/29(0)/2.83688/0/0/-/-/16, dt=5ms
[2/5] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 420(0)/480(0)/2.09051/0/0/-/-/1134, dt=75ms
[3/5] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 4914(0)/4406(0)/1.90394/0/0/-/-/22426, dt=1077ms
[4/5] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 37786(0)/37286(0)/1.81451/0/0/-/-/244281, dt=14456ms
[5/5] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 244281(0)/247121(0)/1.66594/0/0/-/-/2777453, dt=262027ms
Narrowing and verification time: 277641ms
Overall time: 406059ms