From: heiner@DrB.Insel.DE (Heiner Marxen)
Subject: A new 6-state busy beaver champion (> 10^865 ones)
Date: Mon, 5 Mar 2001 21:12:48 GMT
Newsgroups: comp.theory,sci.math
Summary: New record for Busy Beaver problem

Hello Busy Beaver fans!

We (Juergen Buntrock and Heiner Marxen) proudly announce a new 6-state
record machine for the "Busy Beaver Contest".  It produces >10^865 ones
in >3*10^1730 steps.

Below is an edited extract from a simulation of this machine, starting
with its transition table.  Large numbers are broken after blocks of 50
digits.  Details are also accessible via my BB-page:
http://www.drb.insel.de/~heiner/BB/

-----------------------------------------------------------------------------
State sym=0 sym=1
    A   B1R F0L  
    B   C0R D0R  
    C   D1L E1R  
    D   E0L D0L  
    E   A0R C1R  
    F   A1L Z1R  

Simulation is done as 2-bck-macro machine with pure additive config-TRs.

Pushing initial machine.
Pushing macro factor 2.
Pushing BCK machine.

Steps             BasSteps              BasTpos  Tape contents
    0                    0                    0  (00)A>
    1                    2                    2  (10)C>
    2                    7                   -1  <D(01) 10
    3                   12                    2  01 (01)E> 10
    4                   17                   -1  01 <E(00) 01
    5                   21                   -3  <E(00) 10 01
    6                   24                    0  (10)C> 10 01
    7                   26                    2  10 (10)A> 01
    8                   28                    4  10^2 (10)D>
    9                   32                    6  10^3 (10)C>
   10                   37                    3  10^3 <D(01) 10
...
The final configuration then is:

10^12914951964730997250673433546819849509549358087128\
   69005395873005091204311405044485024013143268788877\
   96982050179592672794672477591595948221752253054324\
   81859864495796137909683447198447312843568880129905\
   33063069223512777765526485338267097939892666393404\
   33645541695093655408344618435778415742964338602689\
   29575034928793440722283883496539655948945100141899\
   42944746881736756960481303815091265680548717247559\
   30418437122794678536247499891470543037484990932498\
   45855395105658447844504456040960051641314951220524\
   82406177581463473827266448103006672709418626513574\
   98031478037424866640095921801194216728219139588401\
   23231130890028804306931645773916087727281493526404\
   73317019897976560342477660683368440952973000704411\
   85616248748736529970020326673445871378590029099788\
   72928814647043325481327200728882173015355211743620\
   25443804176796589274203597930628676364226731372114\
   6548318330807870 11 Z> 01   [stop]

Top steps:   55251
Macro steps: 72323731002493584603771227862191157253476405287920\
	     66430216888828510744143868249116134473602305217716\
	     63099481005718967650165874512937310041812617104218\
	     98415241176458372294227304311304951923985728727469\
	     85153187651671555486948317894295748463398931803064\
	     28415033492524470286729863240359128160600296175060\
	     05620195601243268044789747580622073314092560794636\
	     80490582537725838978695301364511087811072816586332\
	     10343247887650199802985999392235041009915949221991\
	     36790212591687307929224953829376289191363726834939\
	     01474594456195453432692109376837367172744308476019\
	     88976277009579253184537162086687613678027181695046\
	     90094332984161304118817216333930091272776363747866\
	     50575311428668737917874899826863269336648803944706\
	     39450992992924567832113829371296879720104162958816\
	     88401362023442622695432324081740168885989185764273\
	     42485303390060899935540148411520587639669695683842\
	     0670582652505920
Basic steps: 30023277165235628289551030183413401851477543372467\
	     52500373381801735214240760383265881912082978202876\
	     69898401786071345848280422383492822716051848585583\
	     66815379725143861856173020941548768557007853865875\
	     73048574872220400307698440450988713670876150791383\
	     11034353164641077919209890837164477363289374225531\
	     95512602325117225903457015508730368365463087415599\
	     08225161299384258306913786072736707081901605255340\
	     77040039226593073997923170154775358629850421712513\
	     37852708622311268067797375179003293757852001766679\
	     22468399088559203629337677447608701284468834554778\
	     06316491601855784426860769027944542798006152693167\
	     45282133668991746088610648657418901540119403485757\
	     77182530655416326563343142423255924867001185067165\
	     81303423271748965426160409797173073716688827281435\
	     90463944560592817525404832110930600247465896810879\
	     33819123818123362279928399308330859334788531765747\
	     02776062858289156568392295963586263654139383856764\
	     72805139496555440968845657812274329631996080836809\
	     45364210391495849467580065091609857013289970263017\
	     08760235500239598119410592142621669614552827244429\
	     21741646549436389169711396531689266061170929004858\
	     06775661787157523545940490167192780698328665223329\
	     23541370293059667996001319376698551683848851474625\
	     15209456711061545198683989449088568708224497877455\
	     14532043585886615939797639351028965232958039400236\
	     73203101744986550732496850436999753711343067328676\
	     15814626929272337566201561282692410545484965841096\
	     15740312114406110889753498991567148886819523660180\
	     86246687712098553077054825367434062671756760070388\
	     92211743493263344477313878371402373589871279027828\
	     83771982603800651050757929252394534506229992082975\
	     79584893448886278127629044163292251815410053522246\
	     08455276151338393462312908326694937738095046664312\
	     1689746511996847681275076313206
Tape index:  8244
Ones:        12914951964730997250673433546819849509549358087128\
	     69005395873005091204311405044485024013143268788877\
	     96982050179592672794672477591595948221752253054324\
	     81859864495796137909683447198447312843568880129905\
	     33063069223512777765526485338267097939892666393404\
	     33645541695093655408344618435778415742964338602689\
	     29575034928793440722283883496539655948945100141899\
	     42944746881736756960481303815091265680548717247559\
	     30418437122794678536247499891470543037484990932498\
	     45855395105658447844504456040960051641314951220524\
	     82406177581463473827266448103006672709418626513574\
	     98031478037424866640095921801194216728219139588401\
	     23231130890028804306931645773916087727281493526404\
	     73317019897976560342477660683368440952973000704411\
	     85616248748736529970020326673445871378590029099788\
	     72928814647043325481327200728882173015355211743620\
	     25443804176796589274203597930628676364226731372114\
	     6548318330807873
log10(Ones):   865.111
log10(Steps): 1730.477

Computed at: Sun Mar 4 19:40:21 CET 2001
-----------------------------------------------------------------------------

The number of ones has been computed with two different programs
written by us, but there is not yet any independent confirmation of
any part of the data below.

Any type of confirmation of the above data would be appreciated.
-- 
Heiner Marxen	heiner@drb.insel.de	http://www.drb.insel.de/~heiner/