*********************************************************************************** * 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/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=3ms [2/14] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 61(0)/71(0)/2.33019/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)/2.00338/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.6265/0/0/-/-/33, dt=19ms [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.39928/0/0/-/-/296, dt=65ms [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.26198/0/0/-/-/1145, dt=220ms [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.21283/219/215/1.15173/1.65461/2552, dt=745ms [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.16327/320/318/1.14091/1.41802/14137, dt=2060ms [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.13487/802/759/1.15318/1.37046/35239, dt=6074ms [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.11688/758/758/1.16433/1.28431/58849, dt=18022ms [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.09131/2043/1995/1.195/1.24675/192650, dt=46327ms [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.10195/3471/3403/1.20758/1.20855/619699, dt=138878ms [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.07415/5594/5487/1.23227/1.17111/1437577, dt=326313ms [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.09554/7645/7517/1.23612/1.13344/3213747, dt=853081ms Narrowing and verification time: 1391816ms Overall time: 1511070ms