*********************************************************************************** * 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/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 6(0)/5(0)/2.29282/0/0/-/-/13, dt=1ms [2/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 10(0.1)/9(0)/2.29949/9/9/1.23204/2.05523/15, dt=0ms [3/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 16(0.625)/5(1.2)/2.16667/37/33/1.20758/1.87655/18, dt=1ms [4/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 25(0.68)/17(0.529412)/2.09825/58/26/1.16064/1.57246/20, dt=1ms [5/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 24(1.20833)/25(0.68)/2.10301/93/29/1.15173/1.5073/22, dt=1ms [6/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 25(1.6)/23(1)/2.09825/113/69/1.16827/1.54759/29, dt=1ms [7/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 35(2.14286)/82(1.14634)/2.13391/738/508/1.16692/1.48111/32, dt=4ms [8/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 266(0.913534)/148(0.851351)/2.01354/1181/295/1.10381/1.16523/40, dt=3ms [9/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 320(0.94375)/262(0.732824)/1.96771/953/190/1.09152/1.12477/40, dt=3ms [10/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 267(1.17978)/289(0.750865)/1.98771/724/128/1.08825/1.12304/40, dt=2ms [11/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 205(1.50732)/273(0.92674)/2.02495/606/77/1.10346/1.16054/45, dt=2ms [12/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 100(2.7)/117(0.948718)/2.06161/629/276/1.12647/1.22296/54, dt=2ms [13/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 172(1.98256)/215(1.73488)/2.1059/1551/236/1.11073/1.1631/55, dt=3ms [14/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 153(2.48366)/244(1.47541)/2.0261/1221/196/1.10745/1.15412/56, dt=2ms [15/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 118(2.9661)/187(2.03209)/2.12551/1250/310/1.11237/1.15888/58, dt=3ms [16/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 158(2.27848)/415(1.98795)/2.1186/1710/90/1.07023/1.099/58, dt=2ms [17/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 138(1.91304)/137(1.81022)/1.98104/890/442/1.15122/1.36024/101, dt=3ms [18/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 293(1.50853)/292(1.45548)/1.79772/1732/894/1.12927/1.23307/151, dt=5ms [19/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 436(1.46789)/503(1.05169)/1.74094/2342/1050/1.09371/1.10572/211, dt=8ms [20/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 940(0.908511)/910(2.14066)/1.74357/6494/1174/1.06508/1.05973/274, dt=15ms [21/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 936(0.902778)/935(0.882353)/1.41791/4550/2529/1.10666/1.10779/393, dt=19ms [22/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1556(1.08033)/1512(0.992063)/1.45925/8152/3461/1.09151/1.05423/509, dt=35ms [23/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2813(1.0128)/2970(1.67912)/1.59056/20471/3023/1.05946/1.02683/597, dt=77ms [24/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2389(0.953537)/1788(0.925056)/1.40866/9324/3957/1.09538/1.04103/763, dt=52ms [25/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3901(1.15893)/3882(1.75631)/1.53271/33157/3816/1.06065/1.02025/901, dt=135ms [26/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 4460(0.688789)/2897(2.28271)/1.56615/27105/4810/1.06207/1.02198/1085, dt=128ms [27/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 6504(0.456335)/4619(3.0171)/1.65382/45004/4368/1.0413/1.01548/1233, dt=234ms [28/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 4367(0.531257)/4366(0.525195)/1.18884/16108/10798/1.11589/1.0529/2172, dt=132ms [29/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 7963(0.804596)/7266(0.807872)/1.18345/39988/17438/1.0759/1.01838/3083, dt=315ms [30/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 14302(0.8861)/15375(1.18673)/1.22135/95682/14721/1.05185/1.00882/4121, dt=937ms [31/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 14040(0.954843)/11149(0.802763)/1.1614/65649/28517/1.07518/1.01114/5285, dt=762ms [32/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 23709(1.07773)/26656(1.19125)/1.17745/184135/26364/1.05485/1.0057/6785, dt=2433ms [33/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 24818(0.955154)/24891(1.26841)/1.18256/161462/32376/1.05924/1.0059/8767, dt=2467ms [34/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 30711(0.889616)/35596(1.64622)/1.23792/207360/18638/1.04364/1.0042/11750, dt=4506ms [35/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 23687(0.753198)/11914(0.70606)/1.14975/65682/31443/1.1055/1.012/14912, dt=1277ms [36/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 37636(1.03616)/36735(1.10984)/1.1668/291460/40547/1.08742/1.00687/19044, dt=5224ms [37/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 39918(1.12836)/39955(1.27831)/1.20559/324176/57502/1.11043/1.00759/24478, dt=7658ms [38/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 49829(1.17133)/63122(1.67339)/1.26354/472734/32077/1.08586/1.00523/32794, dt=15981ms [39/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 42615(0.749853)/27113(1.47759)/1.23874/238136/49618/1.11752/1.00957/42534, dt=6425ms [40/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 56307(0.907187)/48702(2.03257)/1.29625/503000/33322/1.09537/1.00639/57604, dt=15727ms [41/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 61684(0.394446)/27738(2.77958)/1.37899/370713/45420/1.09159/1.00828/79384, dt=14996ms [42/42] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 77984(0.181589)/42083(2.94318)/1.42628/481558/37380/1.05218/1.00579/116764, dt=30895ms Narrowing and verification time: 110480ms Overall time: 114785ms