*********************************************************************************** * 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/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.25576/2.22804/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.2394/2.14072/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.23/2.02222/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.19122/1.81321/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.1793/1.72206/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.22647/1.90034/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.17043/1.61706/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.16255/1.52669/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.1554/1.46619/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.10379/196/44/1.09397/1.26266/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.10628/194/39/1.0766/1.20294/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.05762/150/66/1.14125/1.36448/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.14202/348/104/1.11081/1.24724/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)/1.9778/416/87/1.07176/1.15159/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.83166/288/70/1.06541/1.12934/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.17624/127/21/1.05326/1.09751/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.11961/707/276/1.07526/1.12317/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.16384/309/144/1.05427/1.07335/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)/1.63085/2430/586/1.05311/1.06297/20, dt=10ms [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.43073/1170/100/1.04035/1.03962/20, dt=4ms [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.28789/906/120/1.07332/1.07183/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.46988/1061/346/1.11491/1.1132/20, dt=6ms [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.17744/1781/191/1.04983/1.04372/20, dt=7ms [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.16459/646/208/1.03967/1.03605/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.51559/7736/1575/1.05069/1.04123/116, dt=32ms [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.36738/7187/237/1.0271/1.01672/116, dt=14ms [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.27194/6421/172/1.02611/1.01591/116, dt=13ms [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.25465/5640/1093/1.04802/1.02954/128, dt=23ms [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.16177/6122/483/1.04698/1.02488/142, dt=23ms [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.32033/11111/215/1.0336/1.01889/148, dt=19ms [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.27303/7649/114/1.04246/1.0246/148, dt=15ms [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.23472/6187/64/1.03956/1.02429/148, dt=13ms [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.18078/3095/526/1.03322/1.02169/159, dt=14ms [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.22849/6649/349/1.02423/1.01444/174, dt=17ms [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.22809/4224/388/1.03817/1.02279/214, dt=17ms [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.1528/1627/473/1.03833/1.02215/215, dt=14ms [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.26653/10790/409/1.02358/1.0121/215, dt=21ms [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.24963/12973/223/1.01915/1.00945/215, dt=21ms [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.19591/10172/1915/1.03254/1.0161/260, dt=41ms [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.20742/18297/692/1.02287/1.00951/302, dt=41ms [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.27946/14728/442/1.03986/1.01805/317, dt=30ms [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.23032/14773/243/1.02814/1.01247/320, dt=26ms [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.20792/11634/152/1.01678/1.00762/323, dt=22ms [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.24174/10741/1318/1.02659/1.01234/372, dt=35ms [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.20927/19033/632/1.02992/1.01209/417, dt=44ms [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.18988/12464/516/1.03612/1.01513/531, dt=39ms [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.36238/17661/667/1.02907/1.01218/536, dt=35ms [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.26006/20623/389/1.03901/1.01539/544, dt=41ms [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.22325/15850/285/1.02579/1.0103/548, dt=33ms [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.19303/13779/133/1.01661/1.0068/552, dt=29ms [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.29258/10010/1058/1.02252/1.0097/570, dt=35ms [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.23363/19763/578/1.01932/1.00746/574, dt=40ms [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.18065/12579/499/1.01845/1.00716/587, dt=35ms [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.1451/10154/358/1.01518/1.00591/599, dt=32ms [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.15775/3457/1068/1.04134/1.01632/603, dt=30ms [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.35792/30991/1259/1.02571/1.00885/606, dt=60ms [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.40644/58238/781/1.02565/1.00808/609, dt=91ms [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.236/42429/5507/1.02898/1.00898/1104, dt=144ms [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.20517/74124/2597/1.01614/1.00388/1559, dt=168ms [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.33987/47376/1877/1.02685/1.00724/1615, dt=105ms [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.31457/70449/1374/1.02616/1.00637/1671, dt=140ms [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.22495/57821/1168/1.02181/1.0052/1727, dt=122ms [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.2065/60830/5660/1.02779/1.00652/2325, dt=188ms [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.14873/93767/3367/1.02705/1.00513/2886, dt=273ms [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.16063/72372/2954/1.02342/1.00449/3455, dt=239ms [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.25935/68525/3263/1.02543/1.00486/3473, dt=175ms [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.23593/108570/2707/1.02777/1.00473/3494, dt=270ms [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.17833/89567/2457/1.01846/1.00302/3518, dt=250ms [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.14365/82859/2142/1.01985/1.00319/3545, dt=233ms [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.15914/83455/6800/1.02701/1.00428/3631, dt=276ms [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.14524/128731/4655/1.02416/1.00328/3690, dt=430ms [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.12815/103728/4255/1.02643/1.00349/3733, dt=412ms [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.13099/96012/3634/1.01896/1.00244/3770, dt=346ms [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.11604/18083/9212/1.04792/1.00621/3794, dt=217ms [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.19636/304099/7282/1.01971/1.00204/3812, dt=743ms [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.13242/223143/6526/1.01985/1.00191/3833, dt=688ms [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.11123/207031/5648/1.01452/1.00135/3857, dt=708ms [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.10433/191533/4696/1.01527/1.00141/3884, dt=716ms [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.12537/157966/10515/1.01583/1.00145/3970, dt=622ms [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.14128/261466/7924/1.01571/1.00128/4029, dt=870ms [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.11603/212015/7492/1.0222/1.00175/4072, dt=978ms [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.11411/198952/6728/1.01711/1.0013/4109, dt=966ms [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.11069/187800/5890/1.01216/1.00091/4109, dt=900ms [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.1611/200658/49226/1.0564/1.00415/7737, dt=1541ms [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.20039/464830/52435/1.03557/1.00186/11216, dt=2562ms [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.17563/851518/53479/1.02127/1.00088/14571, dt=3579ms [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.17408/1413252/55340/1.03253/1.00114/17814, dt=6225ms [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.15293/2015591/97035/1.05584/1.0017/21181, dt=13201ms [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.13221/2747210/96101/1.04244/1.0011/24490, dt=18431ms [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.10127/3283314/93326/1.02447/1.00057/27752, dt=21981ms [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.11833/3619205/88461/1.02156/1.00046/30978, dt=25657ms [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.09337/3906052/124244/1.02632/1.00053/34336, dt=30710ms [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.08403/4573484/122402/1.02477/1.00044/37652, dt=38798ms [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.07096/4954424/114168/1.01926/1.00031/40958, dt=44741ms [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.06925/5063837/127908/1.01678/1.00026/44299, dt=45516ms [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.05886/5277351/112279/1.01872/1.00027/47654, dt=52216ms [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.05288/5041843/91099/1.01786/1.00026/50994, dt=48854ms [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.12552/3863912/103274/1.0147/1.00022/57136, dt=71188ms [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.1064/3536176/82798/1.02124/1.00033/63394, dt=65107ms [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.08209/3371937/62122/1.02038/1.00033/69826, dt=52070ms [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.06575/3178027/41158/1.0204/1.00036/76490, dt=45459ms [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.14044/2852508/48820/1.02127/1.00043/83414, dt=42746ms [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.12824/2751641/40977/1.02332/1.00048/90552, dt=38842ms [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.11746/2588914/31960/1.02007/1.00043/97962, dt=36168ms [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.14072/2230074/31120/1.01858/1.00042/105688, dt=32929ms [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.13474/2076821/25418/1.01267/1.0003/113750, dt=26366ms [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.13993/1825870/19284/1.01108/1.00027/122204, dt=22738ms [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.16388/1234720/31724/1.02631/1.00069/133252, dt=15534ms [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.15042/1248048/31460/1.04005/1.001/144808, dt=15754ms [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.13674/1264792/30556/1.0314/1.00076/156988, dt=16733ms [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.15122/1167344/31856/1.0406/1.00096/169728, dt=19683ms [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.1314/1185540/29644/1.05378/1.00123/183228, dt=21805ms [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.13953/1128932/25692/1.03987/1.0009/197696, dt=23912ms [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.15878/959296/33256/1.11047/1.00248/214936, dt=29613ms [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.12279/1000864/32136/1.09229/1.00201/233184, dt=28349ms [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.12371/954264/27576/1.06033/1.00129/252784, dt=28153ms [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.15156/864032/23056/1.0274/1.00058/275840, dt=28717ms Narrowing and verification time: 1028120ms Overall time: 1039424ms