***********************************************************************************
* 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/667] ( 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/-/-/4, dt=0ms
[2/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 6(0)/3(0)/2.29282/0/0/-/-/5, dt=1ms
[3/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 10(0)/4(0)/2.14974/0/0/-/-/6, dt=1ms
[4/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 15(0)/5(0)/2.09015/0/0/-/-/8, dt=1ms
[5/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 21(0)/6(0)/1.87957/0/0/-/-/9, dt=1ms
[6/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 28(0)/7(0)/1.79673/0/0/-/-/10, dt=1ms
[7/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 36(0)/8(0)/1.76889/0/0/-/-/11, dt=1ms
[8/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 45(0)/9(0)/1.76939/0/0/-/-/12, dt=1ms
[9/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 55(0)/10(0)/1.74197/0/0/-/-/13, dt=1ms
[10/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 66(0)/11(0)/1.59819/0/0/-/-/14, dt=2ms
[11/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 78(0)/12(0)/1.57238/0/0/-/-/15, dt=2ms
[12/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 91(0)/13(0)/1.56027/0/0/-/-/16, dt=2ms
[13/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 105(0)/14(0)/1.53779/0/0/-/-/17, dt=3ms
[14/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 120(0)/15(0)/1.51191/0/0/-/-/18, dt=2ms
[15/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 136(0)/16(0)/1.50402/0/0/-/-/19, dt=3ms
[16/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 153(0)/17(0)/1.45512/0/0/-/-/20, dt=3ms
[17/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 171(0)/18(0)/1.46544/0/0/-/-/21, dt=3ms
[18/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 190(0)/19(0)/1.45069/0/0/-/-/22, dt=3ms
[19/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 210(0)/20(0)/1.44386/0/0/-/-/23, dt=3ms
[20/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 231(0)/21(0)/1.41359/0/0/-/-/24, dt=3ms
[21/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 253(0)/22(0)/1.41859/0/0/-/-/48, dt=12ms
[22/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 23(0.913043)/253(0)/1.37042/253/253/1.22857/2.04755/48, dt=20ms
[23/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 44(0.977273)/253(0)/1.45727/253/253/1.29444/2.14876/48, dt=17ms
[24/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 64(1.01562)/253(0)/1.79971/253/253/1.32014/2.10673/48, dt=17ms
[25/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 83(1.06024)/253(0)/1.7329/253/253/1.29108/1.91557/49, dt=18ms
[26/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 101(1.10891)/252(0)/1.74123/250/250/1.34409/1.99878/49, dt=18ms
[27/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 118(1.16102)/250(0)/1.72451/247/247/1.27716/1.75492/49, dt=18ms
[28/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 134(1.21642)/247(0)/1.74337/243/243/1.29531/1.76199/49, dt=18ms
[29/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 149(1.27517)/243(0)/1.77311/238/238/1.28697/1.70671/49, dt=18ms
[30/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 163(1.33742)/238(0)/1.75735/232/232/1.27186/1.64287/49, dt=17ms
[31/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 176(1.40341)/232(0)/1.79722/225/225/1.26637/1.60788/49, dt=17ms
[32/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 188(1.4734)/225(0)/1.85581/217/217/1.24191/1.53506/49, dt=17ms
[33/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 199(1.54774)/217(0)/1.86861/208/208/1.23555/1.50682/49, dt=16ms
[34/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 209(1.62679)/208(0)/1.91311/198/198/1.22704/1.47679/49, dt=16ms
[35/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 218(1.71101)/198(0)/1.92644/187/187/1.21966/1.45151/49, dt=15ms
[36/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 226(1.80088)/187(0)/1.94745/175/175/1.20973/1.42306/49, dt=14ms
[37/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 233(1.897)/175(0)/1.95693/162/162/1.20041/1.39769/49, dt=13ms
[38/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 239(2)/162(0)/2.00449/148/148/1.19153/1.3747/49, dt=12ms
[39/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 244(2.11066)/148(0)/2.01045/133/133/1.18344/1.35453/49, dt=11ms
[40/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 248(2.22984)/133(0)/2.02521/117/117/1.17535/1.33546/49, dt=10ms
[41/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 251(2.35857)/117(0)/2.07424/100/100/1.15171/1.28782/49, dt=9ms
[42/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 253(2.49802)/100(0)/2.0493/82/82/1.14073/1.26521/49, dt=8ms
[43/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(2.64961)/82(0)/2.04853/63/63/1.13176/1.24709/49, dt=6ms
[44/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(2.81496)/63(0)/2.02787/43/43/1.10539/1.197/49, dt=5ms
[45/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(2.98425)/43(0)/2.00756/22/22/1.10742/1.2008/49, dt=3ms
[46/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(3.07087)/22(0)/1.92203/0/0/-/-/49, dt=1ms
[47/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 23(4.86957)/253(3)/2.37672/799/275/1.0952/1.17795/49, dt=17ms
[48/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 44(4.47727)/253(2.91304)/1.95754/820/274/1.16349/1.2952/49, dt=17ms
[49/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 64(4.35938)/253(2.74308)/2.14154/836/273/1.14765/1.2584/49, dt=18ms
[50/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 83(4.3253)/253(2.57708)/2.13133/847/271/1.15757/1.26844/49, dt=18ms
[51/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 101(4.32673)/252(2.4246)/2.00387/853/268/1.19006/1.3164/49, dt=18ms
[52/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 118(4.34746)/250(2.284)/2.12938/854/264/1.21635/1.35316/49, dt=19ms
[53/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 134(4.3806)/247(2.15385)/2.12305/850/259/1.19948/1.32029/49, dt=18ms
[54/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 149(4.42282)/243(2.03292)/2.09636/841/253/1.21461/1.33992/49, dt=18ms
[55/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 163(4.47239)/238(1.92017)/2.12323/827/246/1.1979/1.31005/49, dt=18ms
[56/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 176(4.52841)/232(1.81466)/2.11399/808/238/1.20275/1.315/49, dt=18ms
[57/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 188(4.59043)/225(1.71556)/2.10702/784/229/1.19143/1.29566/49, dt=17ms
[58/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 199(4.65829)/217(1.62212)/2.10307/755/219/1.19141/1.29459/49, dt=17ms
[59/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 209(4.73206)/208(1.53365)/2.07932/721/208/1.18786/1.28879/49, dt=16ms
[60/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 218(4.81193)/198(1.44949)/2.0487/682/196/1.19068/1.29347/49, dt=16ms
[61/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 226(4.89823)/187(1.36898)/2.04792/638/183/1.20384/1.31482/49, dt=14ms
[62/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 233(4.99142)/175(1.29143)/2.05079/589/169/1.19923/1.30953/49, dt=14ms
[63/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 239(5.09205)/162(1.21605)/2.06344/535/154/1.18185/1.2849/49, dt=12ms
[64/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 244(5.20082)/148(1.14189)/2.09986/476/138/1.1733/1.27448/49, dt=11ms
[65/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 248(5.31855)/133(1.06767)/2.09265/412/121/1.15735/1.25265/49, dt=10ms
[66/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 251(5.44622)/117(0.991453)/2.10505/343/103/1.15034/1.24542/49, dt=9ms
[67/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 253(5.58498)/100(0.91)/2.12081/269/84/1.13671/1.22758/49, dt=7ms
[68/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(5.73622)/82(0.817073)/2.11382/190/64/1.13117/1.22346/49, dt=6ms
[69/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(5.90157)/63(0.698413)/2.09581/106/43/1.11133/1.19484/49, dt=4ms
[70/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(6.07087)/43(0.511628)/2.05748/22/22/1.12484/1.22542/49, dt=3ms
[71/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(6.15748)/22(0)/1.92203/0/0/-/-/49, dt=1ms
[72/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 23(8.82609)/253(6)/2.37672/799/275/1.0952/1.17795/49, dt=18ms
[73/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 44(7.97727)/253(5.82609)/2.26695/1299/274/1.10558/1.19064/49, dt=18ms
[74/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 64(7.70312)/253(5.48617)/2.14154/1714/273/1.08392/1.14687/49, dt=18ms
[75/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 83(7.59036)/253(5.15415)/2.13133/2084/271/1.06874/1.1171/49, dt=19ms
[76/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 101(7.54455)/252(4.84921)/2.12615/2409/268/1.07009/1.11668/49, dt=19ms
[77/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 118(7.5339)/250(4.568)/2.13254/2689/264/1.06998/1.11424/49, dt=19ms
[78/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 134(7.54478)/247(4.30769)/2.12305/2924/259/1.05651/1.09073/49, dt=19ms
[79/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 149(7.57047)/243(4.06584)/2.14417/3114/253/1.05482/1.08683/49, dt=19ms
[80/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 163(7.60736)/238(3.84034)/2.12323/3259/246/1.06107/1.09567/49, dt=18ms
[81/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 176(7.65341)/232(3.62931)/2.11383/3359/238/1.05877/1.0913/49, dt=18ms
[82/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 188(7.70745)/225(3.43111)/2.09702/3414/229/1.05411/1.08357/49, dt=18ms
[83/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 199(7.76884)/217(3.24424)/2.08308/3424/219/1.05631/1.08666/49, dt=17ms
[84/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 209(7.83732)/208(3.06731)/2.07077/3389/208/1.05395/1.08294/49, dt=17ms
[85/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 218(7.91284)/198(2.89899)/2.06433/3309/196/1.05253/1.08085/49, dt=16ms
[86/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 226(7.99558)/187(2.73797)/2.06821/3184/183/1.04978/1.07688/49, dt=15ms
[87/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 233(8.08584)/175(2.58286)/2.07021/3014/169/1.04759/1.07394/49, dt=14ms
[88/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 239(8.1841)/162(2.4321)/2.07861/2799/154/1.04026/1.06307/49, dt=13ms
[89/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 244(8.29098)/148(2.28378)/2.09986/2539/138/1.03816/1.06044/49, dt=11ms
[90/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 248(8.40726)/133(2.13534)/2.09265/2234/121/1.03542/1.05687/49, dt=10ms
[91/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 251(8.53386)/117(1.98291)/2.10505/1884/103/1.03347/1.05463/49, dt=9ms
[92/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 253(8.67194)/100(1.82)/2.12081/1489/84/1.0306/1.05094/49, dt=8ms
[93/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(8.82283)/82(1.63415)/2.11382/1050/64/1.02744/1.04674/49, dt=6ms
[94/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(8.98819)/63(1.39683)/2.09581/548/43/1.0271/1.04743/49, dt=4ms
[95/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(9.15748)/43(1.02326)/2.05748/44/22/1.08304/1.14994/49, dt=3ms
[96/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(9.24409)/22(0)/1.92203/0/0/-/-/49, dt=1ms
[97/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 23(12.7826)/253(9)/2.37672/799/275/1.0952/1.17795/71, dt=29ms
[98/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 44(11.4773)/253(8.73913)/2.26695/1299/274/1.10625/1.19185/92, dt=21ms
[99/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 64(11.0469)/253(8.22925)/2.14154/1714/273/1.08478/1.14838/112, dt=22ms
[100/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 83(10.8554)/253(7.73123)/2.13133/2084/271/1.07048/1.12007/131, dt=31ms
[101/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 101(10.7624)/252(7.27381)/2.12615/2409/268/1.0711/1.11836/149, dt=30ms
[102/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 118(10.7203)/250(6.852)/2.11368/2689/264/1.06845/1.11173/166, dt=23ms
[103/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 134(10.709)/247(6.46154)/2.10659/2924/259/1.06415/1.103/182, dt=24ms
[104/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 149(10.7181)/243(6.09877)/2.11781/3114/253/1.06485/1.10271/197, dt=22ms
[105/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 163(10.7423)/238(5.7605)/2.10957/3259/246/1.0619/1.09697/211, dt=21ms
[106/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 176(10.7784)/232(5.44397)/2.10148/3359/238/1.0509/1.07908/224, dt=21ms
[107/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 188(10.8245)/225(5.14667)/2.08751/3414/229/1.04986/1.077/236, dt=20ms
[108/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 199(10.8794)/217(4.86636)/2.08282/3424/219/1.04884/1.07517/247, dt=19ms
[109/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 209(10.9426)/208(4.60096)/2.07077/3389/208/1.04807/1.0739/257, dt=39ms
[110/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 218(11.0138)/198(4.34848)/2.06501/3309/196/1.04737/1.0729/266, dt=18ms
[111/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 226(11.0929)/187(4.10695)/2.06821/3184/183/1.04553/1.07033/274, dt=17ms
[112/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 233(11.1803)/175(3.87429)/2.07021/3014/169/1.04353/1.06763/281, dt=16ms
[113/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 239(11.2762)/162(3.64815)/2.08499/2799/154/1.04138/1.06483/287, dt=14ms
[114/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 244(11.3811)/148(3.42568)/2.07937/2539/138/1.03929/1.06224/292, dt=13ms
[115/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 248(11.496)/133(3.20301)/2.09265/2234/121/1.03745/1.06013/296, dt=12ms
[116/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 251(11.6215)/117(2.97436)/2.10505/1884/103/1.03451/1.05634/299, dt=10ms
[117/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 253(11.7589)/100(2.73)/2.12081/1489/84/1.03218/1.05358/301, dt=8ms
[118/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(11.9094)/82(2.45122)/2.11382/1050/64/1.0281/1.04788/302, dt=6ms
[119/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(12.0748)/63(2.09524)/2.07955/548/43/1.02907/1.05087/302, dt=4ms
[120/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(12.2441)/43(1.53488)/2.05748/44/22/1.08304/1.14994/302, dt=3ms
[121/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(12.3307)/22(0)/1.92203/0/0/-/-/302, dt=1ms
[122/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(12.9844)/2(96)/2.18952/512/512/1.11074/1.20701/305, dt=47ms
[123/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(13.0703)/506(9)/2.13079/24876/506/1.06526/1.07255/305, dt=59ms
[124/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(13.2383)/506(8.73913)/2.13867/23952/506/1.06998/1.0778/305, dt=55ms
[125/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(13.4023)/506(8.22925)/2.11753/22740/506/1.06641/1.07383/305, dt=58ms
[126/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(13.5664)/506(7.73123)/2.10855/21540/504/1.07092/1.07896/305, dt=53ms
[127/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(13.7305)/504(7.27381)/2.10679/20352/500/1.08641/1.09647/305, dt=60ms
[128/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(13.8945)/500(6.852)/2.11415/19176/494/1.07575/1.08492/305, dt=53ms
[129/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(14.0586)/494(6.46154)/2.09635/18012/486/1.08385/1.09453/305, dt=56ms
[130/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(14.2227)/486(6.09877)/2.10877/16860/476/1.07898/1.08967/305, dt=50ms
[131/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(14.3867)/476(5.7605)/2.10421/15720/464/1.07878/1.09021/305, dt=49ms
[132/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(14.5508)/464(5.44397)/2.12112/14592/450/1.07774/1.08993/305, dt=46ms
[133/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(14.7148)/450(5.14667)/2.09186/13476/434/1.07679/1.08989/305, dt=45ms
[134/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(14.8789)/434(4.86636)/2.09839/12372/416/1.0752/1.08924/305, dt=42ms
[135/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(15.043)/416(4.60096)/2.0922/11280/396/1.10821/1.1304/305, dt=43ms
[136/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(15.207)/396(4.34848)/2.07834/10200/374/1.06193/1.07594/305, dt=36ms
[137/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(15.3711)/374(4.10695)/2.08123/9132/350/1.0605/1.07566/305, dt=34ms
[138/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(15.5352)/350(3.87429)/2.08756/8076/324/1.0594/1.07593/305, dt=31ms
[139/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(15.6992)/324(3.64815)/2.09471/7032/296/1.05831/1.07639/305, dt=28ms
[140/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(15.8633)/296(3.42568)/2.08244/6000/266/1.05728/1.07714/305, dt=25ms
[141/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(16.0273)/266(3.20301)/2.10669/4980/234/1.05689/1.07901/305, dt=22ms
[142/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(16.1914)/234(2.97436)/2.1139/3972/200/1.06587/1.09468/305, dt=20ms
[143/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(16.3555)/200(2.73)/2.12992/2976/164/1.06513/1.09731/305, dt=16ms
[144/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(16.5195)/164(2.45122)/2.1131/1992/126/1.06418/1.10019/305, dt=13ms
[145/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(16.6836)/126(2.09524)/2.09146/1016/86/1.05869/1.09631/305, dt=9ms
[146/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(16.8516)/86(1.53488)/2.07024/44/44/1.13592/1.23616/305, dt=6ms
[147/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(16.9375)/44(0)/1.9408/0/0/-/-/305, dt=2ms
[148/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(17.8533)/3(96)/2.18726/777/767/1.22108/1.4106/309, dt=37ms
[149/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(17.9382)/759(9)/2.14183/39591/759/1.06827/1.06493/309, dt=91ms
[150/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(18.1042)/759(8.73913)/2.13041/37985/759/1.07308/1.06949/309, dt=87ms
[151/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(18.2664)/759(8.22925)/2.12109/35979/759/1.07184/1.06832/309, dt=90ms
[152/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(18.4286)/759(7.73123)/2.11033/34000/756/1.07204/1.06862/309, dt=83ms
[153/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(18.5907)/756(7.27381)/2.10883/32048/750/1.07409/1.07081/309, dt=87ms
[154/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(18.7529)/750(6.852)/2.11392/30123/741/1.07672/1.07368/309, dt=79ms
[155/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(18.9151)/741(6.46154)/2.11211/28225/729/1.08227/1.07952/309, dt=86ms
[156/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(19.0772)/729(6.09877)/2.10766/26354/714/1.08254/1.08045/309, dt=77ms
[157/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(19.2394)/714(5.7605)/2.11104/24510/696/1.08611/1.08478/309, dt=80ms
[158/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(19.4015)/696(5.44397)/2.12192/22693/675/1.0924/1.09207/309, dt=73ms
[159/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(19.5637)/675(5.14667)/2.09849/20903/651/1.09582/1.09683/309, dt=75ms
[160/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(19.7259)/651(4.86636)/2.09819/19140/624/1.09848/1.10114/309, dt=66ms
[161/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(19.888)/624(4.60096)/2.09218/17404/594/1.1006/1.10524/309, dt=63ms
[162/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(20.0502)/594(4.34848)/2.07751/15695/561/1.05913/1.06316/309, dt=53ms
[163/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(20.2124)/561(4.10695)/2.07442/14013/525/1.05832/1.0638/309, dt=49ms
[164/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(20.3745)/525(3.87429)/2.08964/12358/486/1.05778/1.06491/309, dt=45ms
[165/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(20.5367)/486(3.64815)/2.10418/10730/444/1.05728/1.06631/309, dt=41ms
[166/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(20.6988)/444(3.42568)/2.09218/9129/399/1.0569/1.06814/309, dt=37ms
[167/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(20.861)/399(3.20301)/2.13367/7555/351/1.05716/1.07113/309, dt=32ms
[168/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(21.0232)/351(2.97436)/2.14173/6008/300/1.06578/1.08549/309, dt=28ms
[169/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(21.1853)/300(2.73)/2.15591/4488/246/1.06605/1.09022/309, dt=23ms
[170/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(21.3475)/246(2.45122)/2.13824/2995/189/1.06254/1.09047/309, dt=18ms
[171/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(21.5097)/189(2.09524)/2.13743/1523/129/1.0728/1.11258/309, dt=13ms
[172/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(21.6757)/129(1.53488)/2.11036/66/66/1.163/1.2728/309, dt=8ms
[173/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(21.7606)/66(0)/1.97066/0/0/-/-/309, dt=3ms
[174/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(22.8897)/4(96)/2.18434/1052/1022/1.22455/1.41374/314, dt=46ms
[175/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(22.9734)/1012(9)/2.17258/54812/1012/1.06476/1.05431/314, dt=119ms
[176/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(23.1369)/1012(8.73913)/2.15884/52480/1012/1.0703/1.05895/314, dt=116ms
[177/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(23.2966)/1012(8.22925)/2.14859/49638/1012/1.06929/1.05811/314, dt=117ms
[178/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(23.4563)/1012(7.73123)/2.14397/46840/1008/1.06963/1.0585/314, dt=114ms
[179/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(23.616)/1008(7.27381)/2.13416/44086/1000/1.07379/1.06221/314, dt=118ms
[180/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(23.7757)/1000(6.852)/2.14543/41376/988/1.07522/1.06376/314, dt=110ms
[181/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(23.9354)/988(6.46154)/2.13461/38710/972/1.08001/1.06831/314, dt=114ms
[182/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(24.0951)/972(6.09877)/2.11871/36088/952/1.08054/1.06939/314, dt=104ms
[183/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(24.2548)/952(5.7605)/2.10598/33510/928/1.08372/1.07294/314, dt=106ms
[184/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(24.4144)/928(5.44397)/2.11777/30976/900/1.08977/1.07925/314, dt=98ms
[185/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(24.5741)/900(5.14667)/2.10224/28486/868/1.09345/1.08378/314, dt=98ms
[186/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(24.7338)/868(4.86636)/2.09516/26040/832/1.09601/1.08763/314, dt=89ms
[187/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(24.8935)/832(4.60096)/2.06547/23638/792/1.09845/1.09172/314, dt=86ms
[188/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(25.0532)/792(4.34848)/2.0763/21280/748/1.05913/1.05638/314, dt=68ms
[189/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(25.2129)/748(4.10695)/2.07326/18966/700/1.05876/1.05753/314, dt=66ms
[190/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(25.3726)/700(3.87429)/2.08824/16696/648/1.05856/1.05908/314, dt=57ms
[191/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(25.5323)/648(3.64815)/2.10256/14470/592/1.05842/1.06096/314, dt=53ms
[192/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(25.692)/592(3.42568)/2.09074/12288/532/1.05848/1.06342/314, dt=48ms
[193/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(25.8517)/532(3.20301)/2.13158/10150/468/1.05918/1.06704/314, dt=42ms
[194/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(26.0114)/468(2.97436)/2.13952/8056/400/1.06774/1.08069/314, dt=36ms
[195/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(26.1711)/400(2.73)/2.15347/6006/328/1.06871/1.08673/314, dt=30ms
[196/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(26.3308)/328(2.45122)/2.13608/4000/252/1.06648/1.08978/314, dt=23ms
[197/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(26.4905)/252(2.09524)/2.13528/2030/172/1.07373/1.1079/314, dt=17ms
[198/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(26.654)/172(1.53488)/2.10863/88/88/1.18503/1.29858/314, dt=10ms
[199/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(26.7376)/88(0)/1.97112/0/0/-/-/314, dt=3ms
[200/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(28.0299)/5(96)/2.18082/1337/1277/1.42919/1.78338/320, dt=56ms
[201/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(28.1119)/1265(9)/2.16927/70539/1265/1.07058/1.05325/320, dt=155ms
[202/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(28.2724)/1265(8.73913)/2.1558/67437/1265/1.07524/1.05677/320, dt=151ms
[203/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(28.4291)/1265(8.22925)/2.14575/63717/1265/1.07335/1.05535/320, dt=152ms
[204/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(28.5858)/1265(7.73123)/2.13352/60060/1260/1.07436/1.05621/320, dt=147ms
[205/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(28.7425)/1260(7.27381)/2.13929/56466/1250/1.07778/1.05902/320, dt=151ms
[206/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(28.8993)/1250(6.852)/2.1525/52935/1235/1.07827/1.05973/320, dt=141ms
[207/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(29.056)/1235(6.46154)/2.1192/49467/1215/1.08282/1.06369/320, dt=145ms
[208/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(29.2127)/1215(6.09877)/2.11644/46062/1190/1.08339/1.06476/320, dt=132ms
[209/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(29.3694)/1190(5.7605)/2.10395/42720/1160/1.08639/1.06789/320, dt=134ms
[210/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(29.5261)/1160(5.44397)/2.11551/39441/1125/1.09234/1.0736/320, dt=124ms
[211/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(29.6828)/1125(5.14667)/2.10028/36225/1085/1.09573/1.07757/320, dt=125ms
[212/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(29.8396)/1085(4.86636)/2.09334/33072/1040/1.09837/1.08124/320, dt=113ms
[213/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(29.9963)/1040(4.60096)/2.06422/29982/990/1.10059/1.08492/320, dt=108ms
[214/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(30.153)/990(4.34848)/2.07484/26955/935/1.06423/1.05559/320, dt=85ms
[215/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(30.3097)/935(4.10695)/2.07186/23991/875/1.0641/1.05708/320, dt=82ms
[216/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(30.4664)/875(3.87429)/2.08655/21090/810/1.06418/1.05902/320, dt=72ms
[217/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(30.6231)/810(3.64815)/2.1006/18252/740/1.06446/1.0615/320, dt=66ms
[218/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(30.7799)/740(3.42568)/2.089/15477/665/1.06496/1.06462/320, dt=58ms
[219/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(30.9366)/665(3.20301)/2.12907/12765/585/1.06624/1.06913/320, dt=52ms
[220/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(31.0933)/585(2.97436)/2.14031/10116/500/1.07478/1.08246/320, dt=45ms
[221/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(31.25)/500(2.73)/2.15054/7530/410/1.0767/1.09019/320, dt=37ms
[222/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(31.4067)/410(2.45122)/2.13348/5007/315/1.07536/1.0956/320, dt=28ms
[223/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(31.5634)/315(2.09524)/2.1327/2537/215/1.08433/1.11723/320, dt=20ms
[224/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(31.7239)/215(1.53488)/2.10656/110/110/1.17463/1.27195/320, dt=11ms
[225/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(31.806)/110(0)/1.97167/0/0/-/-/320, dt=4ms
[226/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(33.2117)/6(96)/2.19932/1632/1532/1.4573/1.82572/327, dt=63ms
[227/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(33.292)/1518(9)/2.18804/86772/1518/1.06931/1.04774/327, dt=188ms
[228/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(33.4489)/1518(8.73913)/2.17487/82856/1518/1.0736/1.0507/327, dt=188ms
[229/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(33.6022)/1518(8.22925)/2.16504/78216/1518/1.07192/1.04953/327, dt=183ms
[230/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(33.7555)/1518(7.73123)/2.15309/73660/1512/1.0729/1.05031/327, dt=179ms
[231/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(33.9088)/1512(7.27381)/2.15873/69188/1500/1.07613/1.05275/327, dt=182ms
[232/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(34.062)/1500(6.852)/2.17164/64800/1482/1.07663/1.05341/327, dt=172ms
[233/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(34.2153)/1482(6.46154)/2.13909/60496/1458/1.08091/1.05685/327, dt=172ms
[234/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(34.3686)/1458(6.09877)/2.13639/56276/1428/1.08152/1.05786/327, dt=158ms
[235/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(34.5219)/1428(5.7605)/2.12418/52140/1392/1.08436/1.06063/327, dt=159ms
[236/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(34.6752)/1392(5.44397)/2.13549/48088/1350/1.09006/1.06569/327, dt=152ms
[237/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(34.8285)/1350(5.14667)/2.1206/44120/1302/1.09334/1.06927/327, dt=150ms
[238/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(34.9818)/1302(4.86636)/2.11381/40236/1248/1.09594/1.07264/327, dt=134ms
[239/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(35.135)/1248(4.60096)/2.08534/36436/1188/1.09818/1.07606/327, dt=129ms
[240/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(35.2883)/1188(4.34848)/2.09573/32720/1122/1.06433/1.05116/327, dt=102ms
[241/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(35.4416)/1122(4.10695)/2.09281/29088/1050/1.06456/1.05291/327, dt=98ms
[242/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(35.5949)/1050(3.87429)/2.10717/25540/972/1.06484/1.05498/327, dt=87ms
[243/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(35.7482)/972(3.64815)/2.1209/22076/888/1.06532/1.05759/327, dt=79ms
[244/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(35.9015)/888(3.42568)/2.10957/18696/798/1.06607/1.06089/327, dt=69ms
[245/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(36.0547)/798(3.20301)/2.13768/15400/702/1.06751/1.06548/327, dt=61ms
[246/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(36.208)/702(2.97436)/2.14661/12188/600/1.07598/1.07817/327, dt=53ms
[247/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(36.3613)/600(2.73)/2.14265/9060/492/1.07841/1.08646/327, dt=44ms
[248/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(36.5146)/492(2.45122)/2.15305/6016/378/1.07825/1.09371/327, dt=34ms
[249/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(36.6679)/378(2.09524)/2.15228/3044/258/1.08762/1.11605/327, dt=24ms
[250/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(36.8248)/258(1.53488)/2.12673/132/132/1.17186/1.25851/327, dt=13ms
[251/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(36.9051)/132(0)/1.99487/0/0/-/-/327, dt=4ms
[252/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(38.3772)/7(96)/2.19423/1937/1787/1.45695/1.81517/335, dt=69ms
[253/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(38.4555)/1771(9)/2.18324/103511/1771/1.06708/1.04264/335, dt=220ms
[254/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(38.6085)/1771(8.73913)/2.17041/98737/1771/1.07112/1.0452/335, dt=219ms
[255/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(38.758)/1771(8.22925)/2.16083/93135/1771/1.0696/1.04424/335, dt=218ms
[256/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(38.9075)/1771(7.73123)/2.14919/87640/1764/1.07057/1.04494/335, dt=206ms
[257/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(39.0569)/1764(7.27381)/2.15468/82252/1750/1.07363/1.04709/335, dt=210ms
[258/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(39.2064)/1750(6.852)/2.16726/76971/1729/1.07417/1.04773/335, dt=197ms
[259/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(39.3559)/1729(6.46154)/2.13554/71797/1701/1.07824/1.05076/335, dt=199ms
[260/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(39.5053)/1701(6.09877)/2.13291/66730/1666/1.07886/1.0517/335, dt=185ms
[261/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(39.6548)/1666(5.7605)/2.12102/61770/1624/1.08165/1.05422/335, dt=186ms
[262/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(39.8043)/1624(5.44397)/2.13203/56917/1575/1.08708/1.05872/335, dt=173ms
[263/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(39.9537)/1575(5.14667)/2.11752/52171/1519/1.09028/1.06198/335, dt=172ms
[264/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(40.1032)/1519(4.86636)/2.11091/47532/1456/1.09284/1.06507/335, dt=155ms
[265/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(40.2527)/1456(4.60096)/2.08316/43000/1386/1.09509/1.06827/335, dt=147ms
[266/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(40.4021)/1386(4.34848)/2.09329/38575/1309/1.06342/1.04679/335, dt=117ms
[267/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(40.5516)/1309(4.10695)/2.09044/34257/1225/1.06377/1.04854/335, dt=112ms
[268/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(40.7011)/1225(3.87429)/2.10444/30046/1134/1.0642/1.05063/335, dt=99ms
[269/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(40.8505)/1134(3.64815)/2.11782/25942/1036/1.06483/1.05324/335, dt=91ms
[270/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(41)/1036(3.42568)/2.10677/21945/931/1.06573/1.05655/335, dt=79ms
[271/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(41.1495)/931(3.20301)/2.13417/18055/819/1.06737/1.06115/335, dt=70ms
[272/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(41.2989)/819(2.97436)/2.14286/14272/700/1.07574/1.07317/335, dt=60ms
[273/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(41.4484)/700(2.73)/2.13901/10596/574/1.07844/1.08155/335, dt=50ms
[274/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(41.5979)/574(2.45122)/2.14914/7027/441/1.07873/1.08939/335, dt=38ms
[275/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(41.7473)/441(2.09524)/2.1484/3551/301/1.08837/1.11182/335, dt=27ms
[276/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(41.9004)/301(1.53488)/2.1235/154/154/1.17968/1.26127/335, dt=15ms
[277/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(41.9786)/154(0)/1.995/0/0/-/-/335, dt=5ms
[278/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(43.474)/8(96)/2.18873/2252/2042/1.46342/1.81577/344, dt=74ms
[279/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(43.5502)/2024(9)/2.17805/120756/2024/1.0654/1.03868/344, dt=247ms
[280/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(43.699)/2024(8.73913)/2.16558/115080/2024/1.06932/1.041/344, dt=248ms
[281/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(43.8443)/2024(8.22925)/2.15627/108474/2024/1.06791/1.04017/344, dt=240ms
[282/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(43.9896)/2024(7.73123)/2.14496/102000/2016/1.06882/1.04079/344, dt=234ms
[283/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(44.1349)/2016(7.27381)/2.15029/95658/2000/1.07175/1.04271/344, dt=238ms
[284/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(44.2803)/2000(6.852)/2.16252/89448/1976/1.07237/1.04334/344, dt=225ms
[285/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(44.4256)/1976(6.46154)/2.1317/83370/1944/1.07628/1.04608/344, dt=226ms
[286/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(44.5709)/1944(6.09877)/2.12915/77424/1904/1.07691/1.04697/344, dt=208ms
[287/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(44.7163)/1904(5.7605)/2.11759/71610/1856/1.0796/1.04925/344, dt=208ms
[288/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(44.8616)/1856(5.44397)/2.12829/65928/1800/1.08485/1.05333/344, dt=195ms
[289/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(45.0069)/1800(5.14667)/2.11419/60378/1736/1.08795/1.05631/344, dt=192ms
[290/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(45.1522)/1736(4.86636)/2.10776/54960/1664/1.09048/1.05918/344, dt=175ms
[291/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(45.2976)/1664(4.60096)/2.08081/49674/1584/1.09272/1.06215/344, dt=168ms
[292/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(45.4429)/1584(4.34848)/2.09064/44520/1496/1.06285/1.04333/344, dt=132ms
[293/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(45.5882)/1496(4.10695)/2.08788/39498/1400/1.06335/1.0451/344, dt=124ms
[294/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(45.7336)/1400(3.87429)/2.10148/34608/1296/1.06387/1.04717/344, dt=111ms
[295/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(45.8789)/1296(3.64815)/2.11448/29850/1184/1.06464/1.04979/344, dt=102ms
[296/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(46.0242)/1184(3.42568)/2.10375/25224/1064/1.06572/1.05311/344, dt=89ms
[297/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(46.1696)/1064(3.20301)/2.13036/20730/936/1.06749/1.05767/344, dt=79ms
[298/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(46.3149)/936(2.97436)/2.13882/16368/800/1.07574/1.06906/344, dt=67ms
[299/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(46.4602)/800(2.73)/2.13507/12138/656/1.0787/1.07749/344, dt=55ms
[300/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(46.6055)/656(2.45122)/2.14491/8040/504/1.07952/1.0859/344, dt=42ms
[301/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(46.7509)/504(2.09524)/2.14419/4058/344/1.08941/1.10834/344, dt=30ms
[302/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(46.8997)/344(1.53488)/2.12/176/176/1.1757/1.24717/344, dt=16ms
[303/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(46.9758)/176(0)/1.99514/0/0/-/-/344, dt=5ms
[304/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(48.4564)/9(96)/2.1898/2577/2297/1.47223/1.81935/354, dt=79ms
[305/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(48.5302)/2277(9)/2.17945/138507/2277/1.06432/1.03565/354, dt=277ms
[306/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(48.6745)/2277(8.73913)/2.16736/131885/2277/1.06804/1.03771/354, dt=286ms
[307/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(48.8154)/2277(8.22925)/2.15835/124233/2277/1.06669/1.03696/354, dt=280ms
[308/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(48.9564)/2277(7.73123)/2.14738/116740/2268/1.06763/1.03756/354, dt=269ms
[309/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(49.0973)/2268(7.27381)/2.15255/109406/2250/1.07042/1.03927/354, dt=275ms
[310/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(49.2383)/2250(6.852)/2.1644/102231/2223/1.07101/1.03986/354, dt=256ms
[311/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(49.3792)/2223(6.46154)/2.13453/95215/2187/1.07479/1.04235/354, dt=261ms
[312/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(49.5201)/2187(6.09877)/2.13206/88358/2142/1.07542/1.04318/354, dt=237ms
[313/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(49.6611)/2142(5.7605)/2.12085/81660/2088/1.07807/1.0453/354, dt=238ms
[314/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(49.802)/2088(5.44397)/2.13122/75121/2025/1.08314/1.04903/354, dt=217ms
[315/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(49.943)/2025(5.14667)/2.11756/68741/1953/1.08618/1.05178/354, dt=213ms
[316/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(50.0839)/1953(4.86636)/2.11133/62520/1872/1.08869/1.05447/354, dt=196ms
[317/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(50.2248)/1872(4.60096)/2.08521/56458/1782/1.0909/1.05725/354, dt=184ms
[318/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(50.3658)/1782(4.34848)/2.09474/50555/1683/1.06259/1.04057/354, dt=146ms
[319/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(50.5067)/1683(4.10695)/2.09207/44811/1575/1.06318/1.04232/354, dt=137ms
[320/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(50.6477)/1575(3.87429)/2.10524/39226/1458/1.06382/1.04439/354, dt=122ms
[321/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(50.7886)/1458(3.64815)/2.11784/33800/1332/1.06467/1.04697/354, dt=110ms
[322/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(50.9295)/1332(3.42568)/2.10744/28533/1197/1.06588/1.05027/354, dt=97ms
[323/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(51.0705)/1197(3.20301)/2.13324/23425/1053/1.06779/1.05479/354, dt=85ms
[324/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(51.2114)/1053(2.97436)/2.14143/18476/900/1.0759/1.06561/354, dt=72ms
[325/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(51.3523)/900(2.73)/2.13779/13686/738/1.07888/1.07383/354, dt=58ms
[326/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(51.4933)/738(2.45122)/2.14734/9055/567/1.08033/1.0828/354, dt=44ms
[327/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(51.6342)/567(2.09524)/2.14664/4565/387/1.09046/1.10518/354, dt=31ms
[328/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(51.7785)/387(1.53488)/2.12319/198/198/1.17227/1.23464/354, dt=16ms
[329/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(51.8523)/198(0)/2.0022/0/0/-/-/354, dt=5ms
[330/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(53.2857)/10(96)/2.1835/2912/2552/1.4759/1.813/365, dt=83ms
[331/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(53.3571)/2530(9)/2.17349/156764/2530/1.06293/1.03286/365, dt=315ms
[332/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(53.4968)/2530(8.73913)/2.1618/149152/2530/1.0668/1.03488/365, dt=322ms
[333/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(53.6331)/2530(8.22925)/2.15309/140412/2530/1.06559/1.03425/365, dt=307ms
[334/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(53.7695)/2530(7.73123)/2.14249/131860/2520/1.06661/1.03485/365, dt=307ms
[335/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(53.9058)/2520(7.27381)/2.14749/123496/2500/1.0693/1.03642/365, dt=304ms
[336/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(54.0422)/2500(6.852)/2.15894/115320/2470/1.06997/1.03701/365, dt=287ms
[337/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(54.1786)/2470(6.46154)/2.13006/107332/2430/1.07362/1.03929/365, dt=283ms
[338/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(54.3149)/2430(6.09877)/2.12767/99532/2380/1.07428/1.04009/365, dt=266ms
[339/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(54.4513)/2380(5.7605)/2.11684/91920/2320/1.07687/1.04206/365, dt=261ms
[340/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(54.5877)/2320(5.44397)/2.12687/84496/2250/1.08177/1.04548/365, dt=248ms
[341/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(54.724)/2250(5.14667)/2.11366/77260/2170/1.08476/1.04805/365, dt=243ms
[342/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(54.8604)/2170(4.86636)/2.10764/70212/2080/1.08725/1.05058/365, dt=221ms
[343/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(54.9968)/2080(4.60096)/2.08238/63352/1980/1.08946/1.0532/365, dt=207ms
[344/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(55.1331)/1980(4.34848)/2.0916/56680/1870/1.06252/1.03829/365, dt=163ms
[345/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(55.2695)/1870(4.10695)/2.08901/50196/1750/1.06317/1.04001/365, dt=153ms
[346/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(55.4058)/1750(3.87429)/2.10175/43900/1620/1.06389/1.04206/365, dt=136ms
[347/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(55.5422)/1620(3.64815)/2.11393/37792/1480/1.06488/1.04463/365, dt=122ms
[348/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(55.6786)/1480(3.42568)/2.10388/31872/1330/1.06616/1.04788/365, dt=106ms
[349/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(55.8149)/1330(3.20301)/2.12881/26140/1170/1.06819/1.05234/365, dt=92ms
[350/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(55.9513)/1170(2.97436)/2.13673/20596/1000/1.07626/1.06271/365, dt=79ms
[351/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(56.0877)/1000(2.73)/2.13322/15240/820/1.07946/1.07093/365, dt=64ms
[352/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(56.224)/820(2.45122)/2.14244/10072/630/1.08114/1.08002/365, dt=48ms
[353/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(56.3604)/630(2.09524)/2.14177/5072/430/1.09163/1.10243/365, dt=34ms
[354/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(56.5)/430(1.53488)/2.1191/220/220/1.16647/1.21969/365, dt=17ms
[355/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(56.5714)/220(0)/2.00212/0/0/-/-/365, dt=5ms
[356/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(57.931)/11(96)/2.1899/3257/2807/1.47512/1.79843/377, dt=85ms
[357/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(58)/2783(9)/2.18025/175527/2783/1.0615/1.0304/377, dt=350ms
[358/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(58.1348)/2783(8.73913)/2.16898/166881/2783/1.06522/1.03223/377, dt=362ms
[359/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(58.2665)/2783(8.22925)/2.16057/157011/2783/1.06409/1.03167/377, dt=339ms
[360/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(58.3981)/2783(7.73123)/2.15034/147360/2772/1.06507/1.03223/377, dt=340ms
[361/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(58.5298)/2772(7.27381)/2.15516/137928/2750/1.06766/1.03366/377, dt=328ms
[362/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(58.6614)/2750(6.852)/2.16621/128715/2717/1.06832/1.03421/377, dt=319ms
[363/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(58.7931)/2717(6.46154)/2.13835/119721/2673/1.07184/1.0363/377, dt=315ms
[364/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(58.9248)/2673(6.09877)/2.13605/110946/2618/1.0725/1.03705/377, dt=296ms
[365/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(59.0564)/2618(5.7605)/2.1256/102390/2552/1.07501/1.03887/377, dt=286ms
[366/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(59.1881)/2552(5.44397)/2.13527/94053/2475/1.07973/1.04201/377, dt=275ms
[367/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(59.3197)/2475(5.14667)/2.12253/85935/2387/1.08266/1.04441/377, dt=266ms
[368/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(59.4514)/2387(4.86636)/2.11672/78036/2288/1.08509/1.04676/377, dt=246ms
[369/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(59.5831)/2288(4.60096)/2.09235/70356/2178/1.08728/1.04923/377, dt=231ms
[370/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(59.7147)/2178(4.34848)/2.10124/62895/2057/1.06152/1.03575/377, dt=182ms
[371/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(59.8464)/2057(4.10695)/2.09875/55653/1925/1.06219/1.0374/377, dt=167ms
[372/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(59.9781)/1925(3.87429)/2.11104/48630/1782/1.06295/1.03936/377, dt=147ms
[373/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(60.1097)/1782(3.64815)/2.12279/41826/1628/1.06398/1.04184/377, dt=133ms
[374/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(60.2414)/1628(3.42568)/2.11309/35241/1463/1.06529/1.04497/377, dt=116ms
[375/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(60.373)/1463(3.20301)/2.13715/28875/1287/1.06734/1.04925/377, dt=101ms
[376/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(60.5047)/1287(2.97436)/2.14479/22728/1100/1.07523/1.05905/377, dt=86ms
[377/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(60.6364)/1100(2.73)/2.1414/16800/902/1.0785/1.06702/377, dt=69ms
[378/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(60.768)/902(2.45122)/2.1503/11091/693/1.08031/1.07597/377, dt=51ms
[379/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(60.8997)/693(2.09524)/2.14964/5579/473/1.09104/1.09802/377, dt=36ms
[380/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(61.0345)/473(1.53488)/2.12778/242/242/1.16296/1.2085/377, dt=18ms
[381/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(61.1034)/242(0)/2.01492/0/0/-/-/377, dt=6ms
[382/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(62.3686)/12(96)/2.18907/3612/3062/1.47363/1.78224/390, dt=86ms
[383/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(62.435)/3036(9)/2.17977/194796/3036/1.06005/1.0282/390, dt=383ms
[384/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(62.565)/3036(8.73913)/2.16892/185072/3036/1.06365/1.02989/390, dt=389ms
[385/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(62.6918)/3036(8.22925)/2.16082/174030/3036/1.06259/1.02939/390, dt=364ms
[386/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(62.8187)/3036(7.73123)/2.15097/163240/3024/1.06354/1.02991/390, dt=366ms
[387/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(62.9456)/3024(7.27381)/2.15562/152702/3000/1.06605/1.03122/390, dt=352ms
[388/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(63.0725)/3000(6.852)/2.16626/142416/2964/1.0667/1.03175/390, dt=346ms
[389/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(63.1994)/2964(6.46154)/2.13943/132382/2916/1.07013/1.03368/390, dt=337ms
[390/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(63.3263)/2916(6.09877)/2.13721/122600/2856/1.07079/1.03439/390, dt=320ms
[391/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(63.4532)/2856(5.7605)/2.12715/113070/2784/1.07324/1.03609/390, dt=306ms
[392/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(63.5801)/2784(5.44397)/2.13646/103792/2700/1.07782/1.03899/390, dt=295ms
[393/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(63.7069)/2700(5.14667)/2.12419/94766/2604/1.08069/1.04124/390, dt=283ms
[394/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(63.8338)/2604(4.86636)/2.1186/85992/2496/1.08309/1.04345/390, dt=264ms
[395/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(63.9607)/2496(4.60096)/2.09513/77470/2376/1.08526/1.04578/390, dt=247ms
[396/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(64.0876)/2376(4.34848)/2.10369/69200/2244/1.06055/1.03351/390, dt=194ms
[397/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(64.2145)/2244(4.10695)/2.10129/61182/2100/1.06125/1.03509/390, dt=181ms
[398/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(64.3414)/2100(3.87429)/2.11312/53416/1944/1.06208/1.03701/390, dt=159ms
[399/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(64.4683)/1944(3.64815)/2.12444/45902/1776/1.06311/1.03938/390, dt=141ms
[400/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(64.5952)/1776(3.42568)/2.1151/38640/1596/1.06448/1.0424/390, dt=123ms
[401/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(64.7221)/1596(3.20301)/2.13827/31630/1404/1.06656/1.04653/390, dt=107ms
[402/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(64.8489)/1404(2.97436)/2.14563/24872/1200/1.07433/1.05584/390, dt=91ms
[403/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(64.9758)/1200(2.73)/2.14236/18366/984/1.07765/1.06355/390, dt=74ms
[404/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(65.1027)/984(2.45122)/2.15093/12112/756/1.07963/1.07239/390, dt=54ms
[405/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(65.2296)/756(2.09524)/2.1503/6086/516/1.09035/1.09382/390, dt=38ms
[406/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(65.3595)/516(1.53488)/2.12924/264/264/1.15982/1.19839/390, dt=20ms
[407/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(65.426)/264(0)/2.02057/0/0/-/-/390, dt=6ms
[408/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(66.5814)/13(96)/2.1937/3977/3317/1.44393/1.72003/404, dt=87ms
[409/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(66.6453)/3289(9)/2.17559/214571/3289/1.06872/1.03077/404, dt=454ms
[410/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(66.7703)/3289(8.73913)/2.16515/203725/3289/1.07223/1.03235/404, dt=461ms
[411/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(66.8924)/3289(8.22925)/2.15737/191469/3289/1.07125/1.0319/404, dt=432ms
[412/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(67.0145)/3289(7.73123)/2.14779/179500/3276/1.07221/1.03241/404, dt=425ms
[413/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(67.1366)/3276(7.27381)/2.15215/167818/3250/1.07467/1.03366/404, dt=406ms
[414/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(67.2587)/3250(6.852)/2.16227/156423/3211/1.07538/1.03421/404, dt=399ms
[415/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(67.3808)/3211(6.46154)/2.1323/145315/3159/1.07876/1.03608/404, dt=379ms
[416/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(67.5029)/3159(6.09877)/2.1341/134494/3094/1.07952/1.03685/404, dt=362ms
[417/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(67.625)/3094(5.7605)/2.1243/123960/3016/1.08199/1.03854/404, dt=348ms
[418/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(67.7471)/3016(5.44397)/2.13312/113713/2925/1.08658/1.0414/404, dt=334ms
[419/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(67.8692)/2925(5.14667)/2.12117/103753/2821/1.08955/1.04368/404, dt=325ms
[420/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(67.9913)/2821(4.86636)/2.11563/94080/2704/1.09207/1.04596/404, dt=302ms
[421/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(68.1134)/2704(4.60096)/2.09289/84694/2574/1.0703/1.03604/404, dt=246ms
[422/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(68.2355)/2574(4.34848)/2.10092/75595/2431/1.07086/1.03746/404, dt=221ms
[423/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(68.3576)/2431(4.10695)/2.09837/66783/2275/1.07187/1.03935/404, dt=204ms
[424/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(68.4797)/2275(3.87429)/2.10947/58258/2106/1.07302/1.04162/404, dt=181ms
[425/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(68.6017)/2106(3.64815)/2.12001/50020/1924/1.07446/1.04445/404, dt=160ms
[426/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(68.7238)/1924(3.42568)/2.11062/42069/1729/1.07628/1.04802/404, dt=139ms
[427/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(68.8459)/1729(3.20301)/2.13238/34405/1521/1.07891/1.05286/404, dt=121ms
[428/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(68.968)/1521(2.97436)/2.13876/27028/1300/1.08724/1.06287/404, dt=102ms
[429/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(69.0901)/1300(2.73)/2.13467/19938/1066/1.09146/1.07193/404, dt=82ms
[430/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(69.2122)/1066(2.45122)/2.14149/13135/819/1.0945/1.08272/404, dt=61ms
[431/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(69.3343)/819(2.09524)/2.13852/6593/559/1.10682/1.10713/404, dt=41ms
[432/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(69.4593)/559(1.53488)/2.11357/286/286/1.15691/1.18909/404, dt=20ms
[433/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(69.5233)/286(0)/1.99502/0/0/-/-/404, dt=7ms
[434/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(70.5587)/14(96)/2.19742/4352/3572/1.4299/1.68426/419, dt=86ms
[435/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(70.6201)/3542(9)/2.178/234852/3542/1.06783/1.02905/419, dt=484ms
[436/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(70.7402)/3542(8.73913)/2.16798/222840/3542/1.07126/1.03051/419, dt=497ms
[437/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(70.8575)/3542(8.22925)/2.16051/209328/3542/1.07033/1.03012/419, dt=459ms
[438/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(70.9749)/3542(7.73123)/2.15129/196140/3528/1.07127/1.03059/419, dt=455ms
[439/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(71.0922)/3528(7.27381)/2.15544/183276/3500/1.07367/1.03176/419, dt=441ms
[440/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(71.2095)/3500(6.852)/2.16514/170736/3458/1.07437/1.03229/419, dt=422ms
[441/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(71.3268)/3458(6.46154)/2.13634/158520/3402/1.07766/1.03403/419, dt=406ms
[442/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(71.4441)/3402(6.09877)/2.13804/146628/3332/1.07843/1.03477/419, dt=390ms
[443/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(71.5615)/3332(5.7605)/2.1286/135060/3248/1.08086/1.03637/419, dt=373ms
[444/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(71.6788)/3248(5.44397)/2.13704/123816/3150/1.08533/1.03904/419, dt=354ms
[445/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(71.7961)/3150(5.14667)/2.12554/112896/3038/1.08825/1.0412/419, dt=339ms
[446/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(71.9134)/3038(4.86636)/2.12018/102300/2912/1.09075/1.04336/419, dt=311ms
[447/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(72.0307)/2912(4.60096)/2.09831/92028/2772/1.06978/1.03426/419, dt=254ms
[448/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(72.148)/2772(4.34848)/2.10597/82080/2618/1.07038/1.03564/419, dt=231ms
[449/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(72.2654)/2618(4.10695)/2.10347/72456/2450/1.07143/1.03747/419, dt=212ms
[450/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(72.3827)/2450(3.87429)/2.11407/63156/2268/1.07262/1.03968/419, dt=191ms
[451/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(72.5)/2268(3.64815)/2.12412/54180/2072/1.0741/1.04242/419, dt=175ms
[452/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(72.6173)/2072(3.42568)/2.11501/45528/1862/1.07597/1.0459/419, dt=148ms
[453/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(72.7346)/1862(3.20301)/2.13578/37200/1638/1.07863/1.05059/419, dt=127ms
[454/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(72.852)/1638(2.97436)/2.14176/29196/1400/1.08686/1.06018/419, dt=107ms
[455/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(72.9693)/1400(2.73)/2.13762/21516/1148/1.09112/1.06899/419, dt=86ms
[456/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(73.0866)/1148(2.45122)/2.14385/14160/882/1.09435/1.07965/419, dt=63ms
[457/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(73.2039)/882(2.09524)/2.14048/7100/602/1.10666/1.10344/419, dt=43ms
[458/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(73.324)/602(1.53488)/2.11549/308/308/1.1542/1.1805/419, dt=21ms
[459/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(73.3855)/308(0)/1.99855/0/0/-/-/419, dt=7ms
[460/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(74.2949)/15(96)/2.18932/4737/3827/1.42183/1.65849/435, dt=85ms
[461/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(74.3539)/3795(9)/2.16957/255639/3795/1.05991/1.0246/435, dt=506ms
[462/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(74.4692)/3795(8.73913)/2.15996/242417/3795/1.06229/1.02558/435, dt=512ms
[463/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(74.5818)/3795(8.22925)/2.15279/227607/3795/1.0628/1.02579/435, dt=494ms
[464/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(74.6944)/3795(7.73123)/2.14393/213160/3780/1.07033/1.02894/435, dt=495ms
[465/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(74.807)/3780(7.27381)/2.14791/199076/3750/1.07266/1.03004/435, dt=483ms
[466/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(74.9196)/3750(6.852)/2.15719/185355/3705/1.07338/1.03055/435, dt=454ms
[467/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(75.0322)/3705(6.46154)/2.12956/171997/3645/1.07659/1.03218/435, dt=432ms
[468/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(75.1448)/3645(6.09877)/2.13118/159002/3570/1.07737/1.03289/435, dt=405ms
[469/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(75.2574)/3570(5.7605)/2.12211/146370/3480/1.07976/1.0344/435, dt=386ms
[470/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(75.37)/3480(5.44397)/2.13018/134101/3375/1.08412/1.03692/435, dt=372ms
[471/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(75.4826)/3375(5.14667)/2.11913/122195/3255/1.087/1.03897/435, dt=351ms
[472/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(75.5952)/3255(4.86636)/2.11398/110652/3120/1.08948/1.04103/435, dt=327ms
[473/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(75.7078)/3120(4.60096)/2.09298/99472/2970/1.06927/1.03264/435, dt=261ms
[474/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(75.8204)/2970(4.34848)/2.1003/88655/2805/1.06991/1.03399/435, dt=241ms
[475/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(75.933)/2805(4.10695)/2.09787/78201/2625/1.071/1.03577/435, dt=215ms
[476/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(76.0456)/2625(3.87429)/2.108/68110/2430/1.07223/1.03792/435, dt=196ms
[477/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(76.1582)/2430(3.64815)/2.1176/58382/2220/1.07375/1.04058/435, dt=178ms
[478/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(76.2708)/2220(3.42568)/2.10881/49017/1995/1.07567/1.04397/435, dt=154ms
[479/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(76.3834)/1995(3.20301)/2.12867/40015/1755/1.07837/1.04853/435, dt=132ms
[480/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(76.496)/1755(2.97436)/2.13432/31376/1500/1.08651/1.05774/435, dt=110ms
[481/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(76.6086)/1500(2.73)/2.13023/23100/1230/1.09086/1.06634/435, dt=89ms
[482/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(76.7212)/1230(2.45122)/2.13603/15187/945/1.09423/1.07684/435, dt=65ms
[483/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(76.8338)/945(2.09524)/2.1325/7607/645/1.10657/1.10007/435, dt=44ms
[484/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(76.9491)/645(1.53488)/2.10795/330/330/1.15166/1.17255/435, dt=21ms
[485/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(77.008)/330(0)/1.99406/0/0/-/-/435, dt=7ms
[486/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(77.7892)/16(96)/2.19191/5132/4082/1.41382/1.63321/452, dt=83ms
[487/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(77.8458)/4048(9)/2.17153/276932/4048/1.05917/1.02335/452, dt=533ms
[488/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(77.9563)/4048(8.73913)/2.16233/262456/4048/1.06264/1.02472/452, dt=552ms
[489/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(78.0643)/4048(8.22925)/2.15546/246306/4048/1.06216/1.02453/452, dt=511ms
[490/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(78.1722)/4048(7.73123)/2.14696/230560/4032/1.06457/1.02554/452, dt=504ms
[491/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(78.2802)/4032(7.27381)/2.15075/215218/4000/1.06627/1.02633/452, dt=494ms
[492/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(78.3882)/4000(6.852)/2.15962/200280/3952/1.06711/1.02685/452, dt=471ms
[493/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(78.4961)/3952(6.46154)/2.13313/185746/3888/1.06905/1.02789/452, dt=449ms
[494/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(78.6041)/3888(6.09877)/2.13466/171616/3808/1.07651/1.03127/452, dt=437ms
[495/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(78.7121)/3808(5.7605)/2.12595/157890/3712/1.07885/1.0327/452, dt=423ms
[496/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(78.8201)/3712(5.44397)/2.13367/144568/3600/1.08313/1.03508/452, dt=394ms
[497/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(78.928)/3600(5.14667)/2.12306/131650/3472/1.08597/1.03703/452, dt=375ms
[498/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(79.036)/3472(4.86636)/2.11809/119136/3328/1.08844/1.039/452, dt=346ms
[499/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(79.144)/3328(4.60096)/2.09794/107026/3168/1.06891/1.03123/452, dt=284ms
[500/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(79.2519)/3168(4.34848)/2.10492/95320/2992/1.06959/1.03255/452, dt=254ms
[501/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(79.3599)/2992(4.10695)/2.10256/84018/2800/1.07071/1.03429/452, dt=234ms
[502/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(79.4679)/2800(3.87429)/2.11222/73120/2592/1.07198/1.03638/452, dt=210ms
[503/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(79.5758)/2592(3.64815)/2.12136/62626/2368/1.07353/1.03897/452, dt=188ms
[504/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(79.6838)/2368(3.42568)/2.11288/52536/2128/1.0755/1.04228/452, dt=166ms
[505/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(79.7918)/2128(3.20301)/2.13182/42850/1872/1.07825/1.04672/452, dt=141ms
[506/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(79.8997)/1872(2.97436)/2.13713/33568/1600/1.0863/1.05558/452, dt=119ms
[507/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(80.0077)/1600(2.73)/2.13306/24690/1312/1.09072/1.06398/452, dt=92ms
[508/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(80.1157)/1312(2.45122)/2.13839/16216/1008/1.09421/1.0743/452, dt=69ms
[509/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(80.2237)/1008(2.09524)/2.13464/8114/688/1.10656/1.09697/452, dt=47ms
[510/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(80.3342)/688(1.53488)/2.11038/352/352/1.14928/1.16518/452, dt=22ms
[511/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(80.3907)/352(0)/1.99904/0/0/-/-/452, dt=8ms
[512/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(81.0443)/17(96)/2.19379/5537/4337/1.40607/1.60876/470, dt=82ms
[513/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(81.0985)/4301(9)/2.17262/298731/4301/1.059/1.02242/470, dt=573ms
[514/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(81.2044)/4301(8.73913)/2.16381/282957/4301/1.06306/1.02396/470, dt=620ms
[515/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(81.3079)/4301(8.22925)/2.15723/265425/4301/1.0606/1.02302/470, dt=581ms
[516/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(81.4113)/4301(7.73123)/2.14907/248340/4284/1.06173/1.02351/470, dt=568ms
[517/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(81.5148)/4284(7.27381)/2.15268/231702/4250/1.06442/1.02465/470, dt=553ms
[518/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(81.6182)/4250(6.852)/2.16116/215511/4199/1.06524/1.02514/470, dt=528ms
[519/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(81.7217)/4199(6.46154)/2.13578/199767/4131/1.06715/1.02612/470, dt=508ms
[520/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(81.8251)/4131(6.09877)/2.13722/184470/4046/1.06832/1.02689/470, dt=447ms
[521/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(81.9286)/4046(5.7605)/2.12886/169620/3944/1.07333/1.02929/470, dt=439ms
[522/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(82.032)/3944(5.44397)/2.13622/155217/3825/1.07299/1.02967/470, dt=423ms
[523/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(82.1355)/3825(5.14667)/2.12603/141261/3689/1.07709/1.03199/470, dt=407ms
[524/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(82.2389)/3689(4.86636)/2.12125/127752/3536/1.08204/1.03487/470, dt=355ms
[525/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(82.3424)/3536(4.60096)/2.10193/114690/3366/1.06286/1.02746/470, dt=290ms
[526/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(82.4458)/3366(4.34848)/2.10858/102075/3179/1.06349/1.02863/470, dt=260ms
[527/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(82.5493)/3179(4.10695)/2.10627/89907/2975/1.0644/1.03011/470, dt=238ms
[528/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(82.6527)/2975(3.87429)/2.11547/78186/2754/1.06545/1.0319/470, dt=211ms
[529/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(82.7562)/2754(3.64815)/2.12416/66912/2516/1.06676/1.03414/470, dt=191ms
[530/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(82.8596)/2516(3.42568)/2.11597/56085/2261/1.06837/1.03696/470, dt=167ms
[531/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(82.9631)/2261(3.20301)/2.134/45705/1989/1.07072/1.04078/470, dt=145ms
[532/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(83.0665)/1989(2.97436)/2.13896/35772/1700/1.07816/1.04864/470, dt=120ms
[533/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(83.17)/1700(2.73)/2.13489/26286/1394/1.08194/1.05589/470, dt=94ms
[534/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(83.2734)/1394(2.45122)/2.13973/17247/1071/1.0847/1.06469/470, dt=70ms
[535/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(83.3768)/1071(2.09524)/2.13572/8621/731/1.09576/1.08454/470, dt=48ms
[536/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(83.4828)/731(1.53488)/2.11164/374/374/1.13442/1.14472/470, dt=23ms
[537/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(83.5369)/374(0)/2.00249/0/0/-/-/470, dt=8ms
[538/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(84.066)/18(96)/2.19024/5952/4592/1.39833/1.58482/489, dt=79ms
[539/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(84.1179)/4554(9)/2.1687/321036/4554/1.05931/1.02174/489, dt=613ms
[540/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(84.2193)/4554(8.73913)/2.16026/303920/4554/1.06162/1.02259/489, dt=663ms
[541/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(84.3184)/4554(8.22925)/2.15397/284964/4554/1.06115/1.02241/489, dt=602ms
[542/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(84.4175)/4554(7.73123)/2.14607/266500/4536/1.06198/1.02277/489, dt=587ms
[543/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(84.5165)/4536(7.27381)/2.14942/248528/4500/1.06398/1.02362/489, dt=574ms
[544/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(84.6156)/4500(6.852)/2.15743/231048/4446/1.06441/1.02394/489, dt=546ms
[545/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(84.7146)/4446(6.46154)/2.13304/214060/4374/1.06781/1.02545/489, dt=535ms
[546/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(84.8137)/4374(6.09877)/2.13431/197564/4284/1.06737/1.02559/489, dt=501ms
[547/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(84.9127)/4284(5.7605)/2.12619/181560/4176/1.07235/1.02789/489, dt=492ms
[548/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(85.0118)/4176(5.44397)/2.13311/166048/4050/1.07438/1.02918/489, dt=439ms
[549/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(85.1108)/4050(5.14667)/2.12323/151028/3906/1.07239/1.02899/489, dt=411ms
[550/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(85.2099)/3906(4.86636)/2.11851/136500/3744/1.07618/1.03125/489, dt=389ms
[551/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(85.309)/3744(4.60096)/2.09985/122464/3564/1.07707/1.03251/489, dt=339ms
[552/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(85.408)/3564(4.34848)/2.10602/108920/3366/1.07771/1.03384/489, dt=314ms
[553/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(85.5071)/3366(4.10695)/2.1036/95868/3150/1.06385/1.02884/489, dt=244ms
[554/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(85.6061)/3150(3.87429)/2.11215/83308/2916/1.06491/1.03057/489, dt=218ms
[555/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(85.7052)/2916(3.64815)/2.12016/71240/2664/1.06624/1.03274/489, dt=194ms
[556/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(85.8042)/2664(3.42568)/2.11195/59664/2394/1.06786/1.03546/489, dt=167ms
[557/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(85.9033)/2394(3.20301)/2.12873/48580/2106/1.07021/1.03916/489, dt=148ms
[558/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(86.0024)/2106(2.97436)/2.13284/37988/1800/1.07755/1.04671/489, dt=126ms
[559/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(86.1014)/1800(2.73)/2.12807/27888/1476/1.08133/1.05373/489, dt=96ms
[560/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(86.2005)/1476(2.45122)/2.13141/18280/1134/1.08414/1.0623/489, dt=73ms
[561/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(86.2995)/1134(2.09524)/2.12542/9128/774/1.09508/1.08151/489, dt=47ms
[562/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(86.4009)/774(1.53488)/2.09808/396/396/1.13144/1.13776/489, dt=23ms
[563/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(86.4528)/396(0)/1.9808/0/0/-/-/489, dt=8ms
[564/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(86.8623)/19(96)/2.18655/6377/4847/1.37721/1.54219/509, dt=78ms
[565/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(86.912)/4807(9)/2.16473/343847/4807/1.05867/1.02078/509, dt=646ms
[566/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.009)/4807(8.73913)/2.15666/325345/4807/1.06093/1.02158/509, dt=688ms
[567/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.1038)/4807(8.22925)/2.15065/304923/4807/1.06257/1.02217/509, dt=659ms
[568/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.1986)/4807(7.73123)/2.14306/285040/4788/1.06422/1.0228/509, dt=635ms
[569/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.2935)/4788(7.27381)/2.14624/265696/4750/1.06326/1.02256/509, dt=589ms
[570/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.3883)/4750(6.852)/2.15388/246891/4693/1.06369/1.02288/509, dt=558ms
[571/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.4831)/4693(6.46154)/2.13052/228625/4617/1.06553/1.02377/509, dt=535ms
[572/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.5779)/4617(6.09877)/2.13171/210898/4522/1.06728/1.0247/509, dt=509ms
[573/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.6727)/4522(5.7605)/2.12392/193710/4408/1.06956/1.02591/509, dt=491ms
[574/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.7675)/4408(5.44397)/2.1305/177061/4275/1.07349/1.02787/509, dt=473ms
[575/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.8623)/4275(5.14667)/2.12102/160951/4123/1.07583/1.02936/509, dt=450ms
[576/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.9571)/4123(4.86636)/2.11647/145380/3952/1.07775/1.03084/509, dt=397ms
[577/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(88.0519)/3952(4.60096)/2.09859/130348/3762/1.07241/1.02953/509, dt=357ms
[578/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(88.1467)/3762(4.34848)/2.10444/115855/3553/1.07684/1.03236/509, dt=320ms
[579/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(88.2415)/3553(4.10695)/2.10207/101901/3325/1.07882/1.03443/509, dt=293ms
[580/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(88.3363)/3325(3.87429)/2.11018/88486/3078/1.08054/1.0367/509, dt=260ms
[581/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(88.4312)/3078(3.64815)/2.11777/75610/2812/1.08707/1.04164/509, dt=237ms
[582/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(88.526)/2812(3.42568)/2.10982/63273/2527/1.06743/1.03411/509, dt=174ms
[583/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(88.6208)/2527(3.20301)/2.12575/51475/2223/1.06978/1.03769/509, dt=150ms
[584/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(88.7156)/2223(2.97436)/2.12953/40216/1900/1.07702/1.04495/509, dt=129ms
[585/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(88.8104)/1900(2.73)/2.12476/29496/1558/1.08079/1.05176/509, dt=102ms
[586/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(88.9052)/1558(2.45122)/2.12763/19315/1197/1.08364/1.06011/509, dt=70ms
[587/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(89)/1197(2.09524)/2.12136/9635/817/1.0945/1.07872/509, dt=49ms
[588/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(89.0971)/817(1.53488)/2.09415/418/418/1.12862/1.1313/509, dt=21ms
[589/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(89.1467)/418(0)/1.9788/0/0/-/-/509, dt=8ms
[590/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(89.4428)/20(96)/2.18276/6812/5102/1.369/1.51911/530, dt=74ms
[591/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(89.4903)/5060(9)/2.16074/367164/5060/1.05804/1.0199/530, dt=677ms
[592/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(89.5832)/5060(8.73913)/2.15303/347232/5060/1.06026/1.02066/530, dt=700ms
[593/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(89.6739)/5060(8.22925)/2.14728/325302/5060/1.06187/1.02121/530, dt=673ms
[594/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(89.7646)/5060(7.73123)/2.14/303960/5040/1.06348/1.02181/530, dt=650ms
[595/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(89.8553)/5040(7.27381)/2.14301/283206/5000/1.06444/1.02225/530, dt=619ms
[596/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(89.946)/5000(6.852)/2.15028/263040/4940/1.06664/1.02317/530, dt=600ms
[597/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.0367)/4940(6.46154)/2.12793/243462/4860/1.06481/1.02275/530, dt=549ms
[598/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.1274)/4860(6.09877)/2.12904/224472/4760/1.06654/1.02364/530, dt=519ms
[599/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.2181)/4760(5.7605)/2.12156/206070/4640/1.07146/1.02577/530, dt=511ms
[600/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.3089)/4640(5.44397)/2.12782/188256/4500/1.07312/1.02684/530, dt=486ms
[601/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.3996)/4500(5.14667)/2.11872/171030/4340/1.07494/1.02809/530, dt=460ms
[602/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.4903)/4340(4.86636)/2.11432/154392/4160/1.07688/1.02952/530, dt=426ms
[603/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.581)/4160(4.60096)/2.09718/138342/3960/1.07843/1.03097/530, dt=374ms
[604/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.6717)/3960(4.34848)/2.10273/122880/3740/1.08079/1.03295/530, dt=340ms
[605/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.7624)/3740(4.10695)/2.10041/108006/3500/1.05591/1.02366/530, dt=238ms
[606/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.8531)/3500(3.87429)/2.10809/93720/3240/1.05637/1.02489/530, dt=219ms
[607/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.9438)/3240(3.64815)/2.11527/80022/2960/1.08182/1.03792/530, dt=240ms
[608/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(91.0346)/2960(3.42568)/2.10757/66912/2660/1.08433/1.04136/530, dt=206ms
[609/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(91.1253)/2660(3.20301)/2.12267/54390/2340/1.0922/1.04829/530, dt=182ms
[610/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(91.216)/2340(2.97436)/2.12612/42456/2000/1.10138/1.0574/530, dt=151ms
[611/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(91.3067)/2000(2.73)/2.12132/31110/1640/1.08032/1.04995/530, dt=102ms
[612/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(91.3974)/1640(2.45122)/2.12372/20352/1260/1.08322/1.0581/530, dt=72ms
[613/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(91.4881)/1260(2.09524)/2.11716/10142/860/1.09397/1.07614/530, dt=48ms
[614/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(91.581)/860(1.53488)/2.09/440/440/1.12595/1.12529/530, dt=21ms
[615/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(91.6285)/440(0)/1.9763/0/0/-/-/530, dt=8ms
[616/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(91.8182)/21(96)/2.18734/7257/5357/1.36103/1.49696/552, dt=62ms
[617/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(91.8636)/5313(9)/2.16498/390987/5313/1.0534/1.01774/552, dt=742ms
[618/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(91.9525)/5313(8.73913)/2.15761/369581/5313/1.0555/1.01844/552, dt=754ms
[619/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.0393)/5313(8.22925)/2.15211/346101/5313/1.05607/1.01863/552, dt=705ms
[620/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.126)/5313(7.73123)/2.14513/323260/5292/1.05507/1.01834/552, dt=663ms
[621/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.2128)/5292(7.27381)/2.14798/301058/5250/1.05412/1.01811/552, dt=615ms
[622/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.2996)/5250(6.852)/2.1549/279495/5187/1.05445/1.01835/552, dt=576ms
[623/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.3864)/5187(6.46154)/2.1335/258571/5103/1.05249/1.01786/552, dt=543ms
[624/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.4731)/5103(6.09877)/2.13452/238286/4998/1.05584/1.01923/552, dt=524ms
[625/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.5599)/4998(5.7605)/2.12733/218640/4872/1.05517/1.01928/552, dt=486ms
[626/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.6467)/4872(5.44397)/2.13328/199633/4725/1.05418/1.01928/552, dt=442ms
[627/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.7335)/4725(5.14667)/2.12454/181265/4557/1.0542/1.01969/552, dt=402ms
[628/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.8202)/4557(4.86636)/2.1203/163536/4368/1.05371/1.02/552, dt=373ms
[629/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.907)/4368(4.60096)/2.10386/146446/4158/1.0535/1.02049/552, dt=336ms
[630/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.9938)/4158(4.34848)/2.10911/129995/3927/1.07456/1.02949/552, dt=362ms
[631/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.0806)/3927(4.10695)/2.10682/114183/3675/1.07675/1.0315/552, dt=321ms
[632/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.1674)/3675(3.87429)/2.11409/99010/3402/1.07923/1.03393/552, dt=274ms
[633/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.2541)/3402(3.64815)/2.12086/84476/3108/1.05065/1.02278/552, dt=193ms
[634/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.3409)/3108(3.42568)/2.11339/70581/2793/1.0513/1.02442/552, dt=164ms
[635/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.4277)/2793(3.20301)/2.12768/57325/2457/1.05257/1.02673/552, dt=141ms
[636/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.5145)/2457(2.97436)/2.13078/44708/2100/1.05381/1.02959/552, dt=117ms
[637/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.6012)/2100(2.73)/2.12594/32730/1722/1.06019/1.03637/552, dt=95ms
[638/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.688)/1722(2.45122)/2.12784/21391/1323/1.10329/1.07012/552, dt=80ms
[639/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.7748)/1323(2.09524)/2.12092/10649/903/1.11679/1.09211/552, dt=50ms
[640/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.8636)/903(1.53488)/2.09366/462/462/1.12342/1.1197/552, dt=19ms
[641/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.9091)/462(0)/1.98109/0/0/-/-/552, dt=7ms
[642/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94)/22(96)/2.18712/7712/5612/1.35333/1.47581/598, dt=55ms
[643/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.0435)/5566(9)/2.16471/415316/5566/1.05125/1.01652/598, dt=739ms
[644/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.1285)/5566(8.73913)/2.15766/392392/5566/1.05377/1.01733/598, dt=741ms
[645/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.2115)/5566(8.22925)/2.14838/367320/5566/1.05277/1.01701/598, dt=685ms
[646/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.2945)/5566(7.73123)/2.14363/342940/5544/1.05665/1.0183/598, dt=691ms
[647/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.3775)/5544(7.27381)/2.14182/319252/5500/1.05815/1.01888/598, dt=669ms
[648/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.4605)/5500(6.852)/2.14661/296256/5434/1.05667/1.01853/598, dt=612ms
[649/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.5435)/5434(6.46154)/2.1383/273952/5346/1.05744/1.01896/598, dt=584ms
[650/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.6265)/5346(6.09877)/2.13517/252340/5236/1.05707/1.01907/598, dt=539ms
[651/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.7095)/5236(5.7605)/2.13022/231420/5104/1.05704/1.01935/598, dt=504ms
[652/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.7925)/5104(5.44397)/2.14184/211192/4950/1.05671/1.01958/598, dt=449ms
[653/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.8755)/4950(5.14667)/2.12935/191656/4774/1.05618/1.01981/598, dt=412ms
[654/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.9585)/4774(4.86636)/2.12114/172812/4576/1.05567/1.02012/598, dt=378ms
[655/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.0415)/4576(4.60096)/2.11938/154660/4356/1.05373/1.01997/598, dt=344ms
[656/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.1245)/4356(4.34848)/2.11821/137200/4114/1.05373/1.02063/598, dt=310ms
[657/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.2075)/4114(4.10695)/2.11584/120432/3850/1.054/1.02152/598, dt=272ms
[658/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.2905)/3850(3.87429)/2.12442/104356/3564/1.05454/1.02268/598, dt=239ms
[659/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.3735)/3564(3.64815)/2.1254/88972/3256/1.05507/1.02406/598, dt=192ms
[660/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.4565)/3256(3.42568)/2.12075/74280/2926/1.05607/1.02593/598, dt=164ms
[661/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.5395)/2926(3.20301)/2.13342/60280/2574/1.05726/1.0283/598, dt=137ms
[662/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.6225)/2574(2.97436)/2.13433/46972/2200/1.06252/1.03342/598, dt=115ms
[663/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.7055)/2200(2.73)/2.14797/34356/1804/1.06516/1.0383/598, dt=90ms
[664/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.7885)/1804(2.45122)/2.14517/22432/1386/1.07078/1.04676/598, dt=64ms
[665/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.8715)/1386(2.09524)/2.14927/11156/946/1.07843/1.06025/598, dt=40ms
[666/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.9565)/946(1.53488)/2.08649/484/484/1.13657/1.12918/598, dt=16ms
[667/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(96)/484(0)/1.95226/0/0/-/-/598, dt=7ms
Narrowing and verification time: 117598ms
Overall time: 117636ms