Machine 70 Results
Final configuration is {1010}^(digits(1440)){z}1110{l}11010110 Ones: (1440 digits) Hops: (2880 digits) Steps: 406270 Otters: 8167 Otter Steps: (2880 digits)
Final configuration is 0001{0101}^(258414)0100{c}1111{l}{0111}^(112465)0110101010011000 Ones: 854236 Hops: (12 digits) Steps: 5000000 Otters: 0 Otter Steps: 0
Final configuration is 0001{0101}^(427111){b}{0111}^(2){l}0110101010011000 Ones: 854236 Hops: (12 digits) Steps: 1343 Otters: 25 Otter Steps: (12 digits)
Machine 70: [t(a,0,1,r,b),t(a,1,0,l,e),t(b,0,1,l,c),t(b,1,0,r,a),t(c,0,1,l,d),t(c,1,0,r,c),t(d,0,1,l,e),t(d,1,0,l,f),t(e,0,1,l,a),t(e,1,1,l,c),t(f,0,1,l,e),t(f,1,1,r,z)]
String format: 621rb0le1lc0ra1ld0rc1le0lf1la1lc1le1rz
Origin: http://www.drb.insel.de/~heiner/BB/bbsimtab.html Ligocki & Ligocki #b
Table:
Status: halts
Final Configuration: {1010}^(digits(1440)){z}1110{l}11010110
Ones: 464098470120907189307986810381793438096027648119637041135154831187993503696653856625794840196291222258056539420372022139683937108507596362768247729612549202166089893667981899603726477222527267346620785169423682969295892930337539655034345363787055065485093553132670605762124619244100025322436823074627757789373695411703297028383558637114476452238511097552174857290312327399480688012519034318785414535273348154092344714568241497661040826967802522491596623760791668348314030277730282242214076250760764409343271362479793708880973691848947563108122045377222856679799962993340790961883530432682975357811384588711192227283993710145245131576633352250633096235385297482339849033059583543020169951151831902874151727205733716340821681608358506611992815697317145611307345457819604040686854729117199297602726546307150872566442407818828043130558641800323029172907785602502118904601177984849522432700518647668656125851206733150119124529900334374292885482593607161757354185807656079920350803697125008079332057889417955161155587669251238087089473555779370071922944264702493077460071230754608839228486362460871771484561627636794749434034445913028316258943474914028623019297051601712069692660786926200061241440373078436520995690593375755144078228053361501770169125630835343139645137614623798252488772315707513118401489312708015110711975518486671115890549745364304461388338315492068741621450877265733464606407967894263776325740466730515139457670655506543758576
Hops: 258464867962279899785151148059717913238814584720240486154216034593953197762997892538477212543602657707743103630345048833126713709740775503485768799202778531829613528670198297098208584865315700944068885614514809555949728665079886031801669126714318842276046954088313803342110191671484705763295072787251896673570637853156079319120883864845928235692959967611513308994913350428017350471070299558844943879878891811748001053587517897273727660576814029833827872602257554015660196030703227376823902087262867340276000304570645740336781033582972280554267634312142618146303080743190445943993599639698250834954787990760009287982640981112954454692305102623377936450904009706069053799050742465976532798128028330715770887215217483536250899890662697661306072426863089806449849470417285771540463439088164833716924307513873818446589467520011177283877886864272113153807549542418428669449848975596390625119995240521899177405523661414327466474678860767617224233122698669092795718665365655679050286628851886343984269644899358122715711320108489601526433976175970654999686807696543604732685748571268781032042403808331677944605964161236348008535505037422523163972117624395095644757944867151921202435963228411950143025681070505318277061055019045462428978936743840838509624928292931554477911737232601214501739852231006086750234396626447815241586741413329391221087503128977103218865119349815226615315913726855794901280038316831259618763239704537258404668054964942168504804868355534587821341808350987537931443768371308087260188486469884006288463182143290666333013243002285706921202167420476266798861031205767432274277432128160349657618860719585625358520815640103220634302692425031820927487040620773155570175832695420438245593333639379793987830830932793232323391143076618931829158233547782317570755426311866233994074284149653930097290224289727886850302679054187282529905655975249494800860726808402719408180831509040483332587239112832780414511450056454276890915347721524826734180630747873892431337715938812663475762931210987778244285746371258221429388517506819246642672251051293358417394395954579826674346544148013958081166821348938401426312919107483828578079333561009930645652726238022813642777481000312458244429734083321933130106532120861694074334007586386478818683002079753467688318684543345012009543146859916039128217441073746561857992785283354906070589181894339578139578374033278441699605318840878740643739674870035175069466157565994234312361324460681770799239125094157432109004366791627147948292466807580295553988718811618110676133583733735056577531878458467855968068815940221732753435867818767128947600748416697281832755022045310322799192930551130446624623691311957986944437202694208141147565934543569097109013677358660637894126273274529001566000643276481139023546108860541982247037057917115900660873888936383722993066194379170170140498712509264497127291182791161310792379301223324418180582569009609889227
Steps: 406270
Otters: 8167
OtterSteps: 258464867962279899785151148059717913238814584720240486154216034593953197762997892538477212543602657707743103630345048833126713709740775503485768799202778531829613528670198297098208584865315700944068885614514809555949728665079886031801669126714318842276046954088313803342110191671484705763295072787251896673570637853156079319120883864845928235692959967611513308994913350428017350471070299558844943879878891811748001053587517897273727660576814029833827872602257554015660196030703227376823902087262867340276000304570645740336781033582972280554267634312142618146303080743190445943993599639698250834954787990760009287982640981112954454692305102623377936450904009706069053799050742465976532798128028330715770887215217483536250899890662697661306072426863089806449849470417285771540463439088164833716924307513873818446589467520011177283877886864272113153807549542418428669449848975596390625119995240521899177405523661414327466474678860767617224233122698669092795718665365655679050286628851886343984269644899358122715711320108489601526433976175970654999686807696543604732685748571268781032042403808331677944605964161236348008535505037422523163972117624395095644757944867151921202435963228411950143025681070505318277061055019045462428978936743840838509624928292931554477911737232601214501739852231006086750234396626447815241586741413329391221087503128977103218865119349815226615315913726855794901280038316831259618763239704537258404668054964942168486891099957189174639322759470615465950395650516419802490401734337768435199474274878085564044183318148973263830705160355218467377412078512030623120190347884976415811175827775626653141633423511858820552984817922266419885621541254443960966087549748962520243772282263513466058956753647329487992717001796916870841067519607286908259369888721728797057511269985646716192705896999447704537078960719486008233718882401175460405114412143145736943659922644243138414597463028908621766297705881822175896451985077105605818031365217640345197271655825216591922192546857010964633021602365427519601038314296983392902409605924049231489668554267887604794299204624150701317888427008136200195118820214937117592914481625345852236725920326868393765509597387804946817587129715143464941942403743859238505763917498812683249157615945287999251615214662457144447708033571528888490456936321292374573686502903660598564250762539434932765213736705012196548842192253640895067693994774753082874021001335055737132231667549606489412028249910496267503279735277300798329217611039698232322655689741889957127394084154787650526951899895189765055648522789264016648098709036950636274836401249682387081327379288786190143209760231485692009413742012827767024576639221284055595290748267337814916284961843821556801857402364634125819521263452884800896108414278023679911657427222785175147961917313126070767418380683310077598066742134504738390473772636355678264838456775065788362904434739370845476
Otter Time: 65.157415
OtterLess Hops: 567264531952
OtterLess Time: 80.835637
OtterExtra Hops: 875654765486
OtterExtra Time: 0.195004
Macro Size: 4
Macro Machine: [trans(a,[0,0,0,0],l,a,[1,1,1,0],l,7),trans(a,[0,0,0,0],r,b,[0,0,0,1],r,1),trans(b,[1,1,1,0],l,a,[1,0,1,0],l,3),trans(a,[0,0,0,1],r,b,[0,1,0,1],r,5),trans(b,[1,0,1,0],l,b,[0,1,0,1],r,4),trans(b,[0,0,0,0],l,c,[1,0,0,0],l,1),trans(c,[0,1,0,1],r,c,[0,1,0,0],r,1),trans(c,[1,0,0,0],l,e,[1,1,0,0],l,3),trans(e,[0,1,0,0],r,a,[0,1,1,0],r,3),trans(a,[1,1,0,0],l,e,[0,1,0,0],l,1),trans(e,[0,1,1,0],r,d,[1,1,0,1],l,4),trans(d,[0,1,0,1],r,d,[1,1,1,0],l,4),trans(d,[0,0,0,0],r,a,[1,0,1,0],l,8),trans(a,[0,1,0,1],r,a,[1,0,1,0],l,4),trans(b,[1,1,0,1],l,a,[1,0,0,1],l,3),trans(b,[1,0,0,1],l,c,[0,0,0,0],r,6),trans(c,[0,1,0,0],l,d,[1,1,0,0],l,1),trans(b,[1,1,0,0],l,a,[1,0,0,0],l,3),trans(b,[1,0,0,0],l,e,[0,1,0,1],l,13),trans(e,[0,1,0,1],r,e,[1,0,1,1],l,4),trans(e,[0,0,0,1],r,a,[1,1,1,1],l,4),trans(b,[1,1,1,1],l,a,[1,0,1,1],l,3),trans(b,[1,0,1,1],l,a,[1,0,1,0],l,7),trans(b,[0,1,0,1],l,c,[1,1,0,1],l,1),trans(c,[1,1,0,1],l,a,[1,1,1,1],l,5),trans(a,[0,1,0,0],r,b,[0,1,0,1],r,1),trans(d,[0,0,0,1],r,e,[0,1,0,0],l,8),trans(e,[0,0,0,0],r,a,[0,0,1,0],r,3),trans(a,[0,1,0,0],l,c,[1,0,0,0],r,6),trans(c,[1,1,1,0],l,e,[0,1,0,1],l,11),trans(e,[1,0,0,0],r,a,[1,0,1,0],r,3),trans(a,[0,1,0,1],l,a,[1,0,1,0],r,4),trans(a,[1,1,1,0],l,e,[0,1,1,0],l,1),trans(e,[1,0,1,0],r,e,[0,1,0,1],l,4),trans(e,[0,0,1,0],r,a,[1,0,1,0],r,7),trans(a,[0,1,1,0],l,e,[0,1,0,0],l,5),trans(a,[1,1,0,1],l,e,[0,1,0,1],l,1),trans(c,[0,0,0,0],l,d,[1,0,0,0],l,1),trans(d,[1,0,0,0],r,c,[1,0,1,0],l,8),trans(c,[1,0,1,0],r,c,[1,1,0,1],l,4),trans(c,[0,0,0,0],r,e,[0,1,0,1],l,8),trans(a,[1,0,1,0],l,e,[0,0,1,0],l,1),trans(a,[0,0,1,0],l,e,[0,1,0,1],l,13),trans(a,[1,0,0,0],l,e,[0,0,0,0],l,1),trans(a,[1,0,1,0],r,b,[1,0,1,1],r,1),trans(a,[1,0,1,1],r,f,[0,1,1,0],l,4),trans(f,[1,0,1,0],r,f,[0,1,1,1],l,4),trans(f,[0,0,0,0],r,a,[1,0,1,0],l,8),trans(b,[0,1,1,1],l,c,[1,1,1,1],l,1),trans(c,[1,1,1,1],l,c,[0,0,0,0],r,4),trans(c,[0,1,1,1],l,d,[1,1,1,1],l,1),trans(c,[0,1,1,0],l,d,[1,1,1,0],l,1),trans(a,[1,0,1,1],l,e,[0,0,1,1],l,1),trans(a,[0,0,1,1],l,c,[0,0,0,0],r,6),trans(c,[1,0,1,1],l,e,[1,1,1,1],l,3),trans(a,[1,1,1,1],l,e,[0,1,1,1],l,1),trans(a,[0,1,1,1],l,e,[0,1,0,1],l,5),trans(f,[0,0,1,0],r,e,[1,1,1,1],l,4),trans(c,[1,0,1,0],l,e,[1,1,1,0],l,3),trans(c,[0,0,1,0],r,a,[1,1,0,1],l,4),trans(c,[0,1,0,1],l,d,[1,1,0,1],l,1),trans(b,[0,1,1,0],l,c,[1,1,1,0],l,1),trans(a,[1,0,0,0],r,b,[1,0,0,1],r,1),trans(a,[1,0,0,1],r,b,[1,1,0,1],r,5),trans(a,[1,1,0,1],r,c,[1,0,1,0],l,4),trans(b,[0,0,1,0],l,c,[1,0,1,0],l,1),trans(c,[1,0,0,1],l,e,[1,1,0,1],l,3),trans(a,[1,0,0,1],l,e,[0,0,0,1],l,1),trans(a,[0,0,0,1],l,a,[1,1,1,1],l,7),trans(c,[0,0,1,0],l,d,[1,0,1,0],l,1),trans(b,[0,1,0,0],l,c,[1,1,0,0],l,1),trans(c,[1,1,0,0],l,a,[1,1,1,0],l,5),trans(b,[0,0,1,1],l,c,[1,0,1,1],l,1),trans(f,[0,1,1,0],r,c,[0,0,0,0],r,5),trans(b,[0,0,0,1],l,c,[1,0,0,1],l,1),trans(e,[1,0,1,1],r,c,[1,0,0,0],r,3),trans(c,[0,0,1,1],l,d,[1,0,1,1],l,1),trans(d,[1,1,0,1],r,e,[0,1,0,1],l,14),trans(d,[1,0,1,0],r,f,[0,1,1,1],l,4),trans(c,[0,1,0,0],r,d,[1,1,1,1],l,4),trans(c,[0,0,0,1],l,d,[1,0,0,1],l,1),trans(d,[1,0,1,1],r,z,[1,0,1,0],r,2)]