Machine 83 Results
Final configuration is 01{11}^(digits(713))12{z}00{l} Ones: (714 digits) Hops: (1427 digits) Steps: 375816 Otters: 20051 Otter Steps: (1427 digits)
Final configuration is 01{11}^(1190){d}02{l}{22}^(249)21{11}^(314)12 Ones: 3512 Hops: 13319120 Steps: 5000000 Otters: 0 Otter Steps: 0
Final configuration is 01{11}^(1909){d}{11}^(2){l}12 Ones: 3825 Hops: 17502670 Steps: 1292 Otters: 62 Otter Steps: 17478660
Machine 83: [t(a,0,1,r,b),t(a,1,0,l,c),t(a,2,1,r,z),t(b,0,2,l,c),t(b,1,1,r,d),t(b,2,0,l,b),t(c,0,2,l,a),t(c,1,1,l,c),t(c,2,1,l,a),t(d,0,1,r,b),t(d,1,2,l,d),t(d,2,2,r,a)]
String format: 431rb0lc1rz2lc1rd0lb2la1lc1la1rb2ld2ra
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html Ligocki & Ligocki #b
Table:
Status: halts
Final Configuration: 01{11}^(digits(713))12{z}00{l}
Ones: 113523183021615808425687966781289960002399708346209622666440003512123856849157206538705564933065219784634068965145207939778663600866651130559170989417101378909533372560052014194099691401666064150970995802227567402314381178711571858720849784481502897075948617396405544548713634633088139036707050646747215458141474863206716908319034981915433092192562413461022835613605847532939439771729829236512721012086732339395658069639355457128757208680865227389847950566119978380872853376174805044344412455599763768321873800869687438664368560456756754916254881440537159010102005085657494015055852771097836088553243794146178803576513547634271120088788011452533264939600336464912651952183122939611864126233595402970139986550515309
Hops: 15465015700031135702006252497819974129299920388801390928097845536890945438845780039344242269772671063517421810485703185590930488693288390635238058479554874023848492571001019414848684619206078032008497931584158271954114206628754239916933641923460102829605628691517965496326755940482965711872039197024213714557014206383582907530617053719318186556203697572023195474316664027510382345254698841223312318565189853985299277860359781908962228478187136392617122083534806937638874267050570231344061295975999565970621640616174673066275678146741618361243769013285969128834553146644490932275589094237236420696472105878814442827608498692141828295608565915585433213594331962279244618460849921537743765024352903880484467971431517580578420636345937111672355879574411527789727051435635144200481897285416317095578827715944855371265243152888326396255647106155158317357312291155360022405194442943636423059223095592766615399314642552030714008231046182307262385951566408751840675859906444090377734642787237416288546528920203310020552813606732722776857104824828796921667114448951108558284670468320961312787085661628346969039164006242506526389566469652118351835315338684983834477138421830569012187769746696982324138713790676932896218586453261129539229904480020968303121516173482551454235673315701973013205859495386883899941990884995601706245060744998833864369737112135887814257425461116702809304519880375337111847320628012162547350266881047762205155238
Steps: 375816
Otters: 20051
OtterSteps: 15465015700031135702006252497819974129299920388801390928097845536890945438845780039344242269772671063517421810485703185590930488693288390635238058479554874023848492571001019414848684619206078032008497931584158271954114206628754239916933641923460102829605628691517965496326755940482965711872039197024213714557014206383582907530617053719318186556203697572023195474316664027510382345254698841223312318565189853985299277860359781908962228478187136392617122083534806937638874267050570231344061295975999565970621640616174673066275678146741618361243769013285969128834553146644490932275589094237236420696472105878814442827608498692141828295608565915585433213594331962279244618460849921537743765024352903880484467971431516855419277782854229384177482014138885218003163749323071719227287432830156890487132254264564815918069451282252601259349161966711075474705489080189597777434254986048207379078704130427014047711906718206842529941719214636829970345036604922899461595197377347213384222788249587962472974616872282439284710550341834141357064746628677658302584216489891997443983645731501778888036650037915918016594518384005008430476666407594231974101945575676208911539078723703110421680585488844664071110590329889040676946870875405257183420758067861780361087270868402230109809538811417712645537831355926514588415324393327884131528635211946702896767907540388820850783934280922503428298121255632135079592796203766072356955945509385170658738450
Otter Time: 68.385737
OtterLess Hops: 13319120
OtterLess Time: 72.582484
OtterExtra Hops: 17502670
OtterExtra Time: 0.205004
Macro Size: 2
Macro Machine: [trans(a,[0,0],l,c,[1,2],l,3),trans(c,[0,0],r,b,[1,1],r,5),trans(b,[1,2],l,a,[1,2],r,2),trans(c,[1,2],r,c,[0,1],l,2),trans(c,[1,1],r,c,[1,1],l,2),trans(b,[1,1],l,d,[2,2],l,3),trans(d,[1,1],r,d,[2,2],l,2),trans(d,[0,0],r,b,[0,1],r,1),trans(b,[2,2],l,b,[0,2],l,1),trans(b,[0,1],r,d,[0,1],r,1),trans(d,[0,2],l,b,[1,1],r,4),trans(b,[1,1],r,d,[1,1],r,1),trans(b,[0,1],l,c,[2,1],l,1),trans(c,[0,1],r,a,[2,1],l,2),trans(a,[0,0],r,b,[0,1],r,1),trans(b,[2,1],l,b,[0,1],l,1),trans(d,[0,1],l,d,[1,1],r,2),trans(d,[1,1],l,d,[2,1],l,1),trans(d,[0,1],r,b,[1,1],r,5),trans(d,[2,1],l,a,[1,0],l,3),trans(a,[1,1],r,c,[1,0],l,2),trans(d,[1,0],l,d,[2,0],l,1),trans(b,[2,0],l,b,[0,0],l,1),trans(d,[0,0],l,c,[1,2],l,3),trans(d,[1,2],l,d,[2,2],l,1),trans(b,[1,0],l,b,[1,1],r,2),trans(a,[1,0],l,c,[0,0],l,1),trans(a,[1,2],l,c,[0,2],l,1),trans(b,[0,0],l,c,[2,0],l,1),trans(d,[2,0],l,b,[2,1],r,2),trans(c,[2,1],r,a,[1,1],l,2),trans(a,[1,1],l,c,[0,1],l,1),trans(a,[0,1],l,d,[1,1],r,2),trans(b,[0,2],l,c,[2,2],l,1),trans(a,[0,2],l,b,[1,1],r,4),trans(b,[2,1],r,d,[2,1],r,1),trans(d,[2,2],l,z,[1,2],r,2)]