*********************************************************************************** * 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/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.27454/2.24853/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.26871/2.13468/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.15452/1.55067/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.14156/1.4733/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.15241/1.49599/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.15919/1.45882/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.85624/1181/295/1.12202/1.19422/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.6212/953/190/1.10733/1.14632/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.66965/724/128/1.09856/1.13742/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)/1.87304/606/77/1.09931/1.15411/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)/1.82312/629/276/1.12872/1.22692/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.8932/1551/236/1.09436/1.13898/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.83111/1221/196/1.10548/1.15129/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)/2.05005/1250/310/1.16465/1.23281/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.01007/1710/90/1.08833/1.12451/58, dt=3ms [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.85914/890/442/1.13862/1.33023/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.71024/1732/894/1.13359/1.24085/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.51468/2342/1050/1.1137/1.12827/211, dt=9ms [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.53966/6494/1174/1.08255/1.07577/274, dt=17ms [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.32027/4550/2529/1.12491/1.12623/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.31417/8152/3461/1.10918/1.0647/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.32069/20471/3023/1.076/1.03429/597, dt=70ms [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.21754/9324/3957/1.10478/1.04507/763, dt=48ms [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.27797/33157/3816/1.08187/1.02734/901, dt=124ms [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.32293/27105/4810/1.08666/1.03069/1085, dt=119ms [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.32372/45004/4368/1.08008/1.03001/1233, dt=198ms [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.10932/16108/10798/1.16406/1.07489/2172, dt=125ms [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.12645/39988/17438/1.15108/1.03659/3083, dt=334ms [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.11657/95682/14721/1.06508/1.01106/4121, dt=680ms [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.08522/65649/28517/1.08398/1.01245/5285, dt=599ms [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.08144/184135/26364/1.07703/1.008/6785, dt=1754ms [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.08136/161462/32376/1.06505/1.00648/8767, dt=1695ms [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.08138/207360/18638/1.0629/1.00605/11750, dt=2621ms [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.05527/65682/31443/1.13738/1.01562/14912, dt=928ms [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.07286/291460/40547/1.05597/1.0044/19044, dt=3242ms [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.06968/324176/57502/1.0812/1.00558/24478, dt=4202ms [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.07517/472734/32077/1.0666/1.00405/32794, dt=6974ms [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.0791/238136/49618/1.0716/1.00583/42534, dt=3191ms [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.08782/503000/33322/1.09703/1.0065/57604, dt=7898ms [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.11307/370713/45420/1.08905/1.00805/79384, dt=5738ms [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.1392/481558/37380/1.18483/1.0205/116764, dt=12346ms Narrowing and verification time: 53009ms Overall time: 57304ms