ConwayLife.com

What happens in an (10,1)c/11 ship search?


You end up getting nothing out. Frontends at that speed can't exist, so LLS searches for them UNSAT (very quickly, too).

Also, smaller (9,1)c/10:
x = 71, y = 71, rule = B2aci3eqr4ainqtwy5ajnry6aei78/S01e2-ai3nq4-cnw5-ajy6-ei78
67bo$66b2o$65b4o$64b5o ...

(9,1)c/10:
x = 125, y = 128, rule = B2aci3ceqry4-cejrz5-eikq6aek78/S01e2-ai3cnq4-nw5-ajy6-e78
110bo3bo$103bob3o2b5o2b2o$100b2o2b2o2b5o2b2o$99b4o2b8o2b2o4b2o$100b4o
2b19o$99bob3o2b5o3b2ob7o$98bob6ob16o$96b10o2b14o$94b2o2b8ob14o$92b28o$
93b26o$90b28o$89bob26o$90b26o$89b26o$88b26o$84b3ob25o$86bob24o ...

Double post, but (8,1)c/9:
x = 87, y = 95, rule = B2ace3jnqry4jtz5-jkny6-kn78/S012i3cjky4-inwy5-a6-ei78
71b4ob3o2bo$68b2o2bo6b2ob3o$69bo2b3ob7o$67b3obo3b7obo$66bob2o4b7o2bob
2o$67b4o2bo2b10o$65bo2b5o2b10o$65bob17o$64bo2b3o3b10o$61b2o5b3o2b9o$
63b12o2b4o$60b2obob15o$59bobob16o$59bob17o$59bo2b15o ...

Smaller:
x = 41, y = 47, rule = B2-ik3cenqr4ajqtwyz5aejkn6-ei78/S02cin3-iknr4-nqwy5-acek678
16bo$11b3o2bo2b3obo$10bo4bobo2bobobo$8bo3b5o2bob3o$9b2o2b5ob3o$3bob3ob
14o$2bobo2bob14o2bo$b6ob15o$24o$b6o2b15obo$2b23o$3b24o$4b22o$5b23o$6b
21o$7b19o$8b19o$9b17o$10b15o$11b15o$12b15o$13b13obo$14b11obob3ob3o ...

A (7,1)c/8 dot puffer, in a rule by NimbleRogue:
x = 68, y = 72, rule = B2-ik3cenqr4-eiknr5aejkn6-ei78/S02cin3cejqy4-nqwy5-acek678
60bo$53bob3o2bo2b3o$52bobobo2bobo4bo$53b3obo2b5o$55b3ob5o2b2o$54b13o$
51bo2b12o$54b11o$53b11o$51bob10o$51b11o$42b4obobob10o$39b2o3bo2b2o3b8o
$38bob4ob3obob8o$41b7ob9o ...

Ah, here is the other boot drop on what I was answering just above . Mostly probably see that post, although some of the questions I had are now answered. I still don't have a good subjective feeling of the rule / search space and without one it's gonna be hard to give much more specific advice ...

Is there a way to get a search like this to not get stuck on various repeating components that significantly slow down things and make it difficult to tell if it has other paths besides them? It's probably not just them causing the eventual slowdown, but I imagine it contributes. I assume wcaf doesn ...

A strange thing LaundryPizza03 found, these two searches that differ only in thread count reach significantly different maximum depths. I'm not sure what the cause is, but it feels like a bug:
./qfind -r B256/S04 -v 2c/5 -w 11 -s e
./qfind -r B256/S04 -v 2c/5 -w 11 -s e -t 10


Outputs:
qfind v2 ...

What would be the policy on adding OCA namespace pages for things other than just rules? For instance, a page on speed limits and their proofs in various rulespaces.

Sparse 9c/10 puffer, found by taking a partial result and repeatedly greedily picking the rule from all adjacent rules that got the deepest at a fixed width in LLSSS. Not quite a ship, but still a pretty big step. If anyone has any good ideas for making headway from here, please give it a go.
x ...

For those who are only on the Forums, 5S has still been progressing, with discussion mostly on Discord, since updates are so rapid and sizable that it'd be hard to translate into this setting. INT Generations has a lot of open room for improvement, as there is no tool like LLS to cover and minimize ...

No 3c/11 at w16 even. 7 hours on 18 threads:
x = 16, y = 137, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
b3o8b3o$b2o10b2o$b3o8b3o$2bo10bo$2b2obo4bob2o$b2obo6bob2o$2bob2o4b2obo
$2bob3o2b3obo$bob3o4b3obo$b2o2b2o2b2o2b2o$2b3obo2bob3o$b3obo4bob3o$3b
3o4b3o$3b3o4b3o3$3bobob2obobo$2b12o$2b3o6b3o ...

No 3c/11 at odd w13 (w7o in qfind):
x = 13, y = 149, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
5b3o$4b2ob2o$5b3o$6bo$6bo$5bobo$6bo$3b2o3b2o$4b5o$6bo$5b3o2$6bo$4bo3bo
$5bobo$4b5o$5b3o$4b5o$3b2o3b2o$3b3ob3o$2bob5obo$b11o$2bob5obo$b3o5b3o$
ob2obobob2obo$2bob2ob2obo$2bobo3bobo$2bo2b3o2bo$3b3ob3o ...

Was the 2c/9 found by continuing a search at a lower width? I had been running that exact search for a couple days on 18 threads with qfind, but it felt like it would have taken another couple of days at least.

Yet another B23 ship in a new rule:
x = 195, y = 43, rule = B2356/S147
42b7o42b13o42b7o$28b7o6bo7b42o2b2o5b2o2b42o7bo6b7o$13b3o2b10o4b2obo4b
9o42b2o2b5o2b2o42b9o4bob2o4b10o2b3o$10b3o3b2o10b4o2bobo12b42o2b2o5b2o
2b42o12bobo2b4o10b2o3b3o$9bo3b3o2b11o4b2o2b3ob3o2b3o42b3o2b3o2b3o42b3o ...

A smaller 2c/2 in a B23 rule that had a known one:
x = 121, y = 27, rule = B2357/S3678
11b2o45b5o45b2o$13b2o2b3o32b3o4bobo4b3o32b3o2b2o$10bo2b2obo3bo3b2o27bo
3b2obob2o3bo27b2o3bo3bob2o2bo$12b2o3b2o32b2o2b3o5b3o2b2o32b2o3b2o$13bo
2bo2b2ob3o2b2o9b4o2b4o5bo2b2o2bo2b2o2bo5b4o2b4o9b2o2b3ob2o2bo2bo$9b2o ...

2c/7 in B36/S237:
x = 18, y = 51, rule = B36/S237
3b3o6b3o$2bo3bo4bo3bo2$bo5bo2bo5bo$2bo4bo2bo4bo$o3bobo4bobo3bo$3o2bo6b
o2b3o$3bo2bo4bo2bo$2bo12bo$bo2bobo4bobo2bo$bo3b3o2b3o3bo$bo4b2o2b2o4bo
$3b5o2b5o$bob3o6b3obo$ob14obo$b2o4b4o4b2o$o3bo8bo3bo$obob2o6b2obobo$ob
o2b2o4b2o2bobo$5b2o4b2o$5bobo2bobo ...

May13 wrote: August 18th, 2026, 9:10 am Another (2,1)c/3 spaceship

Would you mind describing how you set up the search for this? Just doing a LLSSS search with that speed and search direction seems to take an obscene amount of RAM. Was it a different program?

I was curious about nearby rules to the above and found a ridiculously small new 3c/5, minpop 152:
x = 40, y = 26, rule = B267/S5
9bo3bo12bo3bo2$9bo3bo12bo3bo$5bo3bo3bo12bo3bo3bo$4bo2bo24bo2bo$9bo20bo
$3b5o5b2o10b2o5b5o$2bo3bo26bo3bo$6bo9bobo2bobo9bo$2bo4bo8b2o4b2o8bo4bo
$3bobo2bo7b3o2b3o7bo2bobo ...

C/3d in B345/S02478, from a search suggested by LP03:
x = 57, y = 67, rule = B345/S02478
2bo2bobo$b2ob5o$2o2b2ob2o$obo2b2o$ob5o$o2bob4o$b2ob5o$ob3obo$2b2ob2o2b
o$2bobob2o$4bo5bo$2bob3o3bo$4b3o3b4o$5b2o4b3obo$5b2obo7bo$5bob3ob3o$7b
5ob2obo$5bob3o7bo$9bo4bo2b2o$8bo2bo2bo3bo$7bo3bob7o$7b2o3bo2b3o2bo ...

An improved version, with a p14 minimal spacing. 100 copies evenly fit in this example:
x = 700, y = 700, rule = B2a3akqr4acjrt5-akq6aek7c8/S2-kn3iry4ajr5enry6kn78
8bo13bo13bo13bo13bo13bo13bo13bo13bo13bo13bo13bo13bo13bo13bo13bo13bo13b ...

Here is an implementation of that design:
x = 688, y = 88, rule = B2ai3aqr4aejrtw5ijnr6-ac/S2-ik3iry4-kyz5-eknq6ak7e
180bo69bo84bo44bo45bo35bo57bo29bo29bo27bo17bo17bo17bo17bo$178bobo67bob
o82bobo42bobo43bobo33bobo55bobo27bobo27bobo25bobo15bobo15bobo15bobo15b
obo$182b2o198b2o198b2o98b2o2 ...

Particularly flat 8c/9, only height at most 5 in any given phase:

1and0nlycordershippr wrote: June 24th, 2026, 7:23 am Uhh...

This was from a string of 17 of your posts in a row. Please see rule 3a, which says to not post multiple times in a row without good reason. Most of the posts in that chain were not really significant enough that they couldn't have just been edited on to the first one.

2c/5 in B348/S12:
x = 28, y = 38, rule = B348/S12
10bo6bo$9b3o4b3o$7bob3ob2ob3obo$6b2o12b2o$5b2o2b10o2b2o$5b6o6b6o$8bobo
6bobo$9b2o6b2o$5bo3b2o6b2o3bo$9b10o$4bo3bob3o2b3obo3bo$8bo2b2o2b2o2bo$
5bo2bo10bo2bo$5b4obo6bob4o$7b2obo6bob2o$4bob3ob2o4b2ob3obo$4b2ob2ob2o
4b2ob2ob2o$10b2o4b2o$6bo3bo6bo3bo ...