*********************************************************************************** * 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/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.24388/2.17103/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.2553/2.21649/7, dt=1ms [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.22583/2.0037/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.19883/1.84554/12, dt=1ms [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.21969/1.88471/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.24642/1.97964/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.20952/1.75862/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.15003/1.48611/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.20087/126/36/1.13824/1.41471/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.11056/196/44/1.1009/1.28204/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.10159/194/39/1.09662/1.25599/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.03257/150/66/1.12862/1.33187/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.11805/348/104/1.10062/1.22451/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.03742/416/87/1.09816/1.20736/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.91572/288/70/1.09031/1.17857/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.164/127/21/1.06089/1.11149/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.14667/707/276/1.09345/1.15294/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.17224/309/144/1.09067/1.12256/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.82395/2430/586/1.0823/1.09759/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.81378/1170/100/1.04879/1.0479/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.69075/906/120/1.07244/1.07097/20, dt=4ms [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.77023/1061/346/1.06854/1.06753/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.61836/1781/191/1.05917/1.05192/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.17325/646/208/1.07765/1.07055/20, dt=5ms [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.88739/7736/1575/1.07636/1.06211/116, dt=34ms [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.72835/7187/237/1.06311/1.03894/116, dt=17ms [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.64121/6421/172/1.04935/1.03008/116, dt=16ms [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.53425/5640/1093/1.06301/1.03876/128, dt=25ms [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.47281/6122/483/1.04279/1.02266/142, dt=24ms [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.77741/11111/215/1.05145/1.02893/148, dt=22ms [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.76689/7649/114/1.04666/1.02703/148, dt=18ms [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.73926/6187/64/1.04346/1.02669/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.63691/3095/526/1.04516/1.0295/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.68182/6649/349/1.03752/1.02236/174, dt=19ms [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.7858/4224/388/1.04035/1.02409/214, dt=18ms [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.1856/1627/473/1.05706/1.03298/215, dt=13ms [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.60189/10790/409/1.03509/1.01801/215, dt=22ms [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.47604/12973/223/1.02282/1.01126/215, dt=22ms [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.42709/10172/1915/1.04194/1.02075/260, dt=43ms [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.38158/18297/692/1.02609/1.01085/302, dt=44ms [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.62878/14728/442/1.0344/1.01558/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.53048/14773/243/1.02663/1.0118/320, dt=28ms [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.49164/11634/152/1.01749/1.00794/323, dt=24ms [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.62196/10741/1318/1.02957/1.01373/372, dt=37ms [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.48525/19033/632/1.0251/1.01014/417, dt=45ms [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.49813/12464/516/1.02379/1.00996/531, dt=40ms [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.55939/17661/667/1.036/1.01509/536, dt=37ms [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.47249/20623/389/1.02591/1.01022/544, dt=39ms [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.42932/15850/285/1.02124/1.00848/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.36529/13779/133/1.01633/1.00669/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.56/10010/1058/1.02034/1.00876/570, dt=34ms [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.40114/19763/578/1.01864/1.0072/574, dt=42ms [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.36643/12579/499/1.01821/1.00707/587, dt=37ms [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.28396/10154/358/1.01653/1.00643/599, dt=33ms [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.19333/3457/1068/1.04319/1.01705/603, dt=27ms [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.50252/30991/1259/1.02641/1.00909/606, dt=58ms [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.52632/58238/781/1.02835/1.00893/609, dt=100ms [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.31484/42429/5507/1.02467/1.00764/1104, dt=141ms [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.22586/74124/2597/1.0153/1.00368/1559, dt=165ms [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.51488/47376/1877/1.02617/1.00706/1615, dt=99ms [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.45029/70449/1374/1.02426/1.00591/1671, dt=144ms [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.34957/57821/1168/1.01974/1.0047/1727, dt=128ms [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.28522/60830/5660/1.02105/1.00494/2325, dt=181ms [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.22872/93767/3367/1.01735/1.00329/2886, dt=261ms [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.2312/72372/2954/1.01593/1.00305/3455, dt=245ms [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.3295/68525/3263/1.02787/1.00533/3473, dt=181ms [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.29929/108570/2707/1.02139/1.00365/3494, dt=267ms [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.25211/89567/2457/1.01918/1.00314/3518, dt=271ms [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.23739/82859/2142/1.01854/1.00298/3545, dt=267ms [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.20261/83455/6800/1.01874/1.00297/3631, dt=290ms [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.18147/128731/4655/1.01599/1.00217/3690, dt=437ms [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.17313/103728/4255/1.01616/1.00213/3733, dt=424ms [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.16849/96012/3634/1.01696/1.00218/3770, dt=405ms [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.16282/18083/9212/1.05862/1.0076/3794, dt=216ms [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.21465/304099/7282/1.02676/1.00277/3812, dt=903ms [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.19679/223143/6526/1.02784/1.00268/3833, dt=907ms [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.21024/207031/5648/1.03018/1.0028/3857, dt=1071ms [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.20839/191533/4696/1.0287/1.00264/3884, dt=1121ms [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.20844/157966/10515/1.02253/1.00207/3970, dt=789ms [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.21678/261466/7924/1.01904/1.00155/4029, dt=1129ms [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.22593/212015/7492/1.02623/1.00206/4072, dt=1254ms [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.22537/198952/6728/1.03312/1.00253/4109, dt=1390ms [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.20769/187800/5890/1.03421/1.00257/4109, dt=1521ms [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.10042/200658/49226/1.09646/1.00711/7737, dt=1897ms [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.18591/464830/52435/1.13005/1.00682/11216, dt=4075ms [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.2293/851518/53479/1.14028/1.00581/14571, dt=7688ms [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.27691/1413252/55340/1.15613/1.00546/17814, dt=14289ms [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.29323/2015591/97035/1.21779/1.00661/21181, dt=24452ms [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.36796/2747210/96101/1.31517/1.00819/24490, dt=54765ms [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.41271/3283314/93326/1.32712/1.00758/27752, dt=74895ms [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.43392/3619205/88461/1.31419/1.00672/30978, dt=93323ms [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.44799/3906052/124244/1.42189/1.00854/34336, dt=116030ms [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.49509/4573484/122402/1.55648/1.00984/37652, dt=168802ms [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.51302/4954424/114168/1.58878/1.00953/40958, dt=222679ms [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.50906/5063837/127908/1.73682/1.01137/44299, dt=267331ms [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.52303/5277351/112279/1.76136/1.01109/47654, dt=320181ms [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.5112/5041843/91099/1.65445/1.00941/50994, dt=316969ms [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.42648/3863912/103274/1.53067/1.00776/57136, dt=252398ms [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.45308/3536176/82798/1.4501/1.00698/63394, dt=219310ms [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.45096/3371937/62122/1.34783/1.00571/69826, dt=186877ms [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.42694/3178027/41158/1.20684/1.00369/76490, dt=161970ms [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.4254/2852508/48820/1.19784/1.00397/83414, dt=104926ms [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.42743/2751641/40977/1.1722/1.00356/90552, dt=92800ms [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.41475/2588914/31960/1.11156/1.0024/97962, dt=84905ms [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.39397/2230074/31120/1.09318/1.00212/105688, dt=67448ms [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.38405/2076821/25418/1.05899/1.00139/113750, dt=58129ms [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.37617/1825870/19284/1.03604/1.00089/122204, dt=50061ms [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.36337/1234720/31724/1.06478/1.00169/133252, dt=29449ms [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.37102/1248048/31460/1.06989/1.00175/144808, dt=31543ms [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.3696/1264792/30556/1.07264/1.00175/156988, dt=35483ms [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.37677/1167344/31856/1.09074/1.00214/169728, dt=39346ms [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.3748/1185540/29644/1.08649/1.00198/183228, dt=44015ms [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.37536/1128932/25692/1.07617/1.00172/197696, dt=50100ms [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.38185/959296/33256/1.11592/1.00261/214936, dt=50795ms [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.37524/1000864/32136/1.10657/1.00232/233184, dt=60209ms [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.37133/954264/27576/1.09612/1.00205/252784, dt=68487ms [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.38461/864032/23056/1.09008/1.00191/275840, dt=72887ms Narrowing and verification time: 3463831ms Overall time: 3475125ms