*********************************************************************************** * 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/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.30187/2.37279/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.27877/2.17716/18, dt=0ms [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.2097/1.74732/20, dt=0ms [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.22715/1.75949/22, dt=0ms [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.3135/2.02024/29, dt=0ms [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.32565/1.9386/32, dt=3ms [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)/1.89226/1181/295/1.18865/1.30027/40, dt=4ms [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.86532/953/190/1.18353/1.25021/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.89776/724/128/1.18949/1.26419/40, dt=3ms [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.00156/606/77/1.15264/1.23686/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.11343/629/276/1.27816/1.49037/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)/1.97756/1551/236/1.18913/1.27859/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)/1.98864/1221/196/1.18384/1.26369/56, dt=3ms [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)/1.97724/1250/310/1.19922/1.28169/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)/1.66098/1710/90/1.10935/1.15414/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.84542/890/442/1.2744/1.6537/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.69915/1732/894/1.32943/1.59392/151, dt=6ms [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.61007/2342/1050/1.32554/1.36725/211, dt=10ms [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.55896/6494/1174/1.21858/1.20062/274, dt=19ms [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.40036/4550/2529/1.33875/1.34233/393, dt=23ms [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.47977/8152/3461/1.36589/1.21682/509, dt=51ms [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.4295/20471/3023/1.22597/1.10196/597, dt=98ms [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.36607/9324/3957/1.35349/1.15206/763, dt=72ms [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.3931/33157/3816/1.21006/1.07014/901, dt=168ms [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.3092/27105/4810/1.25942/1.09186/1085, dt=156ms [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.30358/45004/4368/1.17657/1.06618/1233, dt=207ms [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.20037/16108/10798/1.46127/1.21055/2172, dt=175ms [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.25909/39988/17438/1.52179/1.12638/3083, dt=591ms [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.2323/95682/14721/1.30408/1.0517/4121, dt=1247ms [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.25005/65649/28517/1.57602/1.08538/5285, dt=1581ms [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.22967/184135/26364/1.36794/1.03823/6785, dt=3850ms [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.22108/161462/32376/1.46916/1.04674/8767, dt=4279ms [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.18731/207360/18638/1.25444/1.02448/11750, dt=4450ms [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.18422/65682/31443/1.6295/1.07159/14912, dt=2231ms [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.21124/291460/40547/1.42961/1.03378/19044, dt=8231ms [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.2228/324176/57502/1.56016/1.03849/24478, dt=13058ms [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.21904/472734/32077/1.29932/1.01822/32794, dt=16776ms [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.18274/238136/49618/1.59191/1.04818/42534, dt=8807ms [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.19242/503000/33322/1.33692/1.02258/57604, dt=14233ms [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.15535/370713/45420/1.5114/1.04623/79384, dt=11899ms [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.11754/481558/37380/1.25239/1.028/116764, dt=10662ms Narrowing and verification time: 102915ms Overall time: 107199ms