*********************************************************************************** * 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/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(0)/2(0)/2.7067/0/0/-/-/5, dt=0ms [2/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 4(0.5)/3(0.333333)/3/6/6/1.29138/2.39907/6, dt=0ms [3/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 6(0.666667)/5(0.4)/2.58565/10/10/1.28937/2.37886/7, dt=0ms [4/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 7(1)/6(0.666667)/2.47703/10/8/1.28333/2.25926/7, dt=0ms [5/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 8(1.5)/7(1.14286)/2.4/17/11/1.22417/1.9533/12, dt=0ms [6/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 9(1.88889)/8(1.5)/2.17152/12/10/1.29587/2.19147/20, dt=0ms [7/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 11(2.54545)/2(5.5)/2.13262/22/20/1.24426/1.97107/20, dt=0ms [8/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 16(2.75)/7(2.71429)/2.08333/38/30/1.29649/2.0735/20, dt=0ms [9/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 24(3)/17(1.76471)/2.15452/78/42/1.24871/1.80584/20, dt=1ms [10/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 35(2.8)/14(2.71429)/2.13391/126/36/1.18277/1.5483/20, dt=1ms [11/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 44(2.97727)/23(2.56522)/2.15568/196/44/1.15566/1.43511/20, dt=1ms [12/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 55(2.83636)/26(2.61538)/2.12191/194/39/1.14909/1.39498/20, dt=1ms [13/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 63(3.14286)/14(2.71429)/2.10522/150/66/1.22604/1.58324/20, dt=1ms [14/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 91(2.97802)/39(2.61538)/2.1138/348/104/1.17672/1.39431/20, dt=2ms [15/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 137(2.52555)/43(2.60465)/2.00591/416/87/1.16893/1.35688/20, dt=2ms [16/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 187(2.6738)/24(2.41667)/1.94753/288/70/1.1523/1.30114/20, dt=1ms [17/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 212(2.62736)/2(9.5)/2.15665/127/21/1.09625/1.17623/20, dt=1ms [18/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 124(4.01613)/24(5.91667)/2.14702/707/276/1.27975/1.45783/20, dt=4ms [19/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 485(2.98763)/1(14)/2.14703/309/144/1.29042/1.39258/20, dt=3ms [20/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 180(3.25556)/267(2.83521)/2.03424/2430/586/1.2242/1.26584/20, dt=11ms [21/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 614(2.46906)/107(3.16822)/1.80925/1170/100/1.14339/1.14078/20, dt=5ms [22/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 625(2.712)/152(2.25)/1.73282/906/120/1.21829/1.21384/20, dt=5ms [23/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 545(2.55596)/52(4.73077)/1.77292/1061/346/1.24126/1.23768/20, dt=7ms [24/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 711(2.63291)/286(2.78322)/1.66554/1781/191/1.20528/1.18011/20, dt=9ms [25/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1049(3.32221)/1(20)/2.14437/646/208/1.23637/1.21478/20, dt=6ms [26/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 193(4.24352)/672(3.27381)/1.94067/7736/1575/1.19427/1.15801/116, dt=38ms [27/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1507(3.21699)/217(3.87558)/1.78681/7187/237/1.11542/1.07122/116, dt=18ms [28/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1550(3.47032)/306(3.30392)/1.72628/6421/172/1.10257/1.06252/116, dt=17ms [29/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 965(3.49637)/365(3.69041)/1.70333/5640/1093/1.22048/1.13563/128, dt=32ms [30/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1337(3.61107)/782(2.99233)/1.67606/6122/483/1.14527/1.07691/142, dt=30ms [31/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1580(3.62722)/349(4.38395)/1.81714/11111/215/1.10036/1.05644/148, dt=24ms [32/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1622(3.76264)/358(4.25698)/1.74333/7649/114/1.1098/1.0636/148, dt=19ms [33/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1623(3.92237)/292(4.62671)/1.74643/6187/64/1.08513/1.05228/148, dt=15ms [34/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1386(3.7684)/151(4.31126)/1.67426/3095/526/1.153/1.09992/159, dt=17ms [35/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1658(3.7883)/323(4.70279)/1.7355/6649/349/1.10464/1.06235/174, dt=22ms [36/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1898(3.73815)/186(5.63441)/1.77639/4224/388/1.12671/1.07563/214, dt=20ms [37/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2328(3.95318)/1(32)/2.15107/1627/473/1.2066/1.1194/215, dt=15ms [38/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2144(3.97668)/250(4.344)/1.73549/10790/409/1.10344/1.05309/215, dt=28ms [39/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2358(4.16709)/358(3.98324)/1.66775/12973/223/1.08112/1.04004/215, dt=30ms [40/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1072(4.24534)/798(4.36341)/1.65707/10172/1915/1.17854/1.08834/260, dt=60ms [41/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1659(4.44063)/1362(4.06681)/1.71668/18297/692/1.08199/1.03409/302, dt=60ms [42/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2406(4.7581)/289(5.20069)/1.84304/14728/442/1.10111/1.0458/317, dt=38ms [43/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2586(4.83875)/391(4.85678)/1.73955/14773/243/1.0815/1.03611/320, dt=35ms [44/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2689(5.03049)/346(5.18786)/1.70931/11634/152/1.06036/1.0274/323, dt=28ms [45/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1968(4.94766)/380(5.72895)/1.79127/10741/1318/1.12675/1.05883/372, dt=48ms [46/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2443(4.96029)/848(5.00943)/1.73992/19033/632/1.08507/1.03438/417, dt=59ms [47/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2734(5.07791)/566(5.06714)/1.69295/12464/516/1.08098/1.03392/531, dt=47ms [48/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2858(5.39328)/241(5.92116)/1.81464/17661/667/1.1101/1.04615/536, dt=48ms [49/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3071(5.47639)/491(5.21589)/1.7671/20623/389/1.08217/1.03241/544, dt=52ms [50/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3180(5.58459)/448(5.29464)/1.73063/15850/285/1.0777/1.03101/548, dt=45ms [51/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3198(5.74109)/478(5.11715)/1.69552/13779/133/1.05054/1.0207/552, dt=38ms [52/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2878(5.65775)/231(6.99134)/1.81044/10010/1058/1.11243/1.04841/570, dt=47ms [53/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3312(5.57005)/574(5.67422)/1.74549/19763/578/1.07851/1.03033/574, dt=59ms [54/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3578(5.62856)/446(5.21525)/1.71943/12579/499/1.08107/1.03147/587, dt=51ms [55/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3657(5.83976)/497(4.09457)/1.66401/10154/358/1.08364/1.03255/599, dt=46ms [56/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 4088(5.7862)/1(51)/2.14917/3457/1068/1.19828/1.07829/603, dt=33ms [57/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 4199(5.84663)/375(6.456)/1.78961/30991/1259/1.10961/1.03773/606, dt=90ms [58/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 4672(5.75043)/748(6.71791)/1.72839/58238/781/1.10823/1.0341/609, dt=163ms [59/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2138(5.71422)/2137(5.68975)/1.64215/42429/5507/1.17288/1.05356/1104, dt=280ms [60/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3368(5.48842)/4062(4.36558)/1.65253/74124/2597/1.09652/1.02322/1559, dt=317ms [61/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 6505(5.28424)/480(7.56875)/1.76419/47376/1877/1.10758/1.02901/1615, dt=161ms [62/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 7300(5.19247)/947(7.04013)/1.63322/70449/1374/1.10279/1.02504/1671, dt=233ms [63/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 7847(5.12871)/1049(5.99809)/1.57228/57821/1168/1.08878/1.02115/1727, dt=202ms [64/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 5828(4.872)/1825(5.4537)/1.6088/60830/5660/1.14933/1.03503/2325, dt=356ms [65/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 7421(4.78278)/3610(4.77562)/1.56158/93767/3367/1.11154/1.02116/2886, dt=525ms [66/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 8701(4.70222)/2720(4.95772)/1.54652/72372/2954/1.11652/1.02235/3455, dt=455ms [67/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 11371(4.55817)/757(6.04491)/1.59833/68525/3263/1.12295/1.02352/3473, dt=309ms [68/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 12635(4.5522)/1665(5.94655)/1.5144/108570/2707/1.10534/1.01795/3494, dt=472ms [69/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 13776(4.52425)/1819(5.41946)/1.46236/89567/2457/1.10235/1.01676/3518, dt=483ms [70/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 14597(4.47448)/2010(5.2597)/1.44548/82859/2142/1.0937/1.01504/3545, dt=457ms [71/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 12977(4.28982)/2107(5.02183)/1.47416/83455/6800/1.13644/1.02163/3631, dt=623ms [72/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 15316(4.26574)/3922(4.79347)/1.46132/128731/4655/1.11373/1.01543/3690, dt=923ms [73/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 17131(4.24996)/3538(4.79932)/1.46276/103728/4255/1.11891/1.0157/3733, dt=878ms [74/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 18195(4.22001)/3740(4.63984)/1.40644/96012/3634/1.11295/1.01453/3770, dt=809ms [75/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 24127(4.24301)/1(70)/2.14797/18083/9212/1.48275/1.06256/3794, dt=447ms [76/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 26290(4.22975)/3680(4.96875)/1.42033/304099/7282/1.17889/1.01849/3812, dt=2357ms [77/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 28847(4.24751)/4222(4.49053)/1.39008/223143/6526/1.13102/1.0126/3833, dt=2076ms [78/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 30940(4.22805)/4892(4.50511)/1.37998/207031/5648/1.11642/1.0108/3857, dt=2096ms [79/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 32333(4.20106)/5171(4.47882)/1.37932/191533/4696/1.10114/1.00931/3884, dt=2200ms [80/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 31515(4.074)/3085(4.88006)/1.41345/157966/10515/1.14257/1.0131/3970, dt=1951ms [81/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 35678(4.075)/5792(4.82718)/1.41495/261466/7924/1.11947/1.00972/4029, dt=2911ms [82/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 39044(4.07842)/5608(4.78994)/1.41487/212015/7492/1.12353/1.00971/4072, dt=3234ms [83/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 41228(4.07024)/6080(4.64951)/1.38403/198952/6728/1.12057/1.0092/4109, dt=3215ms [84/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 42405(4.03882)/6457(4.58696)/1.35071/187800/5890/1.12255/1.0092/4109, dt=3203ms [85/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 15215(3.8648)/15214(3.85954)/1.34059/200658/49226/1.35742/1.02633/7737, dt=5928ms [86/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 34570(3.93992)/19265(3.81884)/1.35583/464830/52435/1.28366/1.01487/11216, dt=12044ms [87/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 55007(4.05316)/23606(3.80115)/1.34202/851518/53479/1.23349/1.00968/14571, dt=20848ms [88/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 75380(4.19382)/25919(4.02103)/1.3581/1413252/55340/1.20129/1.00704/17814, dt=38710ms [89/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 70039(4.0177)/51072(4.41577)/1.40558/2015591/97035/1.26734/1.00812/21181, dt=80228ms [90/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 106654(3.98268)/57127(4.18128)/1.37729/2747210/96101/1.30871/1.00803/24490, dt=156101ms [91/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 139793(3.93364)/62248(4.0499)/1.36586/3283314/93326/1.3242/1.00752/27752, dt=229761ms [92/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 167690(3.8829)/66908(3.96104)/1.35253/3619205/88461/1.32039/1.00685/30978, dt=282120ms [93/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 187149(3.79085)/60682(3.95322)/1.34327/3906052/124244/1.35871/1.00726/34336, dt=316264ms [94/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 233149(3.72361)/74533(3.76007)/1.32376/4573484/122402/1.37822/1.00669/37652, dt=449455ms [95/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 267996(3.68829)/87522(3.60833)/1.31362/4954424/114168/1.37/1.00599/40958, dt=571499ms [96/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 290081(3.6438)/89258(3.51782)/1.3034/5063837/127908/1.40164/1.0062/44299, dt=653575ms [97/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 318656(3.63167)/102356(3.44101)/1.29334/5277351/112279/1.3783/1.00551/47654, dt=807073ms [98/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 329575(3.65745)/109531(3.38805)/1.28821/5041843/91099/1.35311/1.00508/50994, dt=785776ms [99/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 231763(3.66983)/146627(3.33068)/1.30729/3863912/103274/1.28419/1.00416/57136, dt=731758ms [100/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 239877(3.79787)/119718(3.47201)/1.31673/3536176/82798/1.27674/1.00429/63394, dt=643712ms [101/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 233887(3.95834)/108556(3.54897)/1.33231/3371937/62122/1.25076/1.00412/69826, dt=568073ms [102/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 216825(4.1309)/99466(3.72399)/1.34958/3178027/41158/1.18569/1.00331/76490, dt=474193ms [103/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 200452(4.13184)/63480(4.39699)/1.35888/2852508/48820/1.20887/1.00419/83414, dt=324588ms [104/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 201455(4.21628)/57775(4.54276)/1.36677/2751641/40977/1.19708/1.00407/90552, dt=286970ms [105/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 197091(4.26797)/54826(4.66784)/1.37008/2588914/31960/1.15346/1.0033/97962, dt=254360ms [106/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 188007(4.25888)/45313(4.75724)/1.36973/2230074/31120/1.1505/1.00343/105688, dt=208459ms [107/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 184648(4.28136)/41993(4.88093)/1.36742/2076821/25418/1.12482/1.00295/113750, dt=177233ms [108/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 180356(4.28285)/37538(5.01905)/1.36329/1825870/19284/1.09832/1.00243/122204, dt=149395ms [109/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 178470(4.15642)/18174(5.32805)/1.3478/1234720/31724/1.13935/1.00364/133252, dt=81697ms [110/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 190318(4.14236)/20152(5.26042)/1.35357/1248048/31460/1.14001/1.0035/144808, dt=90460ms [111/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 199294(4.11812)/23172(5.13516)/1.34834/1264792/30556/1.14377/1.00347/156988, dt=104015ms [112/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 206016(4.06062)/22574(5.10641)/1.33267/1167344/31856/1.15788/1.00372/169728, dt=108384ms [113/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 213200(4.03709)/25942(4.90841)/1.32655/1185540/29644/1.147/1.00336/183228, dt=119471ms [114/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 216956(4.0219)/28202(4.80051)/1.31565/1128932/25692/1.13602/1.00307/197696, dt=125177ms [115/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 215792(3.93898)/23624(4.89299)/1.29787/959296/33256/1.18382/1.00413/214936, dt=116173ms [116/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 223032(3.90495)/28000(4.61829)/1.28586/1000864/32136/1.16796/1.00366/233184, dt=130124ms [117/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 226816(3.89105)/30652(4.40767)/1.27373/954264/27576/1.15401/1.00329/252784, dt=133436ms [118/118] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 226400(3.89541)/30680(4.41747)/1.26094/864032/23056/1.12847/1.00272/275840, dt=124323ms Narrowing and verification time: 9393996ms Overall time: 9405344ms