*********************************************************************************** * Addibit: Another Double Description Implementation with BInary Trees. ** * Copyright (C) 2013 Blagoy Genov * * This program comes with ABSOLUTELY NO WARRANTY!!! * *********************************************************************************** ----------------------------------------------------------------------------------- | GENERAL SETTINGS | ----------------------------------------------------------------------------------- -> Plot file = gnuplot.dat ----------------------------------------------------------------------------------- | NARROWING DEGENERATE TREE | ----------------------------------------------------------------------------------- -> Strategy = BPT_FIRST_AVAILABLE_BIT -> MaxTreeDepth = 15 -> LeafCapacity = 20 -> DataSort = NONE ----------------------------------------------------------------------------------- | NARROWING NONDEGENERATE TREE | ----------------------------------------------------------------------------------- -> Strategy = BPT_FIRST_AVAILABLE_BIT -> MaxTreeDepth = 15 -> LeafCapacity = 20 -> DataSort = NONE ----------------------------------------------------------------------------------- | VERIFICATION TREE | ----------------------------------------------------------------------------------- -> Strategy = BPT_FIRST_AVAILABLE_BIT -> MaxTreeDepth = 15 -> LeafCapacity = 20 -> DataSort = NONE ----------------------------------------------------------------------------------- | COMPUTATION | ----------------------------------------------------------------------------------- [1/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)/2.18064/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)/2.12319/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)/2.07298/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)/2.03094/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.99594/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.95603/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.93028/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.90441/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.88808/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.87385/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.86134/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.85268/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.84242/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.83325/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.825/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.82245/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.81263/0/0/-/-/48, dt=11ms [22/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 23(0.913043)/253(0)/2.02353/253/253/1.19637/1.89996/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.99426/253/253/1.24192/1.94384/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.98487/253/253/1.26414/1.91315/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.92247/253/253/1.28617/1.90011/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.94036/250/250/1.32236/1.93572/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.91296/247/247/1.32177/1.87644/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.88719/243/243/1.29996/1.77399/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.86349/238/238/1.31736/1.78157/49, dt=17ms [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.82907/232/232/1.32456/1.76749/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.8175/225/225/1.32319/1.73755/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.81434/217/217/1.326/1.72106/49, dt=16ms [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.80819/208/208/1.32795/1.70565/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.79388/198/198/1.32918/1.69126/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.78835/187/187/1.32975/1.6778/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.77747/175/175/1.3296/1.66487/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.769/162/162/1.3289/1.65264/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)/1.76292/148/148/1.3274/1.64051/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)/1.75958/133/133/1.3252/1.62852/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)/1.75816/117/117/1.32165/1.61535/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)/1.75997/100/100/1.31562/1.59877/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)/1.76377/82/82/1.30496/1.57473/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)/1.77128/63/63/1.28484/1.53418/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)/1.77869/43/43/1.25939/1.48488/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)/1.1149/22/22/1.10085/1.18851/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.06619/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.2766/799/275/1.13903/1.2599/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)/2.16101/820/274/1.16259/1.29358/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.11974/836/273/1.15639/1.2737/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.10497/847/271/1.16936/1.28852/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.08808/853/268/1.18841/1.31366/49, dt=19ms [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.07754/854/264/1.2487/1.40596/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.0694/850/259/1.24725/1.39699/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.0642/841/253/1.25472/1.40345/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.03274/827/246/1.26019/1.40763/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.03458/808/238/1.26347/1.40933/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.06631/784/229/1.26788/1.41374/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.05491/755/219/1.2744/1.42232/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.05412/721/208/1.28297/1.43501/49, dt=17ms [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.07/682/196/1.28911/1.44496/49, dt=15ms [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.06706/638/183/1.29488/1.45543/49, dt=15ms [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.06335/589/169/1.3004/1.46671/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.05855/535/154/1.306/1.4794/49, dt=13ms [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.04591/476/138/1.31157/1.4935/49, dt=12ms [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.03746/412/121/1.31701/1.509/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.02005/343/103/1.32209/1.52577/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.00229/269/84/1.32626/1.54313/49, dt=8ms [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)/1.96986/190/64/1.32772/1.55832/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)/1.88954/106/43/1.31859/1.55756/49, dt=5ms [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)/1.07926/22/22/1.10051/1.18149/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)/0.98859/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.2766/799/275/1.13903/1.2599/49, dt=19ms [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.20634/1299/274/1.10244/1.18497/49, dt=17ms [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.14836/1714/273/1.07628/1.13349/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.106/2084/271/1.06891/1.11739/49, dt=18ms [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.10406/2409/268/1.06682/1.11124/49, dt=18ms [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.10151/2689/264/1.07911/1.12913/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.09932/2924/259/1.07201/1.11562/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.09735/3114/253/1.06895/1.1092/49, dt=18ms [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.0954/3259/246/1.0662/1.10371/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.09294/3359/238/1.06357/1.09877/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.08975/3414/229/1.06174/1.09536/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.08857/3424/219/1.06077/1.09352/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.08641/3389/208/1.06051/1.09302/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.07635/3309/196/1.05995/1.09227/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.07368/3184/183/1.05952/1.09192/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.05922/1.092/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.0656/2799/154/1.0591/1.09258/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.05312/2539/138/1.05914/1.09367/49, dt=12ms [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.04479/2234/121/1.05934/1.09527/49, dt=11ms [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.02743/1884/103/1.0597/1.09746/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.00963/1489/84/1.06027/1.10033/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)/1.977/1050/64/1.06105/1.10401/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)/1.89612/548/43/1.06446/1.1128/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)/1.08437/44/22/1.07349/1.1327/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)/0.98859/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.2766/799/275/1.13903/1.2599/71, dt=28ms [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.20634/1299/274/1.10311/1.18618/92, dt=20ms [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.14836/1714/273/1.07714/1.135/112, dt=21ms [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.106/2084/271/1.06986/1.11902/131, dt=29ms [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.10406/2409/268/1.06783/1.11292/149, dt=28ms [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.10151/2689/264/1.08014/1.13082/166, dt=22ms [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.09932/2924/259/1.07307/1.11732/182, dt=23ms [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.09735/3114/253/1.07002/1.1109/197, dt=21ms [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.0954/3259/246/1.06728/1.10541/211, dt=20ms [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.09294/3359/238/1.06466/1.10046/224, dt=20ms [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.08975/3414/229/1.06284/1.09706/236, dt=19ms [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.08857/3424/219/1.06187/1.09523/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.08641/3389/208/1.06162/1.09473/257, dt=36ms [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.07635/3309/196/1.06107/1.094/266, dt=17ms [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.07368/3184/183/1.06065/1.09368/274, dt=16ms [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.06036/1.09378/281, dt=15ms [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.0656/2799/154/1.06026/1.0944/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.05312/2539/138/1.06031/1.09553/292, dt=12ms [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.04479/2234/121/1.06053/1.09719/296, dt=11ms [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.02743/1884/103/1.06092/1.09944/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.00963/1489/84/1.0615/1.10238/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)/1.977/1050/64/1.0623/1.10614/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)/1.89612/548/43/1.06569/1.11496/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)/1.08437/44/22/1.07349/1.1327/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)/0.98859/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.15726/512/512/1.33117/1.61906/305, dt=44ms [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.0389/24876/506/1.05054/1.05619/305, dt=56ms [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.0394/23952/506/1.05682/1.06317/305, dt=53ms [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.03358/22740/506/1.0626/1.0696/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.02354/21540/504/1.06702/1.07461/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.02456/20352/500/1.07126/1.07955/305, dt=57ms [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.02819/19176/494/1.07721/1.08656/305, dt=52ms [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.03014/18012/486/1.07964/1.08978/305, dt=55ms [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.03715/16860/476/1.08119/1.09218/305, dt=48ms [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.04283/15720/464/1.08413/1.09634/305, dt=51ms [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.04879/14592/450/1.08829/1.10214/305, dt=45ms [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.05349/13476/434/1.09053/1.10598/305, dt=46ms [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.05924/12372/416/1.09254/1.10981/305, dt=41ms [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.06364/11280/396/1.09422/1.11354/305, dt=41ms [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.06692/10200/374/1.09289/1.11391/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.0687/9132/350/1.09451/1.11819/305, dt=35ms [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.06855/8076/324/1.09615/1.12291/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.06106/7032/296/1.09791/1.12827/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.05318/6000/266/1.09987/1.13449/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.04251/4980/234/1.10216/1.14187/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.02816/3972/200/1.10505/1.15099/305, dt=19ms [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.00794/2976/164/1.10906/1.16296/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)/1.97748/1992/126/1.11527/1.17995/305, dt=12ms [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)/1.89836/1016/86/1.12489/1.20493/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)/1.10653/44/44/1.27565/1.47896/305, dt=5ms [147/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(16.9375)/44(0)/0.989003/0/0/-/-/305, dt=1ms [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.15539/777/767/1.3326/1.61772/309, dt=36ms [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.04663/39591/759/1.05005/1.04759/309, dt=85ms [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.04631/37985/759/1.05647/1.0537/309, dt=80ms [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.03983/35979/759/1.06248/1.05941/309, dt=86ms [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.02924/34000/756/1.0675/1.06429/309, dt=80ms [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.02961/32048/750/1.07244/1.06922/309, dt=85ms [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.03258/30123/741/1.07818/1.07508/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.03469/28225/729/1.0808/1.07811/309, dt=82ms [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.04113/26354/714/1.08196/1.07989/309, dt=73ms [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.04629/24510/696/1.08477/1.08346/309, dt=75ms [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.05099/22693/675/1.0885/1.08819/309, dt=67ms [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.05523/20903/651/1.09037/1.09133/309, dt=69ms [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.0605/19140/624/1.09173/1.09421/309, dt=60ms [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.06446/17404/594/1.0894/1.09353/309, dt=61ms [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.06732/15695/561/1.09117/1.0974/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.06871/14013/525/1.09294/1.10166/309, dt=52ms [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.06214/12358/486/1.09478/1.10648/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.05594/10730/444/1.09675/1.112/309, dt=42ms [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.04773/9129/399/1.09893/1.11848/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.03716/7555/351/1.10149/1.12629/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.02304/6008/300/1.10469/1.13607/309, dt=27ms [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.00327/4488/246/1.10913/1.14907/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)/1.97358/2995/189/1.11602/1.16781/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)/1.89626/1523/129/1.12724/1.19675/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)/1.11119/66/66/1.32006/1.53568/309, dt=7ms [173/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(21.7606)/66(0)/0.989429/0/0/-/-/309, dt=2ms [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.15296/1052/1022/1.33283/1.61325/314, dt=45ms [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.05366/54812/1012/1.0516/1.04327/314, dt=112ms [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.05251/52480/1012/1.05835/1.04893/314, dt=109ms [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.04517/49638/1012/1.06477/1.05431/314, dt=116ms [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.03385/46840/1008/1.07047/1.0592/314, dt=110ms [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.03335/44086/1000/1.07621/1.06425/314, dt=113ms [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.03547/41376/988/1.08177/1.0693/314, dt=106ms [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.03752/38710/972/1.08436/1.07202/314, dt=109ms [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.04322/36088/952/1.08477/1.07303/314, dt=99ms [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.0477/33510/928/1.08708/1.07586/314, dt=100ms [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.05104/30976/900/1.08996/1.07942/314, dt=92ms [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.05468/28486/868/1.09079/1.0814/314, dt=91ms [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.05937/26040/832/1.08734/1.07972/314, dt=81ms [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.0628/23638/792/1.08922/1.08312/314, dt=79ms [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.06517/21280/748/1.09107/1.08684/314, dt=71ms [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.05902/18966/700/1.09296/1.09101/314, dt=69ms [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.05386/16696/648/1.09491/1.09574/314, dt=60ms [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.04718/14470/592/1.09698/1.10121/314, dt=55ms [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.03894/12288/532/1.09928/1.10766/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.02844/10150/468/1.10195/1.1155/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.01457/8056/400/1.1053/1.12543/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)/1.99526/6006/328/1.10997/1.1388/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)/1.96646/4000/252/1.11727/1.15838/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)/1.89124/2030/172/1.12974/1.18987/314, dt=16ms [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)/1.11441/88/88/1.363/1.58577/314, dt=9ms [199/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(26.7376)/88(0)/0.989864/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.15004/1337/1277/1.33286/1.60755/320, dt=53ms [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.05971/70539/1265/1.05206/1.03928/320, dt=140ms [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.0578/67437/1265/1.05896/1.04449/320, dt=137ms [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.04941/63717/1265/1.06554/1.04945/320, dt=142ms [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.03721/60060/1260/1.07158/1.05411/320, dt=136ms [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.03568/56466/1250/1.07775/1.059/320, dt=140ms [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.03678/52935/1235/1.08329/1.06357/320, dt=133ms [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.03856/49467/1215/1.08611/1.06622/320, dt=133ms [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.04337/46062/1190/1.08637/1.06707/320, dt=122ms [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.04704/42720/1160/1.08872/1.06971/320, dt=122ms [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.04897/39441/1125/1.09146/1.07289/320, dt=114ms [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.05191/36225/1085/1.09214/1.07466/320, dt=113ms [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.05592/33072/1040/1.08791/1.0726/320, dt=101ms [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.05875/29982/990/1.08987/1.07587/320, dt=99ms [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.05264/26955/935/1.09179/1.07945/320, dt=90ms [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.04803/23991/875/1.09373/1.08347/320, dt=83ms [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.04225/21090/810/1.09573/1.08804/320, dt=74ms [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.03542/18252/740/1.09783/1.09334/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.02712/15477/665/1.10014/1.09962/320, dt=59ms [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.0167/12765/585/1.10282/1.1073/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.00307/10116/500/1.10618/1.11708/320, dt=44ms [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)/1.9843/7530/410/1.11086/1.13036/320, dt=36ms [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)/1.95648/5007/315/1.11828/1.15005/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)/1.88368/2537/215/1.13137/1.18261/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)/1.11673/110/110/1.38812/1.60443/320, dt=10ms [225/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(31.806)/110(0)/0.990303/0/0/-/-/320, dt=3ms [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.14667/1632/1532/1.32742/1.5912/327, dt=60ms [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.08626/86772/1518/1.05274/1.03633/327, dt=167ms [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.08379/82856/1518/1.0598/1.04119/327, dt=166ms [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.06972/78216/1518/1.06657/1.04585/327, dt=169ms [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.05248/73660/1512/1.07292/1.05033/327, dt=164ms [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.04631/69188/1500/1.07948/1.05507/327, dt=166ms [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.04322/64800/1482/1.08506/1.05928/327, dt=159ms [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.04065/60496/1458/1.08808/1.06188/327, dt=158ms [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.04219/56276/1428/1.08823/1.06262/327, dt=146ms [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.0433/52140/1392/1.09061/1.06512/327, dt=145ms [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.04382/48088/1350/1.09326/1.06802/327, dt=135ms [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.04512/44120/1302/1.09383/1.06963/327, dt=133ms [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.04785/40236/1248/1.0889/1.0673/327, dt=119ms [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.05029/36436/1188/1.09093/1.07045/327, dt=116ms [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.0465/32720/1122/1.09293/1.07391/327, dt=104ms [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.04184/29088/1050/1.09493/1.0778/327, dt=100ms [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.03616/25540/972/1.09697/1.08222/327, dt=89ms [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.02958/22076/888/1.0991/1.08736/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.02175/18696/798/1.10142/1.09347/327, dt=70ms [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.01209/15400/702/1.1041/1.10096/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)/1.99964/12188/600/1.10745/1.11055/327, dt=51ms [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)/1.9827/9060/492/1.11213/1.12365/327, dt=42ms [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)/1.95785/6016/378/1.11961/1.14325/327, dt=32ms [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)/1.89087/3044/258/1.13322/1.17644/327, dt=23ms [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)/1.16286/132/132/1.41321/1.62156/327, dt=12ms [251/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(36.9051)/132(0)/0.990742/0/0/-/-/327, dt=3ms [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.14293/1937/1787/1.32189/1.57423/335, dt=65ms [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.08537/103511/1771/1.05426/1.03449/335, dt=198ms [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.08293/98737/1771/1.06156/1.03913/335, dt=195ms [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.06739/93135/1771/1.06861/1.04361/335, dt=204ms [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.04889/87640/1764/1.07536/1.048/335, dt=191ms [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.04136/82252/1750/1.0824/1.0527/335, dt=194ms [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.03699/76971/1729/1.08802/1.05663/335, dt=184ms [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.03345/71797/1701/1.09122/1.05918/335, dt=185ms [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.03397/66730/1666/1.09121/1.0598/335, dt=169ms [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.03427/61770/1624/1.09358/1.06215/335, dt=168ms [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.03383/56917/1575/1.09605/1.06477/335, dt=156ms [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.03453/52171/1519/1.09634/1.06614/335, dt=153ms [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.03679/47532/1456/1.09047/1.06342/335, dt=137ms [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.03889/43000/1386/1.09258/1.06647/335, dt=133ms [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.03447/38575/1309/1.09464/1.06982/335, dt=120ms [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.02941/34257/1225/1.09668/1.07359/335, dt=113ms [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.02337/30046/1134/1.09875/1.07788/335, dt=101ms [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.0165/25942/1036/1.10089/1.08286/335, dt=92ms [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.00842/21945/931/1.10321/1.0888/335, dt=80ms [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)/1.99858/18055/819/1.10585/1.09608/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)/1.98603/14272/700/1.10915/1.10545/335, dt=58ms [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)/1.96913/10596/574/1.11377/1.11829/335, dt=47ms [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)/1.94452/7027/441/1.12125/1.13766/335, dt=37ms [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)/1.87884/3551/301/1.13525/1.17113/335, dt=25ms [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)/1.17189/154/154/1.43829/1.63733/335, dt=13ms [277/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(41.9786)/154(0)/0.991178/0/0/-/-/335, dt=3ms [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.13888/2252/2042/1.31646/1.55707/344, dt=69ms [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.08366/120756/2024/1.05569/1.03294/344, dt=223ms [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.08121/115080/2024/1.06323/1.0374/344, dt=227ms [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.0643/108474/2024/1.07054/1.04172/344, dt=233ms [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.04465/102000/2016/1.07767/1.04604/344, dt=225ms [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.03584/95658/2000/1.08515/1.05068/344, dt=228ms [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.03026/89448/1976/1.09082/1.0544/344, dt=219ms [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.02592/83370/1944/1.09421/1.05691/344, dt=217ms [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.02551/77424/1904/1.09404/1.05743/344, dt=201ms [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.02505/71610/1856/1.09641/1.05965/344, dt=196ms [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.02364/65928/1800/1.09873/1.06206/344, dt=178ms [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.02383/60378/1736/1.0988/1.06326/344, dt=173ms [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.02572/54960/1664/1.09209/1.06023/344, dt=155ms [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.02761/49674/1584/1.09428/1.0632/344, dt=149ms [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.02261/44520/1496/1.0964/1.06646/344, dt=135ms [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.01715/39498/1400/1.0985/1.07013/344, dt=127ms [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.01076/34608/1296/1.10061/1.07431/344, dt=113ms [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.00358/29850/1184/1.10278/1.07916/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)/1.99524/25224/1064/1.10509/1.08494/344, dt=91ms [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)/1.98519/20730/936/1.10773/1.09205/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)/1.97251/16368/800/1.11099/1.1012/344, dt=65ms [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)/1.95556/12138/656/1.11557/1.11379/344, dt=53ms [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)/1.93108/8040/504/1.12305/1.13291/344, dt=41ms [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)/1.86655/4058/344/1.13742/1.16652/344, dt=28ms [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)/1.179/176/176/1.46339/1.65189/344, dt=14ms [303/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(46.9758)/176(0)/0.991608/0/0/-/-/344, dt=4ms [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.13458/2577/2297/1.31118/1.53992/354, dt=74ms [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.08141/138507/2277/1.05859/1.03247/354, dt=263ms [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.07892/131885/2277/1.06597/1.03656/354, dt=269ms [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.06072/124233/2277/1.07353/1.04075/354, dt=272ms [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.03998/116740/2268/1.08102/1.045/354, dt=263ms [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.02995/109406/2250/1.08893/1.0496/354, dt=264ms [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.02324/102231/2223/1.09468/1.05315/354, dt=255ms [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.01823/95215/2187/1.09825/1.05563/354, dt=249ms [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.01695/88358/2142/1.09797/1.05609/354, dt=232ms [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.01581/81660/2088/1.10037/1.05824/354, dt=226ms [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.01342/75121/2025/1.1026/1.0605/354, dt=210ms [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.01318/68741/1953/1.10249/1.06159/354, dt=197ms [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.01479/62520/1872/1.09505/1.05838/354, dt=182ms [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.0166/56458/1782/1.09735/1.06131/354, dt=167ms [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.01108/50555/1683/1.09959/1.06455/354, dt=153ms [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.00523/44811/1575/1.10179/1.06819/354, dt=140ms [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)/1.99851/39226/1458/1.104/1.07234/354, dt=129ms [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)/1.99102/33800/1332/1.10626/1.07717/354, dt=116ms [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)/1.98242/28533/1197/1.10867/1.08293/354, dt=101ms [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)/1.97215/23425/1053/1.11138/1.09002/354, dt=90ms [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)/1.95931/18476/900/1.11472/1.09916/354, dt=74ms [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)/1.94229/13686/738/1.11941/1.11176/354, dt=59ms [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)/1.91785/9055/567/1.12706/1.13098/354, dt=45ms [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)/1.85438/4565/387/1.14203/1.16515/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)/1.18513/198/198/1.49124/1.66908/354, dt=14ms [329/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(51.8523)/198(0)/0.992028/0/0/-/-/354, dt=4ms [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.13012/2912/2552/1.30905/1.52796/365, dt=76ms [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.07879/156764/2530/1.06046/1.03157/365, dt=290ms [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.07625/149152/2530/1.06805/1.03553/365, dt=304ms [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.05682/140412/2530/1.07586/1.03961/365, dt=295ms [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.03505/131860/2520/1.08367/1.04378/365, dt=302ms [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.02386/123496/2500/1.09198/1.04834/365, dt=287ms [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.01606/115320/2470/1.09781/1.05174/365, dt=293ms [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.0105/107332/2430/1.10155/1.05419/365, dt=269ms [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.00842/99532/2380/1.10117/1.0546/365, dt=260ms [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.00667/91920/2320/1.10359/1.05668/365, dt=241ms [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.00329/84496/2250/1.10573/1.0588/365, dt=235ms [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.00271/77260/2170/1.10547/1.05979/365, dt=216ms [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.00414/70212/2080/1.09734/1.05642/365, dt=204ms [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.00598/63352/1980/1.09973/1.05932/365, dt=190ms [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)/1.99998/56680/1870/1.10206/1.06251/365, dt=177ms [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)/1.99377/50196/1750/1.10435/1.0661/365, dt=156ms [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)/1.98673/43900/1620/1.10664/1.07019/365, dt=142ms [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)/1.97896/37792/1480/1.10897/1.07496/365, dt=127ms [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)/1.9701/31872/1330/1.11143/1.08064/365, dt=112ms [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)/1.95962/26140/1170/1.11419/1.08764/365, dt=98ms [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)/1.94662/20596/1000/1.11757/1.09668/365, dt=83ms [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)/1.92949/15240/820/1.12229/1.10917/365, dt=66ms [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)/1.90505/10072/630/1.13005/1.12826/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)/1.84257/5072/430/1.14547/1.16263/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)/1.1908/220/220/1.51763/1.68309/365, dt=15ms [355/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(56.5714)/220(0)/0.992437/0/0/-/-/365, dt=4ms [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.12553/3257/2807/1.30578/1.51386/377, dt=79ms [357/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(58)/2783(9)/2.07592/175527/2783/1.06163/1.03046/377, dt=322ms [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.07333/166881/2783/1.06942/1.03431/377, dt=339ms [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.05271/157011/2783/1.07745/1.03828/377, dt=325ms [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.02997/147360/2772/1.08558/1.04239/377, dt=332ms [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.01766/137928/2750/1.09426/1.04689/377, dt=315ms [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.00883/128715/2717/1.10016/1.05016/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.00282/119721/2673/1.10406/1.05258/377, dt=296ms [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/110946/2618/1.10359/1.05294/377, dt=285ms [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)/1.99772/102390/2552/1.10603/1.05495/377, dt=263ms [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)/1.99336/94053/2475/1.1081/1.05696/377, dt=259ms [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)/1.99252/85935/2387/1.10769/1.05786/377, dt=237ms [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)/1.99386/78036/2288/1.09891/1.05436/377, dt=221ms [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)/1.99585/70356/2178/1.1014/1.05719/377, dt=204ms [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)/1.9894/62895/2057/1.10381/1.06033/377, dt=194ms [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)/1.98286/55653/1925/1.10618/1.06385/377, dt=177ms [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)/1.97553/48630/1782/1.10852/1.06787/377, dt=157ms [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)/1.96749/41826/1628/1.1109/1.07254/377, dt=138ms [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)/1.95839/35241/1463/1.1134/1.07811/377, dt=122ms [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)/1.9477/28875/1287/1.11618/1.08498/377, dt=106ms [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)/1.93453/22728/1100/1.11957/1.09384/377, dt=89ms [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)/1.91729/16800/902/1.12429/1.10611/377, dt=72ms [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)/1.89283/11091/693/1.13207/1.12493/377, dt=53ms [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)/1.83129/5579/473/1.14785/1.15917/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)/1.19631/242/242/1.54277/1.69446/377, dt=16ms [381/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(61.1034)/242(0)/0.992834/0/0/-/-/377, dt=4ms [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.12088/3612/3062/1.30098/1.49709/390, dt=80ms [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.0729/194796/3036/1.06275/1.02947/390, dt=356ms [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.07026/185072/3036/1.07073/1.03322/390, dt=375ms [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.0485/174030/3036/1.07899/1.0371/390, dt=356ms [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.02484/163240/3024/1.0874/1.04114/390, dt=369ms [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.01147/152702/3000/1.09643/1.04559/390, dt=343ms [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.00165/142416/2964/1.10242/1.04875/390, dt=353ms [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)/1.99528/132382/2916/1.10647/1.05114/390, dt=326ms [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)/1.99178/122600/2856/1.10592/1.05146/390, dt=315ms [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)/1.98902/113070/2784/1.1084/1.05341/390, dt=287ms [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)/1.98371/103792/2700/1.1104/1.05532/390, dt=279ms [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)/1.98269/94766/2604/1.10986/1.05615/390, dt=254ms [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)/1.98402/85992/2496/1.10049/1.05255/390, dt=237ms [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)/1.98626/77470/2376/1.10307/1.05534/390, dt=219ms [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)/1.97941/69200/2244/1.10556/1.05842/390, dt=208ms [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)/1.97256/61182/2100/1.10801/1.06188/390, dt=189ms [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)/1.96496/53416/1944/1.11043/1.06583/390, dt=175ms [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)/1.95667/45902/1776/1.11287/1.07042/390, dt=152ms [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)/1.94736/38640/1596/1.11541/1.07589/390, dt=131ms [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)/1.93647/31630/1404/1.11821/1.08264/390, dt=114ms [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)/1.92314/24872/1200/1.12162/1.09135/390, dt=94ms [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)/1.90578/18366/984/1.12635/1.10342/390, dt=78ms [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)/1.88126/12112/756/1.13417/1.12197/390, dt=56ms [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)/1.82063/6086/516/1.1503/1.15607/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)/1.20181/264/264/1.56799/1.70507/390, dt=16ms [407/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(65.426)/264(0)/0.993216/0/0/-/-/390, dt=4ms [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.11622/3977/3317/1.29641/1.48075/404, dt=80ms [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.0698/214571/3289/1.06383/1.02858/404, dt=384ms [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.06711/203725/3289/1.07199/1.03224/404, dt=410ms [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.04426/191469/3289/1.08046/1.03603/404, dt=389ms [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.01973/179500/3276/1.08915/1.04001/404, dt=401ms [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.00533/167818/3250/1.09851/1.04441/404, dt=377ms [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)/1.99459/156423/3211/1.10459/1.04747/404, dt=383ms [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)/1.98793/145315/3159/1.10879/1.04984/404, dt=356ms [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)/1.98382/134494/3094/1.10816/1.05013/404, dt=340ms [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)/1.98065/123960/3016/1.11068/1.05203/404, dt=314ms [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)/1.9744/113713/2925/1.11264/1.05385/404, dt=302ms [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)/1.97328/103753/2821/1.11199/1.05462/404, dt=277ms [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)/1.97467/94080/2704/1.10206/1.05095/404, dt=257ms [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)/1.97725/84694/2574/1.10473/1.05369/404, dt=232ms [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)/1.97002/75595/2431/1.10732/1.05673/404, dt=220ms [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)/1.9629/66783/2275/1.10984/1.06014/404, dt=200ms [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)/1.95505/58258/2106/1.11234/1.06403/404, dt=184ms [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)/1.94655/50020/1924/1.11484/1.06855/404, dt=166ms [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)/1.93703/42069/1729/1.11743/1.07394/404, dt=141ms [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)/1.92596/34405/1521/1.12028/1.08058/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)/1.91248/27028/1300/1.12371/1.08915/404, dt=100ms [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)/1.89501/19938/1066/1.12846/1.10102/404, dt=81ms [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)/1.87042/13135/819/1.13633/1.11933/404, dt=60ms [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)/1.81066/6593/559/1.15282/1.15326/404, dt=39ms [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)/1.20739/286/286/1.59331/1.71498/404, dt=17ms [433/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(69.5233)/286(0)/0.993583/0/0/-/-/404, dt=5ms [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.11158/4352/3572/1.29208/1.4649/419, dt=79ms [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.06666/234852/3542/1.06486/1.02778/419, dt=421ms [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.06393/222840/3542/1.0732/1.03135/419, dt=447ms [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.04005/209328/3542/1.08186/1.03506/419, dt=430ms [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.01469/196140/3528/1.09082/1.03898/419, dt=435ms [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)/1.99932/183276/3500/1.10049/1.04333/419, dt=408ms [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)/1.9877/170736/3458/1.10667/1.04631/419, dt=417ms [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)/1.98083/158520/3402/1.11102/1.04864/419, dt=384ms [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)/1.97616/146628/3332/1.11033/1.04891/419, dt=373ms [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)/1.97263/135060/3248/1.11289/1.05077/419, dt=337ms [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)/1.96549/123816/3150/1.11481/1.05253/419, dt=327ms [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)/1.96431/112896/3038/1.11407/1.05325/419, dt=296ms [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)/1.96584/102300/2912/1.10362/1.04952/419, dt=272ms [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)/1.96883/92028/2772/1.10639/1.05223/419, dt=249ms [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)/1.96126/82080/2618/1.10906/1.05522/419, dt=234ms [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)/1.9539/72456/2450/1.11168/1.05859/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)/1.94584/63156/2268/1.11425/1.06242/419, dt=195ms [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)/1.93713/54180/2072/1.11682/1.06688/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)/1.92743/45528/1862/1.11947/1.07219/419, dt=155ms [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)/1.9162/37200/1638/1.12237/1.07873/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)/1.90258/29196/1400/1.12583/1.08718/419, dt=105ms [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)/1.88499/21516/1148/1.13061/1.09888/419, dt=84ms [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)/1.86034/14160/882/1.13854/1.11695/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)/1.80141/7100/602/1.15539/1.15071/419, dt=41ms [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)/1.21308/308/308/1.61872/1.72428/419, dt=17ms [459/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(73.3855)/308(0)/0.993934/0/0/-/-/419, dt=5ms [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.10701/4737/3827/1.28799/1.44957/435, dt=78ms [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.06354/255639/3795/1.06585/1.02704/435, dt=464ms [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.06077/242417/3795/1.07435/1.03053/435, dt=498ms [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.03591/227607/3795/1.08322/1.03417/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.00976/213160/3780/1.09243/1.03804/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)/1.99348/199076/3750/1.1024/1.04233/435, dt=473ms [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)/1.98103/185355/3705/1.10867/1.04524/435, dt=456ms [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)/1.97401/171997/3645/1.11316/1.04755/435, dt=415ms [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)/1.96882/159002/3570/1.11242/1.0478/435, dt=397ms [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)/1.96501/146370/3480/1.11502/1.04962/435, dt=364ms [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)/1.95699/134101/3375/1.11692/1.05132/435, dt=349ms [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)/1.95583/122195/3255/1.1161/1.052/435, dt=316ms [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)/1.95755/110652/3120/1.10517/1.04823/435, dt=290ms [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)/1.96102/99472/2970/1.10803/1.0509/435, dt=264ms [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)/1.95314/88655/2805/1.1108/1.05386/435, dt=250ms [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)/1.94556/78201/2625/1.1135/1.05719/435, dt=222ms [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)/1.93731/68110/2430/1.11615/1.06097/435, dt=204ms [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)/1.92842/58382/2220/1.1188/1.06538/435, dt=181ms [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)/1.91856/49017/1995/1.12152/1.07062/435, dt=161ms [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)/1.90719/40015/1755/1.12446/1.07708/435, dt=135ms [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)/1.89344/31376/1500/1.12797/1.08541/435, dt=109ms [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)/1.87574/23100/1230/1.13279/1.09695/435, dt=88ms [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)/1.85102/15187/945/1.1408/1.1148/435, dt=66ms [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)/1.79289/7607/645/1.15802/1.14838/435, dt=43ms [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)/1.21889/330/330/1.64425/1.73301/435, dt=17ms [485/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(77.008)/330(0)/0.99427/0/0/-/-/435, dt=5ms [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.10252/5132/4082/1.28415/1.43479/452, dt=76ms [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.06046/276932/4048/1.0668/1.02636/452, dt=503ms [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.05766/262456/4048/1.07546/1.02978/452, dt=533ms [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.03186/246306/4048/1.08451/1.03335/452, dt=532ms [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.00498/230560/4032/1.09397/1.03716/452, dt=542ms [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)/1.98783/215218/4000/1.10423/1.04141/452, dt=523ms [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)/1.9746/200280/3952/1.11059/1.04424/452, dt=522ms [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)/1.96748/185746/3888/1.11523/1.04653/452, dt=486ms [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)/1.96185/171616/3808/1.11444/1.04677/452, dt=453ms [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)/1.95778/157890/3712/1.11709/1.04856/452, dt=406ms [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)/1.94894/144568/3600/1.11898/1.0502/452, dt=371ms [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)/1.94783/131650/3472/1.11808/1.05085/452, dt=342ms [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)/1.9498/119136/3328/1.10669/1.04705/452, dt=301ms [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)/1.9538/107026/3168/1.10965/1.0497/452, dt=282ms [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)/1.94564/95320/2992/1.11251/1.05263/452, dt=256ms [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)/1.93787/84018/2800/1.11531/1.05591/452, dt=236ms [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)/1.92945/73120/2592/1.11805/1.05966/452, dt=214ms [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)/1.92042/62626/2368/1.12077/1.06401/452, dt=191ms [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)/1.91041/52536/2128/1.12356/1.06919/452, dt=169ms [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)/1.89891/42850/1872/1.12657/1.07557/452, dt=149ms [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)/1.88504/33568/1600/1.13013/1.0838/452, dt=116ms [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)/1.86725/24690/1312/1.135/1.0952/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)/1.84245/16216/1008/1.14309/1.11285/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)/1.78509/8114/688/1.1607/1.14624/452, dt=44ms [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)/1.2248/352/352/1.66989/1.74122/452, dt=17ms [511/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(80.3907)/352(0)/0.994589/0/0/-/-/452, dt=5ms [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.09815/5537/4337/1.28055/1.42059/470, dt=74ms [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.05746/298731/4301/1.06771/1.02573/470, dt=543ms [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.05463/282957/4301/1.07653/1.02908/470, dt=597ms [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.02794/265425/4301/1.08576/1.03259/470, dt=574ms [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.00037/248340/4284/1.09544/1.03635/470, dt=578ms [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)/1.9824/231702/4250/1.10598/1.04055/470, dt=559ms [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)/1.96845/215511/4199/1.11244/1.04332/470, dt=555ms [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)/1.96127/199767/4131/1.11721/1.04559/470, dt=518ms [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)/1.95523/184470/4046/1.11638/1.04581/470, dt=487ms [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)/1.95097/169620/3944/1.11909/1.04757/470, dt=454ms [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)/1.94134/155217/3825/1.12097/1.04917/470, dt=421ms [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)/1.94033/141261/3689/1.12001/1.0498/470, dt=365ms [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)/1.94259/127752/3536/1.1082/1.04598/470, dt=317ms [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)/1.94717/114690/3366/1.11125/1.0486/470, dt=294ms [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)/1.93875/102075/3179/1.11421/1.0515/470, dt=271ms [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)/1.93082/89907/2975/1.1171/1.05475/470, dt=247ms [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)/1.92226/78186/2754/1.11993/1.05846/470, dt=224ms [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)/1.91309/66912/2516/1.12274/1.06277/470, dt=199ms [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)/1.90296/56085/2261/1.1256/1.06789/470, dt=176ms [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)/1.89135/45705/1989/1.12868/1.0742/470, dt=153ms [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)/1.87737/35772/1700/1.1323/1.08234/470, dt=122ms [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)/1.85949/26286/1394/1.13723/1.09361/470, dt=96ms [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)/1.83462/17247/1071/1.14541/1.11106/470, dt=71ms [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)/1.778/8621/731/1.16342/1.14427/470, dt=46ms [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)/1.23078/374/374/1.69565/1.74895/470, dt=17ms [537/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(83.5369)/374(0)/0.994894/0/0/-/-/470, dt=4ms [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.09391/5952/4592/1.27719/1.40696/489, dt=70ms [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.05454/321036/4554/1.06858/1.02514/489, dt=578ms [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.0517/303920/4554/1.07755/1.02843/489, dt=630ms [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.02417/284964/4554/1.08695/1.03187/489, dt=612ms [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)/1.99595/266500/4536/1.09686/1.03559/489, dt=615ms [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)/1.97721/248528/4500/1.10766/1.03974/489, dt=590ms [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)/1.96257/231048/4446/1.11421/1.04246/489, dt=584ms [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)/1.95539/214060/4374/1.11912/1.0447/489, dt=545ms [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)/1.94899/197564/4284/1.11827/1.04492/489, dt=519ms [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)/1.94456/181560/4176/1.12103/1.04665/489, dt=473ms [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)/1.93418/166048/4050/1.12291/1.04822/489, dt=456ms [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)/1.93331/151028/3906/1.1219/1.04882/489, dt=413ms [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)/1.9359/136500/3744/1.10968/1.04499/489, dt=356ms [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)/1.94109/122464/3564/1.11283/1.04759/489, dt=307ms [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)/1.93245/108920/3366/1.11589/1.05046/489, dt=287ms [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)/1.92437/95868/3150/1.11887/1.05368/489, dt=256ms [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)/1.91569/83308/2916/1.12179/1.05736/489, dt=236ms [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)/1.90641/71240/2664/1.12469/1.06162/489, dt=206ms [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)/1.89618/59664/2394/1.12764/1.0667/489, dt=181ms [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)/1.88446/48580/2106/1.13079/1.07294/489, dt=158ms [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)/1.8704/37988/1800/1.13447/1.08099/489, dt=129ms [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)/1.85244/27888/1476/1.13947/1.09214/489, dt=97ms [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)/1.8275/18280/1134/1.14776/1.10941/489, dt=72ms [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)/1.77159/9128/774/1.16617/1.14244/489, dt=46ms [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)/1.23682/396/396/1.72154/1.75625/489, dt=16ms [563/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(86.4528)/396(0)/0.995182/0/0/-/-/489, dt=4ms [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.08982/6377/4847/1.27405/1.39392/509, dt=67ms [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.05172/343847/4807/1.06884/1.02438/509, dt=620ms [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.04887/325345/4807/1.07794/1.02761/509, dt=674ms [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.02055/304923/4807/1.08749/1.03099/509, dt=655ms [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)/1.99404/285040/4788/1.09759/1.03465/509, dt=663ms [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)/1.97457/265696/4750/1.10863/1.03875/509, dt=632ms [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)/1.95929/246891/4693/1.11526/1.04141/509, dt=626ms [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)/1.95213/228625/4617/1.12029/1.04362/509, dt=577ms [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)/1.9454/210898/4522/1.11938/1.04382/509, dt=553ms [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)/1.94084/193710/4408/1.12218/1.04552/509, dt=503ms [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)/1.92974/177061/4275/1.12404/1.04704/509, dt=480ms [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)/1.92903/160951/4123/1.12296/1.0476/509, dt=431ms [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)/1.93196/145380/3952/1.11033/1.04376/509, dt=412ms [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)/1.93778/130348/3762/1.11354/1.04631/509, dt=349ms [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)/1.92891/115855/3553/1.11666/1.04912/509, dt=305ms [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)/1.9207/101901/3325/1.11969/1.05229/509, dt=274ms [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)/1.9119/88486/3078/1.12266/1.05589/509, dt=246ms [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)/1.9025/75610/2812/1.12559/1.06007/509, dt=217ms [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)/1.89214/63273/2527/1.12855/1.06504/509, dt=191ms [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)/1.88031/51475/2223/1.1317/1.07114/509, dt=165ms [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)/1.86612/40216/1900/1.13536/1.079/509, dt=140ms [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)/1.84802/29496/1558/1.14031/1.08989/509, dt=104ms [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)/1.82291/19315/1197/1.14856/1.10676/509, dt=74ms [587/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(89)/1197(2.09524)/1.7675/9635/817/1.16716/1.13926/509, dt=48ms [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)/1.24421/418/418/1.74547/1.76102/509, dt=16ms [589/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(89.1467)/418(0)/0.995456/0/0/-/-/509, dt=4ms [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.08588/6812/5102/1.26863/1.3779/530, dt=65ms [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.04902/367164/5060/1.06969/1.02389/530, dt=675ms [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.04616/347232/5060/1.07892/1.02706/530, dt=716ms [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.01931/325302/5060/1.08863/1.03038/530, dt=692ms [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)/1.99194/303960/5040/1.09893/1.03399/530, dt=706ms [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)/1.97162/283206/5000/1.11021/1.03805/530, dt=666ms [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)/1.95574/263040/4940/1.11694/1.04066/530, dt=667ms [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)/1.94862/243462/4860/1.12209/1.04286/530, dt=613ms [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)/1.94159/224472/4760/1.12117/1.04305/530, dt=580ms [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)/1.93693/206070/4640/1.12403/1.04473/530, dt=522ms [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)/1.92515/188256/4500/1.12589/1.04621/530, dt=500ms [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)/1.92461/171030/4340/1.12478/1.04677/530, dt=455ms [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)/1.9279/154392/4160/1.11179/1.04293/530, dt=404ms [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)/1.93433/138342/3960/1.1151/1.04546/530, dt=378ms [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)/1.92525/122880/3740/1.11832/1.04825/530, dt=336ms [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)/1.9169/108006/3500/1.12145/1.05139/530, dt=283ms [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)/1.90796/93720/3240/1.12452/1.05497/530, dt=255ms [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)/1.89842/80022/2960/1.12754/1.05912/530, dt=224ms [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)/1.88791/66912/2660/1.13059/1.06405/530, dt=198ms [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)/1.8759/54390/2340/1.13383/1.0701/530, dt=168ms [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)/1.86151/42456/2000/1.13757/1.0779/530, dt=141ms [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)/1.84315/31110/1640/1.14261/1.08868/530, dt=107ms [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)/1.81768/20352/1260/1.15098/1.10541/530, dt=75ms [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)/1.76243/10142/860/1.17001/1.13775/530, dt=50ms [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)/1.24938/440/440/1.77166/1.76764/530, dt=15ms [615/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(91.6285)/440(0)/0.991912/0/0/-/-/530, dt=3ms [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.0863/7257/5357/1.2659/1.36602/552, dt=52ms [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.04883/390987/5313/1.07061/1.02346/552, dt=754ms [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.04597/369581/5313/1.07998/1.02657/552, dt=798ms [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.01794/346101/5313/1.08983/1.02984/552, dt=763ms [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)/1.9896/323260/5292/1.10033/1.03341/552, dt=753ms [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)/1.96832/301058/5250/1.11184/1.03742/552, dt=731ms [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)/1.9516/279495/5187/1.11866/1.03998/552, dt=715ms [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)/1.94429/258571/5103/1.12393/1.04216/552, dt=672ms [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)/1.93677/238286/4998/1.12299/1.04235/552, dt=625ms [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)/1.93183/218640/4872/1.12591/1.04401/552, dt=570ms [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)/1.9192/199633/4725/1.12778/1.04547/552, dt=537ms [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)/1.91869/181265/4557/1.12664/1.04601/552, dt=486ms [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)/1.92219/163536/4368/1.1133/1.04218/552, dt=431ms [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)/1.92913/146446/4158/1.11671/1.04469/552, dt=397ms [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)/1.91973/129995/3927/1.12002/1.04747/552, dt=383ms [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)/1.91116/114183/3675/1.12325/1.05058/552, dt=316ms [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)/1.90203/99010/3402/1.1264/1.05413/552, dt=270ms [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)/1.8923/84476/3108/1.12951/1.05825/552, dt=234ms [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)/1.88163/70581/2793/1.13265/1.06314/552, dt=203ms [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)/1.86948/57325/2457/1.13597/1.06914/552, dt=173ms [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)/1.85496/44708/2100/1.13979/1.07687/552, dt=142ms [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)/1.83651/32730/1722/1.1449/1.08756/552, dt=112ms [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)/1.81099/21391/1323/1.1534/1.10414/552, dt=75ms [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)/1.75645/10649/903/1.17285/1.13632/552, dt=46ms [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)/1.25431/462/462/1.79794/1.77387/552, dt=13ms [641/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.9091)/462(0)/0.992134/0/0/-/-/552, dt=3ms [642/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94)/22(96)/2.08889/7712/5612/1.26367/1.35508/598, dt=47ms [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.0509/415316/5566/1.07151/1.02305/598, dt=826ms [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.04752/392392/5566/1.081/1.02611/598, dt=846ms [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.01838/367320/5566/1.091/1.02933/598, dt=839ms [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)/1.98911/342940/5544/1.10168/1.03285/598, dt=824ms [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)/1.96691/319252/5500/1.11341/1.03682/598, dt=792ms [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)/1.94939/296256/5434/1.12032/1.03934/598, dt=768ms [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)/1.94192/273952/5346/1.12571/1.0415/598, dt=725ms [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)/1.93394/252340/5236/1.12475/1.04169/598, dt=656ms [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)/1.92873/231420/5104/1.12773/1.04333/598, dt=604ms [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)/1.91531/211192/4950/1.12962/1.04476/598, dt=563ms [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)/1.91483/191656/4774/1.12845/1.0453/598, dt=504ms [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)/1.91856/172812/4576/1.11479/1.04148/598, dt=440ms [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)/1.926/154660/4356/1.11829/1.04397/598, dt=413ms [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)/1.91629/137200/4114/1.12169/1.04673/598, dt=381ms [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)/1.90751/120432/3850/1.12502/1.04982/598, dt=350ms [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)/1.89818/104356/3564/1.12827/1.05335/598, dt=285ms [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)/1.88828/88972/3256/1.13147/1.05743/598, dt=244ms [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)/1.87744/74280/2926/1.1347/1.06229/598, dt=209ms [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)/1.86513/60280/2574/1.1381/1.06825/598, dt=174ms [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)/1.85047/46972/2200/1.142/1.07592/598, dt=141ms [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)/1.83188/34356/1804/1.14721/1.08651/598, dt=110ms [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)/1.80625/22432/1386/1.15583/1.10295/598, dt=73ms [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)/1.75226/11156/946/1.17572/1.13498/598, dt=44ms [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)/1.2602/484/484/1.82437/1.77979/598, dt=11ms [667/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(96)/484(0)/0.992352/0/0/-/-/598, dt=3ms Narrowing and verification time: 118623ms Overall time: 118660ms