***********************************************************************************
* 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/14] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 11(0)/11(0)/2.13262/0/0/-/-/0, dt=0ms
[2/14] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 61(0)/71(0)/2.16343/0/0/-/-/13, dt=1ms
[3/14] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 264(0)/282(0)/1.80993/0/0/-/-/16, dt=5ms
[4/14] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1051(0)/822(0)/1.5227/0/0/-/-/33, dt=18ms
[5/14] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2924(0)/2285(0.000437637)/1.26127/0/0/-/-/296, dt=56ms
[6/14] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 7151(0)/6253(0.000959539)/1.16369/0/0/-/-/1145, dt=175ms
[7/14] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 16253(0.00043069)/14536(0.000343974)/1.10265/219/215/1.38256/2.65049/2552, dt=515ms
[8/14] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 38457(0.000546064)/26920(0.000445765)/1.07317/320/318/1.33481/1.99321/14137, dt=1481ms
[9/14] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 76523(0.00090169)/56438(0.000513838)/1.04373/802/759/1.32146/1.77744/35239, dt=3882ms
[10/14] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 156927(0.000548026)/95518(0.000764254)/1.02943/758/758/1.31159/1.53909/58849, dt=10180ms
[11/14] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268064(0.000664021)/173684(0.000558486)/1.02232/2043/1995/1.30643/1.38774/192650, dt=22043ms
[12/14] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 511419(0.000788004)/247547(0.00066654)/1.01601/3471/3403/1.31688/1.31836/619699, dt=41976ms
[13/14] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 747600(0.000620653)/526440(0.00072183)/1.01607/5594/5487/1.3315/1.24422/1437577, dt=107754ms
[14/14] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1436320(0.000687173)/584238(0.000599071)/1.00999/7645/7517/1.33019/1.1866/3213747, dt=131120ms
Narrowing and verification time: 319208ms
Overall time: 438152ms