***********************************************************************************
* 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/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=2ms
[3/14] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 264(0)/282(0)/1.84961/0/0/-/-/16, dt=6ms
[4/14] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1051(0)/822(0)/1.31995/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.17462/0/0/-/-/296, dt=55ms
[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.08321/0/0/-/-/1145, dt=152ms
[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.04775/219/215/1.18863/1.81383/2552, dt=429ms
[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.0272/320/318/1.14866/1.44101/14137, dt=1066ms
[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.01922/802/759/1.14336/1.34671/35239, dt=2720ms
[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.01226/758/758/1.16152/1.27944/58849, dt=5206ms
[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.01038/2043/1995/1.15552/1.19679/192650, dt=11636ms
[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.01074/3471/3403/1.15581/1.15653/619699, dt=24891ms
[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.00721/5594/5487/1.18409/1.13562/1437577, dt=49894ms
[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.00832/7645/7517/1.16512/1.09332/3213747, dt=110337ms
Narrowing and verification time: 206412ms
Overall time: 325253ms