55555

Lemma 17 in FST&TCS'09 paper

NeighborsBranchingBVBN
[ 5 5 5 5 5 ]o>=3: ( 6*a[5]-5*a[4] , 6*a[5]+ 15*minD[5] )( 1.591826 , 7.538181 )1.2004241821003654
[ 5 5 5 5 5 ] i=0: ( 6*a[5]-5*a[4] , 6*a[5]+ 12*minD[5] )( 1.591826 , 7.135625999999999 )1.2079532803065687
[ 5 5 5 5 5 ] i=1: ( 6*a[5]-5*a[4] , 6*a[5]+ 11*minD[5] )( 1.591826 , 7.001441 )1.2106171860111692
[ 5 5 5 5 5 ] i=2: ( 6*a[5]-5*a[4] , 6*a[5]+ 8*minD[5]+ 2*minD[4] )( 1.591826 , 6.915223333333333 )1.2123726174243674
[ 5 5 5 5 5 ] i=3: ( 6*a[5]-5*a[4] , 6*a[5]+ 7*minD[5]+ 3*minD[4] )( 1.591826 , 6.939207 )1.2118808007744033
[ 5 5 5 5 5 ] i=4: ( 6*a[5]-5*a[4] , 6*a[5]+ 6*minD[5]+ 4*minD[4] )( 1.591826 , 6.963190666666666 )1.2113916571519094

Lemma 18 in FST&TCS'09 paper

Neighbors Shared / Out Branching BVBN
[5 5 5 5 5 ][ 5 / 3 3 ](6*a[5] -4*a[4] +2*a[3] , 6*a[5] +1*a[3] +4minD[5] ), ( 3.327554 , 6.536652 )1.1572603199327989
[5 5 5 5 5 ][ 5 / 3 3 3 ](6*a[5] -3*a[4] +2*a[3] , 6*a[5] +1*a[4] -1*a[3] +4minD[5] ), ( 4.114269999999999 , 6.374356 )1.1438054531758584
[5 5 5 5 5 ][ 5 / 3 3 3 3 ](7*a[5] -4*a[4] +3*a[3] , 7*a[5] -1*a[4] +4minD[5] ), ( 4.722961 , 6.196331 )1.136289834227898
[5 5 5 5 5 ][ 5 / 3 4 ](6*a[5] -3*a[4] , 6*a[5] +1*a[3] +4minD[5] ), ( 3.1652579999999997 , 6.536652 )1.1610842672512083
[5 5 5 5 5 ][ 5 / 3 3 4 ](6*a[5] -2*a[4] , 6*a[5] +1*a[4] -1*a[3] +4minD[5] ), ( 3.9519739999999994 , 6.374356 )1.1467121253762547
[5 5 5 5 5 ][ 5 / 3 3 3 4 ](7*a[5] -3*a[4] +1*a[3] , 7*a[5] -1*a[4] +4minD[5] ), ( 4.560665 , 6.196331 )1.1387388512508014
[5 5 5 5 5 ][ 5 / 4 4 ](6*a[5] -2*a[4] -2*a[3] , 6*a[5] +1*a[3] +4minD[5] ), ( 3.002962 , 6.536652 )1.1651811382958517
[5 5 5 5 5 ][ 5 / 3 4 4 ](6*a[5] -1*a[4] -2*a[3] , 6*a[5] +1*a[4] -1*a[3] +4minD[5] ), ( 3.7896779999999994 , 6.374356 )1.1497862982079752
[5 5 5 5 5 ][ 5 / 3 3 4 4 ](7*a[5] -2*a[4] -1*a[3] , 7*a[5] -1*a[4] +4minD[5] ), ( 4.398369 , 6.196331 )1.1413108599734978
[5 5 5 5 5 ][ 5 / 4 4 4 ](6*a[5] -4*a[3] , 6*a[5] +1*a[4] -1*a[3] +4minD[5] ), ( 3.627382 , 6.374356 )1.1530449733982473
[5 5 5 5 5 ][ 5 / 3 4 4 4 ](7*a[5] -1*a[4] -3*a[3] , 7*a[5] -1*a[4] +4minD[5] ), ( 4.236072999999999 , 6.196331 )1.1440168186104462
[5 5 5 5 5 ][ 5 / 4 4 4 4 ](7*a[5] -5*a[3] , 7*a[5] -1*a[4] +4minD[5] ), ( 4.073777 , 6.196331 )1.1468690577044005
[5 5 5 5 5 ][ 5 / 3 5 ](7*a[5] -5*a[4] +1*a[3] , 6*a[5] +1*a[3] +4minD[5] ), ( 2.987233 , 6.536652 )1.1655938251348315
[5 5 5 5 5 ][ 5 / 3 3 5 ](7*a[5] -4*a[4] +1*a[3] , 6*a[5] +1*a[4] -1*a[3] +4minD[5] ), ( 3.7739489999999996 , 6.374356 )1.1500936919780678
[5 5 5 5 5 ][ 5 / 3 3 3 5 ](8*a[5] -5*a[4] +2*a[3] , 7*a[5] -1*a[4] +4minD[5] ), ( 4.38264 , 6.196331 )1.1415671309651252
[5 5 5 5 5 ][ 5 / 4 5 ](7*a[5] -4*a[4] -1*a[3] , 6*a[5] +1*a[3] +4minD[5] ), ( 2.824937 , 6.536652 )1.1700303414523991
[5 5 5 5 5 ][ 5 / 3 4 5 ](7*a[5] -3*a[4] -1*a[3] , 6*a[5] +1*a[4] -1*a[3] +4minD[5] ), ( 3.6116529999999996 , 6.374356 )1.1533712386588397
[5 5 5 5 5 ][ 5 / 3 3 4 5 ](8*a[5] -4*a[4] , 7*a[5] -1*a[4] +4minD[5] ), ( 4.220344 , 6.196331 )1.1442866374863803
[5 5 5 5 5 ][ 5 / 4 4 5 ](7*a[5] -2*a[4] -3*a[3] , 6*a[5] +1*a[4] -1*a[3] +4minD[5] ), ( 3.4493569999999996 , 6.374356 )1.1568547883566345
[5 5 5 5 5 ][ 5 / 3 4 4 5 ](8*a[5] -3*a[4] -2*a[3] , 7*a[5] -1*a[4] +4minD[5] ), ( 4.058047999999999 , 6.196331 )1.1471537149093396
[5 5 5 5 5 ][ 5 / 4 4 4 5 ](8*a[5] -2*a[4] -4*a[3] , 7*a[5] -1*a[4] +4minD[5] ), ( 3.895752 , 6.196331 )1.1501821572483133
[5 5 5 5 5 ][ 5 / 5 5 ](8*a[5] -6*a[4] , 6*a[5] +1*a[3] +4minD[5] ), ( 2.646912 , 6.536652 )1.17530543922561
[5 5 5 5 5 ][ 5 / 3 5 5 ](8*a[5] -5*a[4] , 6*a[5] +1*a[4] -1*a[3] +4minD[5] ), ( 3.4336279999999997 , 6.374356 )1.1572041254344287
[5 5 5 5 5 ][ 5 / 3 3 5 5 ](9*a[5] -6*a[4] +1*a[3] , 7*a[5] -1*a[4] +4minD[5] ), ( 4.042319 , 6.196331 )1.147439926031874
[5 5 5 5 5 ][ 5 / 4 5 5 ](8*a[5] -4*a[4] -2*a[3] , 6*a[5] +1*a[4] -1*a[3] +4minD[5] ), ( 3.2713319999999997 , 6.374356 )1.160940451379074
[5 5 5 5 5 ][ 5 / 3 4 5 5 ](9*a[5] -5*a[4] -1*a[3] , 7*a[5] -1*a[4] +4minD[5] ), ( 3.8800229999999996 , 6.196331 )1.1504848713221492
[5 5 5 5 5 ][ 5 / 4 4 5 5 ](9*a[5] -4*a[4] -3*a[3] , 7*a[5] -1*a[4] +4minD[5] ), ( 3.717727 , 6.196331 )1.1537087956011507
[5 5 5 5 5 ][ 5 / 5 5 5 ](9*a[5] -6*a[4] -1*a[3] , 6*a[5] +1*a[4] -1*a[3] +4minD[5] ), ( 3.093307 , 6.374356 )1.165337338832212
[5 5 5 5 5 ][ 5 / 3 5 5 5 ](10*a[5] -7*a[4] , 7*a[5] -1*a[4] +4minD[5] ), ( 3.7019979999999997 , 6.196331 )1.1540314676399008
[5 5 5 5 5 ][ 5 / 4 5 5 5 ](10*a[5] -6*a[4] -2*a[3] , 7*a[5] -1*a[4] +4minD[5] ), ( 3.5397019999999997 , 6.196331 )1.1574734935635382
[5 5 5 5 5 ][ 5 / 5 5 5 5 ](11*a[5] -8*a[4] -1*a[3] , 7*a[5] -1*a[4] +4minD[5] ), ( 3.361677 , 6.196331 )1.161504510092262
[5 5 5 5 5 ][ 5 5 / 3 ](6*a[5] -3*a[4] , 6*a[5] +1*a[3] +3minD[5] ), ( 3.165258 , 6.402467 )1.1630917613302931
[5 5 5 5 5 ][ 5 5 / 3 3 ](6*a[5] -2*a[4] , 6*a[5] +1*a[4] +3minD[5] ), ( 3.9519739999999994 , 6.714677 )1.1423842383101184
[5 5 5 5 5 ][ 5 5 / 3 3 3 ](7*a[5] -3*a[4] +1*a[3] , 7*a[5] -1*a[3] +3minD[5] ), ( 4.560665 , 6.374355999999999 )1.13655879195863
[5 5 5 5 5 ][ 5 5 / 4 ](6*a[5] -2*a[4] -2*a[3] , 6*a[5] +1*a[3] +3minD[5] ), ( 3.002962 , 6.402467 )1.1672578948565826
[5 5 5 5 5 ][ 5 5 / 3 4 ](6*a[5] -1*a[4] -2*a[3] , 6*a[5] +1*a[4] +3minD[5] ), ( 3.7896779999999994 , 6.714677 )1.1453363796053422
[5 5 5 5 5 ][ 5 5 / 3 3 4 ](7*a[5] -2*a[4] -1*a[3] , 7*a[5] -1*a[3] +3minD[5] ), ( 4.398369 , 6.374355999999999 )1.13907640336215
[5 5 5 5 5 ][ 5 5 / 4 4 ](6*a[5] -4*a[3] , 6*a[5] +1*a[4] +3minD[5] ), ( 3.6273819999999994 , 6.714677 )1.148464802919693
[5 5 5 5 5 ][ 5 5 / 3 4 4 ](7*a[5] -1*a[4] -3*a[3] , 7*a[5] -1*a[3] +3minD[5] ), ( 4.236072999999999 , 6.374355999999999 )1.1417248336347248
[5 5 5 5 5 ][ 5 5 / 4 4 4 ](7*a[5] -5*a[3] , 7*a[5] -1*a[3] +3minD[5] ), ( 4.073777 , 6.374355999999999 )1.1445158259662513
[5 5 5 5 5 ][ 5 5 / 5 ](7*a[5] -4*a[4] -1*a[3] , 6*a[5] +1*a[3] +3minD[5] ), ( 2.8249370000000003 , 6.402467 )1.17218995059706
[5 5 5 5 5 ][ 5 5 / 3 5 ](7*a[5] -3*a[4] -1*a[3] , 6*a[5] +1*a[4] +3minD[5] ), ( 3.6116529999999996 , 6.714677 )1.1487779404608323
[5 5 5 5 5 ][ 5 5 / 3 3 5 ](8*a[5] -4*a[4] , 7*a[5] -1*a[3] +3minD[5] ), ( 4.220344 , 6.374355999999999 )1.1419889083449475
[5 5 5 5 5 ][ 5 5 / 4 5 ](7*a[5] -2*a[4] -3*a[3] , 6*a[5] +1*a[4] +3minD[5] ), ( 3.4493569999999996 , 6.714677 )1.1521210820610457
[5 5 5 5 5 ][ 5 5 / 3 4 5 ](8*a[5] -3*a[4] -2*a[3] , 7*a[5] -1*a[3] +3minD[5] ), ( 4.058047999999999 , 6.374355999999999 )1.1447943166746763
[5 5 5 5 5 ][ 5 5 / 4 4 5 ](8*a[5] -2*a[4] -4*a[3] , 7*a[5] -1*a[3] +3minD[5] ), ( 3.895752 , 6.374355999999999 )1.1477573730848922
[5 5 5 5 5 ][ 5 5 / 5 5 ](8*a[5] -4*a[4] -2*a[3] , 6*a[5] +1*a[4] +3minD[5] ), ( 3.2713319999999997 , 6.714677 )1.1560405943696166
[5 5 5 5 5 ][ 5 5 / 3 5 5 ](9*a[5] -5*a[4] -1*a[3] , 7*a[5] -1*a[3] +3minD[5] ), ( 3.880023 , 6.374355999999999 )1.1480533127278996
[5 5 5 5 5 ][ 5 5 / 4 5 5 ](9*a[5] -4*a[4] -3*a[3] , 7*a[5] -1*a[3] +3minD[5] ), ( 3.717727 , 6.374355999999999 )1.1512070432625818
[5 5 5 5 5 ][ 5 5 / 5 5 5 ](10*a[5] -6*a[4] -2*a[3] , 7*a[5] -1*a[3] +3minD[5] ), ( 3.539702 , 6.374355999999999 )1.1548889405164477
[5 5 5 5 5 ][ 5 5 5 / ](6*a[5] -2*a[4] -2*a[3] , 6*a[5] +1*a[3] +2minD[5] ), ( 3.002962 , 6.268282 )1.1694014034169613
[5 5 5 5 5 ][ 5 5 5 / 3 ](6*a[5] -1*a[4] -2*a[3] , 6*a[5] +1*a[4] +2minD[5] ), ( 3.789678 , 6.580492 )1.1470503436970372
[5 5 5 5 5 ][ 5 5 5 / 3 3 ](7*a[5] -2*a[4] -1*a[3] , 7*a[5] +2minD[5] ), ( 4.398369 , 6.714676999999999 )1.1350476931063231
[5 5 5 5 5 ][ 5 5 5 / 4 ](6*a[5] -4*a[3] , 6*a[5] +1*a[4] +2minD[5] ), ( 3.627382 , 6.580492 )1.1502286818790342
[5 5 5 5 5 ][ 5 5 5 / 3 4 ](7*a[5] -1*a[4] -3*a[3] , 7*a[5] +2minD[5] ), ( 4.236072999999999 , 6.714676999999999 )1.1375928541347005
[5 5 5 5 5 ][ 5 5 5 / 4 4 ](7*a[5] -5*a[3] , 7*a[5] +2minD[5] ), ( 4.073777 , 6.714676999999999 )1.1402745255266438
[5 5 5 5 5 ][ 5 5 5 / 5 ](7*a[5] -2*a[4] -3*a[3] , 6*a[5] +1*a[4] +2minD[5] ), ( 3.449357 , 6.580492 )1.1539439966418648
[5 5 5 5 5 ][ 5 5 5 / 3 5 ](8*a[5] -3*a[4] -2*a[3] , 7*a[5] +2minD[5] ), ( 4.058047999999999 , 6.714676999999999 )1.1405421166114351
[5 5 5 5 5 ][ 5 5 5 / 4 5 ](8*a[5] -2*a[4] -4*a[3] , 7*a[5] +2minD[5] ), ( 3.895752 , 6.714676999999999 )1.1433880994438381
[5 5 5 5 5 ][ 5 5 5 / 5 5 ](9*a[5] -4*a[4] -3*a[3] , 7*a[5] +2minD[5] ), ( 3.717727 , 6.714676999999999 )1.1467005256901832
[5 5 5 5 5 ][ 5 5 5 5 / ](6*a[5] -4*a[3] , 6*a[5] +1*a[4] +1minD[5] ), ( 3.627382 , 6.446306999999999 )1.1520467157615224
[5 5 5 5 5 ][ 5 5 5 5 / 3 ](7*a[5] -1*a[4] -3*a[3] , 7*a[5] +1minD[5] ), ( 4.236072999999999 , 6.580492 )1.1391848397818296
[5 5 5 5 5 ][ 5 5 5 5 / 4 ](7*a[5] -5*a[3] , 7*a[5] +1minD[5] ), ( 4.073777 , 6.580492 )1.1419083829234997
[5 5 5 5 5 ][ 5 5 5 5 / 5 ](8*a[5] -2*a[4] -4*a[3] , 7*a[5] +1minD[5] ), ( 3.895752 , 6.580492 )1.145071067272076
[5 5 5 5 5 ][ 5 5 5 5 5 / ](7*a[5] -5*a[3] , 7*a[5] +0minD[5] ), ( 4.073777 , 6.446306999999999 )1.1435918272919785

Lemma 19 in FST&TCS'09 paper

NeighborsBranchingBVBN
[ 5 5 5 5 5 ]( 6*a[5]-5*a[4] , 6*a[5]+2*a[3]+ 3*minD[5] )( 1.591826 , 6.876973 )1.2131628462688582