Ships with speed between c/2 and c

For discussion of other cellular automata.
Post Reply
User avatar
velcrorex
Posts: 339
Joined: November 1st, 2009, 1:33 pm

Ships with speed between c/2 and c

Post by velcrorex » March 24th, 2010, 9:29 pm

Does anyone know of any (orthogonal) ships in lifelike CA rules with speed between c/2 and c other than 2c/3? I'm especially interested in rules with B2 and none of B013, though I believe it's possible there may be such ships in a rule with B0.

Related question: If I'm searching for a pattern (ship, oscillator, etc...) with certain properties, but don't care what rule it works in, are there any clever ways to search for such an object instead of searching separately in every possible rule?
-Josh Ball.

Jason Summers
Posts: 36
Joined: July 23rd, 2009, 8:08 pm

Re: Ships with speed between c/2 and c

Post by Jason Summers » March 28th, 2010, 10:07 pm

I'll have to guess that the answer to both of your questions is no, unless you count this diagonal spaceship in a B0 rule:

Code: Select all

#C 3c/4 diagonal (David Eppstein, 2002)
x = 6, y = 3, rule = B02357/S2356
b2o$o2b3o$ob4o!

User avatar
velcrorex
Posts: 339
Joined: November 1st, 2009, 1:33 pm

Re: Ships with speed between c/2 and c

Post by velcrorex » March 31st, 2010, 8:38 pm

I found a 3c/5 wickstretcher in B257/S034568.
Getting warmer...

Code: Select all

x = 83, y = 15, rule = 034568/257
bbo$bo4bobbobbobbobbobbobbobbobbobbobbobbobbobbobbobbobbobbobbobbobbo
bbobbobbobbobbo$bob80o$4obboobbob3obbob9obo3b4oboboboobob4obboobob8ob
15o$bob7ob4obbobobb5oboob3obbob3obbo3bobob4ob3ob6ob15o$b3o3b4ob3o4bob
9obobo3b9obboobb6obooboob17o$b4obb3obob3obob6obobbobobobb5ob6obb4obobb
oobb5obbobbobbobbobbo$bbobb6o4b3obb13o9boobb15ob5oboobooboobooboo$b4o
bb3obob3obob6obobbobobobb5ob6obb4obobboobb5obbobbobbobbobbo$b3o3b4ob3o
4bob9obobo3b9obboobb6obooboob17o$bob7ob4obbobobb5oboob3obbob3obbo3bobo
b4ob3ob6ob15o$4obboobbob3obbob9obo3b4oboboboobob4obboobob8ob15o$bob80o
$bo4bobbobbobbobbobbobbobbobbobbobbobbobbobbobbobbobbobbobbobbobbobbo
bbobbobbobbo$bbo!
-Josh Ball.

User avatar
velcrorex
Posts: 339
Joined: November 1st, 2009, 1:33 pm

Re: Ships with speed between c/2 and c

Post by velcrorex » December 13th, 2015, 12:57 pm

Reviving an old thread, but this is still a topic I think about.
Only partial results, and again, I'm only interested in rules with B2 and none of B013.
Before, I didn't think a ship with speed 3c/4 was likely, but now I think it more possible.
This partial is huge, but it is longer than it is wide, which I think is encouraging.

Code: Select all

x = 50, y = 73, rule = B25/S2
obob2o3bo4bo2bo4bo4bo4bo2bo4bo3b2obobo$2o2b3o3b2o4bo2bo2bo4bo2b
o2bo4b2o3b3o2b2o$o3b3o3b2o3bobo5b4o5bobo3b2o3b3o3bo$2ob2o2b3o2b4o
3bo4b2o4bo3b4o2b3o2b2ob2o$3o5bo4b2obo16bob2o4bo5b3o$b2ob2o7bo2b2o
4bo4bo4b2o2bo7b2ob2o$bobob3o15bo2bo15b3obobo$2bobo3bo3b2o22b2o3b
o3bobo$8b2o2b4obo14bob4o2b2o$7bo3b2o2b2o6bo2bo6b2o2b2o3bo$12bo2b
obo3bo2b2o2bo3bobo2bo$3bo8bo3b2obo2bob2obo2bob2o3bo8bo$6bo3b2obo
2bobo4b4o4bobo2bob2o3bo$9b2obo2bo2bo3bo4bo3bo2bo2bob2o$7bo3bo3b2o
2b2obo4bob2o2b2o3bo3bo$3bo4bo2b2o7bobo4bobo7b2o2bo4bo$7bo4b2obob
obo10bobobob2o4bo$7bo9b2o5b2o5b2o9bo2$6b2o3bo2bobobo5b2o5bobobo2b
o3b2o$7bobo4b3o2b12o2b3o4bobo$7b2o2bo2b5o2b2o4b2o2b5o2bo2b2o$7bo
bob2o24b2obobo$7b2o11b2o6b2o11b2o$8b2obo3bo4bo3b2o3bo4bo3bob2o$12b
o3b3o4bo2bo4b3o3bo$9bo2b5obo12bob5o2bo$10b3obo9b2o9bob3o$12bo3b2o
14b2o3bo$5bo7bo4b3o2bo2bo2b3o4bo7bo$6bobo4bob2obo2bo2b2o2bo2bob2o
bo4bobo$4b2o2b2o4bobo16bobo4b2o2b2o$5bobo6b2o3bo2b6o2bo3b2o6bobo
$7b3o2bo8b2o4b2o8bo2b3o$6bob3o8bo2bo4bo2bo8b3obo$7b2obo4bo4bo8bo
4bo4bob2o$12bo24bo$14bobo16bobo$7bobo4b4obo3b4o3bob4o4bobo$8bob2o
2bo4b2o8b2o4bo2b2obo$10bo2bo7bo2b2o2bo7bo2bo$9bo2b2o2bobo4bo2bo4b
obo2b2o2bo$10bo3b2o18b2o3bo$12b2obo2b2o3b4o3b2o2bob2o$9b2o2b4o3b
ob6obo3b4o2b2o$9bo6bo2b2o8b2o2bo6bo$7bobobob2obo6bo2bo6bob2obobo
bo$12bobo2bo14bo2bobo$8b2o3bo8bob2obo8bo3b2o$11b2ob2o4b4o2b4o4b2o
b2o$9b2obo8bo6bo8bob2o$4bo2bo3bo3b2o4b2o4b2o4b2o3bo3bo2bo$2bo6bo
bo4bo2b3obo2bob3o2bo4bobo6bo$3bo7b2o5bo4bo2bo4bo5b2o7bo$5bo3bobo
b3ob2o4bo2bo4b2ob3obobo3bo$18b2o2bo4bo2b2o$4bo2b2ob2o6bo4bo2bo4b
o6b2ob2o2bo$6bobo10bo3b4o3bo10bobo$8bo5bobo2bo2bob2obo2bo2bobo5b
o$7bo2bo6bo14bo6bo2bo$8bob3ob2o4b3o4b3o4b2ob3obo$3b4o3b4obobobo3b
o2bo3bobobob4o3b4o$6bo2b2o2bo6bob6obo6bo2b2o2bo$4bo2b3o2bo4bobob
o2b2o2bobobo4bo2b3o2bo$5bob2o2b2o2bo7bo2bo7bo2b2o2b2obo$13bob2o2b
o4b2o4bo2b2obo$12bobo2b4obo4bob4o2bobo$16bo4bobo2bobo4bo$14bo3b4o
6b4o3bo2$15bobobo2bo4bo2bobobo$16b2obo2bo4bo2bob2o$18bo12bo!
3c/5 looks even more encouraging. A long search in progress now, the partials look good:

Code: Select all

x = 36, y = 140, rule = B25678/S4578
6b3o2bo2bo6bo2bo2b3o$8bo7bo2bo7bo$7bob3o2bo6bo2b3obo$9bo16bo$10b
ob2ob2o2b2ob2obo2$11bobo8bobo$14bo6bo$12b2obo4bob2o$9bo2bo3bo2bo
3bo2bo$3bo4bob2o3bo4bo3b2obo4bo$10b2o3b6o3b2o$4b3o2bo3b2o6b2o3bo
2b3o$4b2ob2ob2ob3ob2ob3ob2ob2ob2o$5bo2bo3bo4b2o4bo3bo2bo$o3bo2bo
b3o2bo2b2o2bo2b3obo2bo3bo$7bobob3o8b3obobo$2bobo2bobob14obobo2bo
bo$bobo9b2o6b2o9bobo$bo3bo5b2ob8ob2o5bo3bo$bo7bo4b3o2b3o4bo7bo$b
obo2b3o2bo3bob2obo3bo2b3o2bobo$b3o3b2o4bo3b2o3bo4b2o3b3o$2b2o2b2o
bobobob6obobobob2o2b2o$5bo6bobob4obobo6bo$bo5b2obo3b8o3bob2o5bo$
3b4o4bo2b8o2bo4b4o$6bobo2bob10obo2bobo$14bob4obo$14b8o$8bo2bo3b6o
3bo2bo$7b4o3b8o3b4o$5bob3ob3o2b4o2b3ob3obo$6b2o3bo2bob4obo2bo3b2o
$6b7obo2b2o2bob7o$6b4ob3ob2o2b2ob3ob4o$6bob4ob2ob4ob2ob4obo$6b3o
bob12obob3o$6b3o2b2ob3o2b3ob2o2b3o$6b3o2b3ob6ob3o2b3o$6b3o2b14o2b
3o$6b3o2b14o2b3o$6b3o3b2o2b4o2b2o3b3o$6b3o3bob8obo3b3o$6bobo3b4o
b2ob4o3bobo$4bob3o3b12o3b3obo$6b3o3b4ob2ob4o3b3o$5bob2o3b5o2b5o3b
2obo$6b3obob12obob3o$6b2ob6obo2bob6ob2o$8bo3b12o3bo$6b2ob6ob4ob6o
b2o$6b6obob6obob6o$6b2o2b3obobo2bobob3o2b2o$4bobob2obob2ob4ob2ob
ob2obobo$8bob3ob2ob2ob2ob3obo$9bobobo2b4o2bobobo$5bo6b3o6b3o6bo$
6bo5b2ob6ob2o5bo$10bob2ob2o2b2ob2obo$10bobobob4obobobo$4bo3b2obo
bob6obobob2o3bo$6bo7bo6bo7bo$6bo3bobob8obobo3bo$4b2o5b14o5b2o$3b
2o3bo2b14o2bo3b2o$6b3ob2o2bob4obo2b2ob3o$4bo5bob12obo5bo$8bo2b4o
b4ob4o2bo$4bobo2bo2b12o2bo2bobo$9bob3ob6ob3obo$5bo2b2ob14ob2o2bo
$13b10o$12b2ob6ob2o$10b16o$10b5o6b5o$8bobob12obobo$10bo14bo$12b2o
2b4o2b2o$13bo2b4o2bo$9bo3bo3b2o3bo3bo$9bo16bo$6bobo3bobo6bobo3bo
bo$7bo20bo$9bo4bo6bo4bo$14bo6bo$8b2o3b2o6b2o3b2o$6bo4bobo8bobo4b
o$11b14o$7b2o4b2o2b2o2b2o4b2o$5bobo3bob2o2b2o2b2obo3bobo$6b3o5b2o
4b2o5b3o$3bo2bobo3b12o3bobo2bo$7b3o2bob8obo2b3o$bob2obobob16obob
ob2obo$6bob2o2b4ob2ob4o2b2obo$3bo3b6ob8ob6o3bo$5bobob6ob4ob6obob
o$7b2ob6ob2ob6ob2o$7b9ob2ob9o$7b22o$3bo2b4o2bo3b4o3bo2b4o2bo$2bo
b10ob6ob10obo$4bob7ob8ob7obo$b2o2b7o4b4o4b7o2b2o$3bob2o3b2ob2ob4o
b2ob2o3b2obo$2bo3b3obobobob4obobobob3o3bo$7bob2obobob4obobob2obo
$3bob2ob3ob2ob6ob2ob3ob2obo$5bo3bo3b10o3bo3bo$5bo5b4o6b4o5bo$6b2o
6bo2b2o2bo6b2o$b4obo6bo8bo6bob4o$3bo6bobo2bo4bo2bobo6bo$3bo2bo5b
obo6bobo5bo2bo$13bo3b2o3bo$5bob2ob2o5b2o5b2ob2obo$3bo3bo3bobo2b4o
2bobo3bo3bo$5b5o4bo6bo4b5o$5b2o7b3o2b3o7b2o$3bobo3bobobo8bobobo3b
obo$9b3o2bo6bo2b3o$9b3o12b3o$3bo2bo7b3o2b3o7bo2bo$7bob7o4b7obo$9b
2ob3obo2bob3ob2o$5bo3b2o3bo6bo3b2o3bo$10b2o12b2o$5bo4b2obo8bob2o
4bo$5bo2b4o12b4o2bo$8b3o14b3o$6bo22bo$2bo5bobo2bo8bo2bobo5bo$4bo
2bo6bo6bo6bo2bo$4b2obobob2o10b2obobob2o$4bo2bobo2bo10bo2bobo2bo$
6bobobo14bobobo$6bo3bo14bo3bo2$6bo3bo14bo3bo!
Any other progress on 3c/4 or 3c/5 ships or p3 or p4 knightships in rules with B2 (and none of B013)? Since every such rule is explosive I find it difficult to sniff out which rules are best to search in.
-Josh Ball.

thunk
Posts: 170
Joined: October 3rd, 2015, 8:50 pm
Location: Central USA

Re: Ships with speed between c/2 and c

Post by thunk » December 13th, 2015, 1:59 pm

There was some recent discussion of not-quite-luminal ships here.

It does seem like an interesting search topic.
"What's purple and commutes?
The Evanston Express."

User avatar
LaundryPizza03
Posts: 617
Joined: December 15th, 2017, 12:05 am
Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"

Re: Ships with speed between c/2 and c

Post by LaundryPizza03 » March 2nd, 2020, 7:52 am

Bump. I found a 4c/5o partial. It's about as long as it is wide, so maybe this rule contains one.

Code: Select all

x = 25, y = 22, rule = B27/S137
9bo5bo$9bob3obo$12bo$9b3ob3o$5bo4bo3bo4bo$3bo2b2o4bo4b2o2bo$3bo3bob2ob
ob2obo3bo$5bo2bo2bobo2bo2bo$3b3o6bo6b3o$4bob5o3b5obo$5bo2b3o3b3o2bo$4b
ob2ob2o3b2ob2obo$8bobobobobo$11b3o$bo7b7o7bo$2bo4bo3b3o3bo4bo$2bobo15b
obo$5b2o3bo3bo3b2o$o4bo3bo2bo2bo3bo4bo$ob3o6bobo6b3obo$2ob2o15b2ob2o$o
4bo4b2ob2o4bo4bo!
For (2,1)c/4, I'd suggest B2/S23 or B2/S345 as a starting point and look around. Don't know about (2,1)c/3, though.

Code: Select all

x = 11, y = 6, rule = B2/S23
4bo$2bo$3bobobo$2bo3b3o$obo4b2o$4bobob3o!

Code: Select all

x = 11, y = 5, rule = B2/S345
4bo2bo$3b4obo$bobobo2bo$5o$2bobob2ob2o!
A (2,1)c/4 is known from B02378/S014.

Code: Select all

x = 6, y = 3, rule = B02378/S014
5bo2$o2b3o!

Code: Select all

x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
LaundryPizza03 at Wikipedia

AforAmpere
Posts: 1091
Joined: July 1st, 2016, 3:58 pm

Re: Ships with speed between c/2 and c

Post by AforAmpere » March 5th, 2020, 10:00 pm

Longer version of Josh Ball's partial above, searched at the max width LSSS seems to allow without errors:

Code: Select all

x = 94, y = 54, rule = B25/S2
56bobo28bo4bo$55bobo28bo$63bo7bo2bo9bobo4bo$54bo4b3obobo4b6o7b2o4bobo$
19bo32bo3bobo10b2o3bobo6bo3bo$12bo8bo29b2obobo2bobo8bo2bo6bobo3bo2bo3b
o$8bo2bo5b4o20bo15bo3bob2ob2o9bo6bo2b3o3bo$10bo4b3o21b2o12b2o2bob2ob2o
3bob2o4bo3bobo2b2o2bob2o$7bo3bo2bob2o19b2o3b2o14b2ob2o5bo4b2o14b2o$7bo
5bobobo7bo7bo2bo6bo7bo2b2ob2o2b2o2bo5bob8o4bo2bo2bobo$7bo3bo2bobo2b2ob
o5bo3b2ob2o5bo8b2o3bo3bobo6bo2bo6bo5b2obo4bo$11bo7bo8bob2o2bob2o3bo3bo
bo6bo2bo7b2obo3bo6bo2bo2b2ob3ob2o$8bo4bobo3bobo2bo2b2o8bo2bo3b2o14bo2b
o4b2obo3bo4bo6b2o3bo$8bobo4bo2bo3bo2bob2o4b2obo2bo6bo2bo15bo3bo3bobo4b
o6b2o3b2o$10bo2bo15bobobo8bo4bob2obobobo2bobo3bo3bobo3b2ob2o3bob2ob2o
2bo$17b2o6bo4bo5bo2bo2b2o4b3obo6bo4bo2bo8bo2bo2bo10bo$3bob2o2bobo6bo4b
o2b2o7b2o2b2o3bo4bobo6b2o4bobo4bo4b2o5b2o3b2o$bob2o3bo2b2ob2obo3bo10bo
2bo3bo4b2o5b3o2bo2bobo9bo$o2bo5bo7b2ob2o2b3o9bo3bobo12bo5b2obo2b2obo4b
4ob3o2b2o3bob2o$2b3o3bobobob3o4bo7bob4o8b2o5b2o4bobo6bo2bob3o3bo3bobob
ob2o2b3o$2o3bo3bobobo6bo5bo5bo2bo3bob2o2bo3bo5b2o4b3o8b2obo5b3o7bobo$
2o2bo3bo2b3obo4b2o4b4o3b2o2bobobo11bo2bo4b2o2b3o2bo3b6o7b3obobo$b2o9bo
b3o4bob2ob2obo10b2ob2o4bobo4bo3b2o3bo3bo2bo5b2o3b2o4bo2bo$b2obo2bobob
2o6bo9bo3bo3bo3bobo5b3o2b2o4bo3b3obo2bo3b3o4bobo2bo3bo$3bo2b3o2b2o4bo
2bo4bo2bob4o4bo3b2o3bobo2bo4b2o5bobob4o3bo4bo3bo3bob2o$b2o5b2o2bo5b4o
10bo2bo2b2o2bo2bo2bo6b2obo7bob3o15bo$7b2o4bo3b2obo3bo7b3o5b3o2bo7bob2o
3bo3b2o4b2o2bobo8bo5bo$7b2o4bo3b2obo3bo7b3o5b3o2bo7bob2o3bo3b2o4b2o2bo
bo8bo5bo$b2o5b2o2bo5b4o10bo2bo2b2o2bo2bo2bo6b2obo7bob3o15bo$3bo2b3o2b
2o4bo2bo4bo2bob4o4bo3b2o3bobo2bo4b2o5bobob4o3bo4bo3bo3bob2o$b2obo2bobo
b2o6bo9bo3bo3bo3bobo5b3o2b2o4bo3b3obo2bo3b3o4bobo2bo3bo$b2o9bob3o4bob
2ob2obo10b2ob2o4bobo4bo3b2o3bo3bo2bo5b2o3b2o4bo2bo$2o2bo3bo2b3obo4b2o
4b4o3b2o2bobobo11bo2bo4b2o2b3o2bo3b6o7b3obobo$2o3bo3bobobo6bo5bo5bo2bo
3bob2o2bo3bo5b2o4b3o8b2obo5b3o7bobo$2b3o3bobobob3o4bo7bob4o8b2o5b2o4bo
bo6bo2bob3o3bo3bobobob2o2b3o$o2bo5bo7b2ob2o2b3o9bo3bobo12bo5b2obo2b2ob
o4b4ob3o2b2o3bob2o$bob2o3bo2b2ob2obo3bo10bo2bo3bo4b2o5b3o2bo2bobo9bo$
3bob2o2bobo6bo4bo2b2o7b2o2b2o3bo4bobo6b2o4bobo4bo4b2o5b2o3b2o$17b2o6bo
4bo5bo2bo2b2o4b3obo6bo4bo2bo8bo2bo2bo10bo$10bo2bo15bobobo8bo4bob2obobo
bo2bobo3bo3bobo3b2ob2o3bob2ob2o2bo$8bobo4bo2bo3bo2bob2o4b2obo2bo6bo2bo
15bo3bo3bobo4bo6b2o3b2o$8bo4bobo3bobo2bo2b2o8bo2bo3b2o14bo2bo4b2obo3bo
4bo6b2o3bo$11bo7bo8bob2o2bob2o3bo3bobo6bo2bo7b2obo3bo6bo2bo2b2ob3ob2o$
7bo3bo2bobo2b2obo5bo3b2ob2o5bo8b2o3bo3bobo6bo2bo6bo5b2obo4bo$7bo5bobob
o7bo7bo2bo6bo7bo2b2ob2o2b2o2bo5bob8o4bo2bo2bobo$7bo3bo2bob2o19b2o3b2o
14b2ob2o5bo4b2o14b2o$10bo4b3o21b2o12b2o2bob2ob2o3bob2o4bo3bobo2b2o2bob
2o$8bo2bo5b4o20bo15bo3bob2ob2o9bo6bo2b3o3bo$12bo8bo29b2obobo2bobo8bo2b
o6bobo3bo2bo3bo$19bo32bo3bobo10b2o3bobo6bo3bo$54bo4b3obobo4b6o7b2o4bob
o$63bo7bo2bo9bobo4bo$55bobo28bo$56bobo28bo4bo!
I tried searching for 4c/5 in LaundryPizza's rule, but LSSS was doing strange things, so I can't rule out anything yet.
I and wildmyron manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules.

Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule
- Finish a rule with ships with period >= f_e_0(n) (in progress)

AforAmpere
Posts: 1091
Joined: July 1st, 2016, 3:58 pm

Re: Ships with speed between c/2 and c

Post by AforAmpere » March 6th, 2020, 12:46 pm

A disappointingly long but not completable at this width 2c/3 partial:

Code: Select all

x = 57, y = 308, rule = B25/S2
27b3o$21bo2b2o5b2o2bo$20b2o4b5o4b2o$19bo2bobobo3bobobo2bo$20bob2obob3o
bob2obo$17bo2b3o11b3o2bo$15bo2bo2bob4obob4obo2bo2bo$21b3o4bo4b3o$13bo
2bobo3bo5bo5bo3bobo2bo$16b2o3bo13bo3b2o$14bobob5o11b5obobo$17bo2b2o4bo
3bo4b2o2bo$13b2obob2o8bo8b2obob2o$11b2ob2o3b2o7bo7b2o3b2ob2o$12b2o2bo
2bo7bobo7bo2bo2b2o$9bo9bobobo9bobobo9bo$8bo5b2obob2obo11bob2obob2o5bo$
9b2o2bobo25bobo2b2o$7bo2bobo5bo4bo9bo4bo5bobo2bo$6bo2bo3bobo7bo9bo7bob
o3bo2bo$8b2ob2ob2o4bo15bo4b2ob2ob2o$7b2o2b3o6b2o2b2o5b2o2b2o6b3o2b2o$
5bobo4bobo2bo2bo3b3o3b3o3bo2bo2bobo4bobo$6bo10bo3b2o11b2o3bo10bo$18bo
3bo3bo3bo3bo3bo$5b3o9bo5b2o3bo3b2o5bo9b3o$17bo2bo4bo5bo4bo2bo$4b5o9bo
2bobo2bobobo2bobo2bo9b5o$17b2o7b2ob2o7b2o$16bo4bobo2bobobo2bobo4bo$22b
o2bo5bo2bo$16bo3bo4bo5bo4bo3bo$17bo2bo4bo5bo4bo2bo$17b2ob3o2bo5bo2b3ob
2o$15bo3bo5bo5bo5bo3bo$19bo5bo5bo5bo$12bobo4bo5bo5bo5bo4bobo$13b2obo2b
o5bo5bo5bo2bob2o$11bo2bo4bo5bo5bo5bo4bo2bo$14bo4bo5bo5bo5bo4bo$10bo2b
2o4bo5bo5bo5bo4b2o2bo$10bo2b2o4bo5bo5bo5bo4b2o2bo$9bobo2bo4bo5bo5bo5bo
4bo2bobo$11b2ob2o3bo5bo5bo5bo3b2ob2o$10bo5bo2bo5bo5bo5bo2bo5bo$11b2o3b
o2bo5bo5bo5bo2bo3b2o$14bobo2bo5bo5bo5bo2bobo$16bo2bo5bo5bo5bo2bo$13b2o
2bobo5bo5bo5bobo2b2o$12bobobo3bobo2bo5bo2bobo3bobobo$10bobobo2bobo5bo
5bo5bobo2bobobo$12b2obo3bo3bobobobobobo3bo3bob2o$15bob2o7b2ob2o7b2obo$
12bo2b2o8bo2bo2bo8b2o2bo$9b3obo2bo5bo4bobo4bo5bo2bob3o$10b2ob2o8bo4bo
4bo8b2ob2o$7bo4b2o2bo3bo5b2ob2o5bo3bo2b2o4bo$8bo2bob4o4bo3b2o3b2o3bo4b
4obo2bo$11bo3b2o3b8ob8o3b2o3bo$11bo8bo7bo7bo8bo$19b3o5bobo5b3o$12bo5bo
bo15bobo5bo$8bo39bo$6bo3b3o3b3o19b3o3b3o3bo$5b2obo8bo21bo8bob2o$4bobo
2bo3b2o27b2o3bo2bobo$7b2o4bo29bo4b2o$2b4o6bo2b2o23b2o2bo6b4o$b2o3bobo
3bo31bo3bobo3b2o$6bo4bobob2o10bobo10b2obobo4bo$o4bo8bob2o6b3obob3o6b2o
bo8bo4bo$5bo3b2o2bo7b2o2bobobobo2b2o7bo2b2o3bo$4b2ob2o3b2obo3bo5bo2bo
2bo5bo3bob2o3b2ob2o$9bobobo2b2o2b2o2bo7bo2b2o2b2o2bobobo$6bo6b5o7bob3o
bo7b5o6bo$2bo5b3o5bo2b2obo2b3ob3o2bob2o2bo5b3o5bo$6b2o6b2o4bobo4bobo4b
obo4b2o6b2o$16bo4bo2bo7bo2bo4bo$8bo3b2o2b2o2bo2bo2bo3bo2bo2bo2b2o2b2o
3bo$10bobobo7bo3b2ob2o3bo7bobobo$9b2o2b5o5b3o5b3o5b5o2b2o$7b2o7bo23bo
7b2o$9bo5bo4b4ob2o3b2ob4o4bo5bo$11b2o10bobo5bobo10b2o$6bo9bo7bo3bo3bo
7bo9bo$9bo2bo11bobo3bobo11bo2bo$11bo6bo2bo3b7o3bo2bo6bo$15b3o8b2ob2o8b
3o$12bo3b2o10bo10b2o3bo$12bo3b2o9bobo9b2o3bo$17bo21bo$8b3obo3b2o21b2o
3bob3o$7bo2bo6bo21bo6bo2bo$9bob2ob2ob2o19b2ob2ob2obo$5bo2bob3o3bo23bo
3b3obo2bo$7b2o6b2o23b2o6b2o$4bo8b2o2bobo17bobo2b2o8bo$3bobo7b2obo23bob
2o7bobo$8b2o2bo3bob3o15b3obo3bo2b2o$13bo2b2obo17bob2o2bo$8bo12bo13bo
12bo$10b2o2bo2bo3b2o11b2o3bo2bo2b2o$8b2ob2ob2obo5bo9bo5bob2ob2ob2o$6bo
b3o5b5o2bo9bo2b5o5b3obo$8b2o3bo2bo2bobo3bo2bo2bo3bobo2bo2bo3b2o$20bo4b
obobobo4bo$10bo9b2o4bobobo4b2o9bo$10bob3o27b3obo$11bobo2bo4bob2ob2ob2o
b2obo4bo2bobo$6bob4o3b2o8bo5bo8b2o3b4obo$5b2o2b2o3b2o5bobob3ob3obobo5b
2o3b2o2b2o$5bo5bob2ob4o3b3ob3ob3o3b4ob2obo5bo$4bob4o3b2o3bo5b2o5b2o5bo
3b2o3b4obo$6bobo3bo3b5obo5bo5bob5o3bo3bobo$6bo2bo3bo6b2o3bobobobo3b2o
6bo3bo2bo$6bo3b2o2b2o8bobobobobo8b2o2b2o3bo$7bobo3bobo4b2o2bo7bo2b2o4b
obo3bobo$5b3obo3bo13bobo13bo3bob3o$8bo5b2obobo2bo11bo2bobob2o5bo$8b2o
2b2obo3bo2b2obo5bob2o2bo3bob2o2b2o$15bo6bobobobobobobo6bo$5bo2bo5bo4bo
b2obo3bo3bob2obo4bo5bo2bo$10bobo13bobobo13bobo$9bob2o4b2o2b3ob3ob3ob3o
2b2o4b2obo$11bo3bo2bob2o2bobo3bobo2b2obo2bo3bo$19bo4bo2bobo2bo4bo$9bob
o2bob2o3b3o9b3o3b2obo2bobo$8bobo2bo2b2o2b2o2b2o5b2o2b2o2b2o2bo2bobo$7b
o3b3o2b3o3bo2bo2bo2bo2bo3b3o2b3o3bo$6bobo2bo7b3o2bo7bo2b3o7bo2bobo$4bo
6bo3b2obo4bo2b2ob2o2bo4bob2o3bo6bo$6bo6b2o3b2o7bobo7b2o3b2o6bo$9b2o2bo
2b2o3bo3b2o3b2o3bo3b2o2bo2b2o$10bo2bo3bob2o2bobobobobobo2b2obo3bo2bo$
7bo7b2obobobo2bobobobo2bobobob2o7bo$12b2obo9bobobobo9bob2o$17bob2o3b4o
b4o3b2obo$13bo7bobo3bobo3bobo7bo$21bobobobobobobobo$16bobob2o3bo5bo3b
2obobo$16bobobobo2bo5bo2bobobobo$15bob2o2b2obobo3bobob2o2b2obo$18bo3b
2o9b2o3bo$19bobo4bo3bo4bobo$17bo4b2o9b2o4bo$14bo2bo2bo3bo7bo3bo2bo2bo$
15bobo4b3o3bo3b3o4bobo$14bobo4bobo3bobo3bobo4bobo$12b3o2b2obo3bo7bo3bo
b2o2b3o$9bo3b2ob3o4bo2bo3bo2bo4b3ob2o3bo$8b2o3b6o2b3o4bo4b3o2b6o3b2o$
7bo2b3o10bo9bo10b3o2bo$10b2o11bo9bo11b2o$11bo33bo$7bo2bob2o5bo17bo5b2o
bo2bo$10bobob2o6bo11bo6b2obobo$13bo2bo23bo2bo$11bo3bo25bo3bo$10bo7bo
19bo7bo$10b2o33b2o$9b4obo2bo21bo2bob4o$10bo4b2o23b2o4bo$11b2o2bo25bo2b
2o$12bo2bob3o7bobo7b3obo2bo$19b2o5b2ob2o5b2o$14b2o8bo7bo8b2o$23bo3bobo
3bo$11bobo10bo7bo10bobo$11bob2o5bobo11bobo5b2obo$10b2o3b2o2bo3b3o5b3o
3bo2b2o3b2o$11bo2bo3b2o2bobobo3bobobo2b2o3bo2bo$17bob2o15b2obo$8bo2b3o
bo4bo2bo2bobobo2bo2bo4bob3o2bo$8bo6b5o3bo9bo3b5o6bo$8bo6b2ob2ob2o3bo3b
o3b2ob2ob2o6bo$8b2ob2o3b3o3b3ob2ob2ob3o3b3o3b2ob2o$11b2obo5bobo11bobo
5bob2o$9bo8b4obo9bob4o8bo$9bo8b3obobo7bobob3o8bo$7bo12bob3o7b3obo12bo$
6bo2bobo2bo2bo4bo2b7o2bo4bo2bo2bobo2bo$4bo3bo3b3o10bo5bo10b3o3bo3bo$6b
ob2obo3b2o23b2o3bob2obo$12bobobobobo15bobobobobo$8bob2o3b4o3bob9obo3b
4o3b2obo$10bobob3o5bo11bo5b3obobo$6b2o2bob5o9b5o9b5obo2b2o$5b2ob2o2b2o
2bo5bo4b3o4bo5bo2b2o2b2ob2o$9bo2b2ob2o3b2obo9bob2o3b2ob2o2bo$4bo6b3o4b
3o7bo7b3o4b3o6bo$7b3o7bo2bo15bo2bo7b3o$11bo3b2o10bobo10b2o3bo$6b2o6bob
ob2o8bo8b2obobo6b2o$11bobo2bo3bo2bo4bo4bo2bo3bo2bobo$10bo3b2obo3bo13bo
3bob2o3bo$6bo2b3o15bobo15b3o2bo$5bob3ob2o8bo2b2ob3ob2o2bo8b2ob3obo$4b
2ob2o2b7obo2b6ob6o2bob7o2b2ob2o$12b2o5bo2bob2o2bo2b2obo2bo5b2o$5bo3b2o
2bo3bob2obobob2ob2obobob2obo3bo2b2o3bo$2bo3bobo4bo2bo9bo3bo9bo2bo4bobo
3bo$2bo2bo3b3o3bo3bo17bo3bo3b3o3bo2bo$2bo8bo3bo2bo4bo2b2ob2o2bo4bo2bo
3bo8bo$2b2o8bo3bob2obob2ob2ob2ob2obob2obo3bo8b2o$bo2bo2b3o6b3obobo11bo
bob3o6b3o2bo2bo$6bo2bo3b2o2bo8bo3bo8bo2b2o3bo2bo$11bo2bo4bo2bobo7bobo
2bo4bo2bo$5b2o3b3o10bobo2bo2bobo10b3o3b2o$4bo10bo2bo3bobo3bo3bobo3bo2b
o10bo$6bo2bob2o6bob2o11b2obo6b2obo2bo$7bo3b2o2b2o10bobo10b2o2b2o3bo$5b
o3b2ob2o2bobo7b2ob2o7bobo2b2ob2o3bo$3bo2bo2bobo10bo3b2ob2o3bo10bobo2bo
2bo$7bo2bob3o27b3obo2bo$3b2obob2o2b2o3b2o19b2o3b2o2b2obob2o$4b3o2bo4b
6o8bo8b6o4bo2b3o$4bo2bo2bo5b2o3bo13bo3b2o5bo2bo2bo$4bob2o2bo3bo2bob3o
13b3obo2bo3bo2b2obo$4bo4b2obobo3bo2b3o9b3o2bo3bobob2o4bo$4b2ob2ob4o3bo
3b3o9b3o3bo3b4ob2ob2o$5bo5b4o2bo4b2o9b2o4bo2b4o5bo$5bo4bo3bob3o3bobo7b
obo3b3obo3bo4bo$3bo2bo5b2o2bo6bo9bo6bo2b2o5bo2bo$5b2o2bo2bob3o4bo2b2o
5b2o2bo4b3obo2bo2b2o$8b2obobobo4bo4bo5bo4bo4bobobob2o$14bobo3bo4bo5bo
4bo3bobo$bo2bo4bobo2bo4bobobobo5bobobobo4bo2bobo4bo2bo$bo2bo3b3o5b2o3b
o3b7o3bo3b2o5b3o3bo2bo$bo2bo2bo3bobob2o9bo3bo9b2obobo3bo2bo2bo$obo5b3o
b2o2bo6bo4bo4bo6bo2b2ob3o5bobo$3bo2b2ob2o5bo6bo4bo4bo6bo5b2ob2o2bo$3bo
5bo2bo2b3obo3bo3bobo3bo3bob3o2bo2bo5bo$8bo2bo3bo2bo2bo2bo2bobo2bo2bo2b
o2bo3bo2bo$5bobo4b3o6bo3bo5bo3bo6b3o4bobo$2b2o2bo8b2ob3obo2bobobobo2bo
b3ob2o8bo2b2o$obo13bobo6b3ob3o6bobo13bobo$18b2o4bo2bobo2bo4b2o$18b2o5b
3ob3o5b2o$14bobo3bo2b3obobob3o2bo3bobo$15bo3bo4bo2bobo2bo4bo3bo$15bo2b
o5bobo3bobo5bo2bo$14bo5bo3bo7bo3bo5bo$16bob3o4b2o3b2o4b3obo$12bo2bo4b
2o6bo6b2o4bo2bo$12b2o7bo2bo3bo3bo2bo7b2o$10b5o3bo2bo4bo3bo4bo2bo3b5o$
14bo4bobo6bo6bobo4bo$11b2o6bo5b2o3b2o5bo6b2o$14bo4bo3b2o2bobo2b2o3bo4b
o$9bo4bo4bob2o11b2obo4bo4bo$10bo4bobo6bo7bo6bobo4bo$13bobo2b3o2b2o2bob
o2b2o2b3o2bobo$6bob3ob2obobo2bobobob2ob2obobobo2bobob2ob3obo$5b2obo2bo
2b2o3b2o2b2obo3bob2o2b2o3b2o2bo2bob2o$6bo7b7obobo7bobob7o7bo$6bo8b4obo
bo2bo5bo2bobob4o8bo$5b4o2b2o6b2o2b4obob4o2b2o6b2o2b4o$6b2o4bo3bo2bo3b
3o5b3o3bo2bo3bo4b2o$7bo2bo3b3o4bo13bo4b3o3bo2bo$5b2o6bo3b2obo5bobobo5b
ob2o3bo6b2o$6b3o7b5o3bo7bo3b5o7b3o$7b2o2bo2b3o3bobob2o5b2obobo3b3o2bo
2b2o$11bo6b2o5b2obob2o5b2o6bo$8b3o7bo6b2o3b2o6bo7b3o$11bo2bo2b3o6b5o6b
3o2bo2bo$7bo2b2o2bo5b2o13b2o5bo2b2o2bo$9bo2b2o3b3ob2o2bo5bo2b2ob3o3b2o
2bo$10bo3b5o3bo3bobobo3bo3b5o3bo$13bobo25bobo$8bo16b2obob2o16bo$8bo3bo
11b2obobob2o11bo3bo$6bobobo4bo2b2o2b2o3b3o3b2o2b2o2bo4bobobo$4bo8b2o7b
o5bo5bo7b2o8bo$3b2o2bo3bo5b2o3bob2obobob2obo3b2o5bo3bo2b2o$2bo2b3o5b2o
bo4bobo2bo3bo2bobo4bob2o5b3o2bo$bo6bo2bobo3bo2b2o2bo2b3o2bo2b2o2bo3bob
o2bo6bo$2bo2bo4b2o2b2o6bo2b3ob3o2bo6b2o2b2o4bo2bo$bo3bo2bo2bob2o3bob3o
2bo5bo2b3obo3b2obo2bo2bo3bo$7bo4bob2o5b2obo7bob2o5b2obo4bo$4b5o3b4obo
2b3o3b2ob2o3b3o2bob4o3b5o$6bo4bo2bo2b2o3bo11bo3b2o2bo2bo4bo$10bobob3o
3b3o5bo5b3o3b3obobo$9bobo6bo2b3obo5bob3o2bo6bobo$7bo3bo3bobo8bo3bo8bob
o3bo3bo$5bo3b2o4bobo2b2obo9bob2o2bobo4b2o3bo$8b3o2bobo3bo4bo3bo3bo4bo
3bobo2b3o$4bo2b2o2b3ob2o9bobobo9b2ob3o2b2o2bo$3bob2o5bobob3o3bobo3bo3b
obo3b3obobo5b2obo$8bobo3bo5b3o2bo5bo2b3o5bo3bobo$6b2o3bo4bo3b2o3bo5bo
3b2o3bo4bo3b2o$7b2o8bo3bo3bo2bo2bo3bo3bo8b2o$11b2obo2bobo3bo3b3o3bo3bo
bo2bob2o$3b4o3bo4bobobo3bo4bo4bo3bobobo4bo3b4o$4b2o6b2ob2o5b4o5b4o5b2o
b2o6b2o$bo2bo4b3o5b2obob2o2bo3bo2b2obob2o5b3o4bo2bo$6bo3b3o3bob3o6bobo
6b3obo3b3o3bo$2bobo2bo5bob3ob2obob2obobob2obob2ob3obo5bo2bobo$10bobo4b
obobo3b2o3b2o3bobobo4bobo$3bo3b3o7bo3bo4bo3bo4bo3bo7b3o3bo$6b3o5bobo2b
3o2b2ob3ob2o2b3o2bobo5b3o$5bo2b4o4b2o7b2o3b2o7b2o4b4o2bo$3b2obo3bo8bob
obo4bo4bobobo8bo3bob2o$2bo8bo4b2obobo4bo3bo4bobob2o4bo8bo$3bo10bob2obo
3bo2bobobo2bo3bob2obo10bo$4bo8bo3bobo4b3obob3o4bobo3bo8bo$3bobo5b2ob2o
bobo5bo5bo5bobob2ob2o5bobo$bo2bo2bo4bobo4bo4bob2ob2obo4bo4bobo4bo2bo2b
o$2b2obob2o3bob3o2b2o2b3o5b3o2b2o2b3obo3b2obob2o!
It runs for almost 1K gens before the frontend collapses.
I and wildmyron manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules.

Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule
- Finish a rule with ships with period >= f_e_0(n) (in progress)

User avatar
Saka
Posts: 3201
Joined: June 19th, 2015, 8:50 pm
Location: In the kingdom of Sultan Hamengkubuwono X
Contact:

Re: Ships with speed between c/2 and c

Post by Saka » March 19th, 2020, 12:15 am

On Discord Macbi explained how to get LLS to only search totalistic rules
2c/3o

Code: Select all

x = 7, y = 8, rule = B24578/S24678
6bo$o3b2o$b3ob2o$bobo$bobo$b3ob2o$o3b2o$6bo!
Here's what I did to get that ship:

Code: Select all

./lls -b10 -s p3 x2 y0 -c -S lingeling -r="{'B0c': '0', 'B1e': '0', 'B1c': '0', 'B2n': 'B2', 'B2k': 'B2', 'B2i': 'B2', 'B2e': 'B2', 'B2c': 'B2', 'B2a': 'B2','B3y': 'B3', 'B3q': 'B3', 'B3r': 'B3', 'B3n': 'B3', 'B3i': 'B3', 'B3j': 'B3', 'B3k': 'B3', 'B3e': 'B3', 'B3a': 'B3', 'B3c': 'B3', 'B4t': 'B4', 'B4w': 'B4', 'B4q': 'B4', 'B4r': 'B4', 'B4y': 'B4', 'B4z': 'B4', 'B4e': 'B4', 'B4a': 'B4', 'B4c': 'B4', 'B4n': 'B4', 'B4i': 'B4', 'B4k': 'B4', 'B4j': 'B4', 'B5y': 'B5', 'B5r': 'B5', 'B5q': 'B5', 'B5j': 'B5', 'B5k': 'B5', 'B5i': 'B5', 'B5n': 'B5', 'B5c': 'B5', 'B5a': 'B5', 'B5e': 'B5', 'B6c': 'B6', 'B6a': 'B6', 'B6e': 'B6', 'B6k': 'B6', 'B6n': 'B6', 'B6i': 'B6', 'B7c': 'B7', 'B7e': 'B7', 'B8c': 'B8', 'S0c': 'S0', 'S1c': 'S1', 'S1e': 'S1', 'S2c': 'S2', 'S2a': 'S2', 'S2e': 'S2', 'S2i': 'S2', 'S2k': 'S2', 'S2n': 'S2', 'S3a': 'S3', 'S3c': 'S3', 'S3e': 'S3', 'S3i': 'S3', 'S3j': 'S3', 'S3k': 'S3', 'S3n': 'S3', 'S3q': 'S3', 'S3r': 'S3', 'S3y': 'S3', 'S4e': 'S4', 'S4a': 'S4', 'S4c': 'S4', 'S4n': 'S4', 'S4i': 'S4', 'S4j': 'S4', 'S4k': 'S4', 'S4t': 'S4', 'S4w': 'S4', 'S4q': 'S4', 'S4r': 'S4', 'S4y': 'S4', 'S4z': 'S4',  'S5e': 'S5', 'S5c': 'S5', 'S5a': 'S5', 'S5n': 'S5', 'S5k': 'S5', 'S5j': 'S5', 'S5i': 'S5', 'S5r': 'S5', 'S5q': 'S5', 'S5y': 'S5', 'S6n': 'S6', 'S6k': 'S6', 'S6i': 'S6', 'S6e': 'S6', 'S6c': 'S6', 'S6a': 'S6', 'S7c': 'S8', 'S7e': 'S8', 'S8c': 'S8'}"
The long rulestring removes B0 and also only allows outer-totalistic rules

I will edit if I find more ships.
EDIT(S)
1 more, 2c/3o as well

Code: Select all

x = 7, y = 10, rule = B25678/S34678
o$5bo$b3ob2o$2b2obo$4b3o$4b3o$2b2obo$b3ob2o$5bo$o!
10x10 4c/5o returned negative
10x10 3c/4o returned negative
10x10 3c/5o not sure, I stopped it after about 7000 seconds

Code: Select all

x = 17, y = 10, rule = B3/S23
b2ob2obo5b2o$11b4obo$2bob3o2bo2b3o$bo3b2o4b2o$o2bo2bob2o3b4o$bob2obo5b
o2b2o$2b2o4bobo2b3o$bo3b5ob2obobo$2bo5bob2o$4bob2o2bobobo!
(Check gen 2)

User avatar
LaundryPizza03
Posts: 617
Joined: December 15th, 2017, 12:05 am
Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"

Re: Ships with speed between c/2 and c

Post by LaundryPizza03 » March 19th, 2020, 3:57 am

Saka wrote:
March 19th, 2020, 12:15 am
1 more, 2c/3o as well

Code: Select all

x = 7, y = 10, rule = B25678/S34678
o$5bo$b3ob2o$2b2obo$4b3o$4b3o$2b2obo$b3ob2o$5bo$o!
This is a genuinely new ship. How did this get missed the first time around?
Saka wrote: 10x10 4c/5o returned negative
10x10 3c/4o returned negative
10x10 3c/5o not sure, I stopped it after about 7000 seconds
Try adding some clearance to ensure that there is enough room for the ships to move around. For example, add an extra 4 colums to the 4c/5o search.

Code: Select all

x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
LaundryPizza03 at Wikipedia

AforAmpere
Posts: 1091
Joined: July 1st, 2016, 3:58 pm

Re: Ships with speed between c/2 and c

Post by AforAmpere » March 19th, 2020, 4:48 pm

I checked:
- 12x10 for 3c/4, N
- 10x10 for (2,1)c/3, N

This C/2 diagonal popped up too, which somehow is new:

Code: Select all

x = 8, y = 9, rule = B247/S24678
3bo3bo$5b3o$5b3o$bo3bobo$3b2o2bo$ob3o$2b3o2$3bo!
I and wildmyron manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules.

Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule
- Finish a rule with ships with period >= f_e_0(n) (in progress)

User avatar
Saka
Posts: 3201
Joined: June 19th, 2015, 8:50 pm
Location: In the kingdom of Sultan Hamengkubuwono X
Contact:

Re: Ships with speed between c/2 and c

Post by Saka » March 19th, 2020, 9:04 pm

AforAmpere wrote:
March 19th, 2020, 4:48 pm
I checked:
- 12x10 for 3c/4, N
- 10x10 for (2,1)c/3, N

This C/2 diagonal popped up too, which somehow is new:

Code: Select all

x = 8, y = 9, rule = B247/S24678
3bo3bo$5b3o$5b3o$bo3bobo$3b2o2bo$ob3o$2b3o2$3bo!
Nice!
I've done the following so far:

Code: Select all

14x10 4c/5o D2- ~250s UNSATISFIABLE
12x12 4c/5o D2- 1843s UNSATISFIABLE
14x10 3c/4o D2- 1191s UNSATISFIABLE
14x10 3c/4o 6180s UNSATISFIABLE
I'll be doing 14x10 D2- 3c/5o and 14x14 D2- 4c5o today

Code: Select all

x = 17, y = 10, rule = B3/S23
b2ob2obo5b2o$11b4obo$2bob3o2bo2b3o$bo3b2o4b2o$o2bo2bob2o3b4o$bob2obo5b
o2b2o$2b2o4bobo2b3o$bo3b5ob2obobo$2bo5bob2o$4bob2o2bobobo!
(Check gen 2)

User avatar
LaundryPizza03
Posts: 617
Joined: December 15th, 2017, 12:05 am
Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"

Re: Ships with speed between c/2 and c

Post by LaundryPizza03 » March 20th, 2020, 3:14 am

AforAmpere wrote:
March 19th, 2020, 4:48 pm
This C/2 diagonal popped up too, which somehow is new:

Code: Select all

x = 8, y = 9, rule = B247/S24678
3bo3bo$5b3o$5b3o$bo3bobo$3b2o2bo$ob3o$2b3o2$3bo!
I've been inspired to find these as well:

Code: Select all

x = 134, y = 133, rule = B246/S24678
122bo2bo$122bob3o$121bob5o$119bob8o$123b7o$117b2ob3ob7o$116b2o2bo2b9o$
114bobobo2b12o$120b12o$113b2ob4ob11o$113b3o2bob8obobo$113bo7b5obo2bo2b
o$112bo2bo5b6ob2o$115bobo4b4obo$110bobobob3o6bob2o$106b4obo2bob4o3bo2b
o2bo$108bo4bob4o3bobobo$107bob2obo3b3o5b2o$105b3o4bob3o2bo4bo$100bo4bo
b6o2b4o2bobo$103bo3b7o2bo3bo3bo$101b2ob12o2bo$100bob12o3bobo$98bobob5o
b6o2bo$96bo4b6o3b7o$94bobo2b8o2b5obo$98b5ob5ob5obo2bo$97b5ob3ob5ob4o$
92bob3ob5obo2b5obobo$91bo3b6ob2obo2b6o$96b5ob2o2b5obo$95bob3o3bob7o$
89bob4ob5o2b6ob4o$87b2o2b7o3b9o$93b2ob2ob8o2bo$87b2obo2b4o2b6ob2o2bo$
86b3obobo3b2ob6o2bo$87bob2ob2o3bo2b2obobobo$87b3obo5b4o2bob2o$85b3o2b
3o3bob3o3b3o$82bob10o6bo3bo$84b5o3b3o7bo2bo$83bo2bobo2b6o2bo2bo$83bo2b
o4bob3ob2obo$82b3o6bo7b2o$80bo2b5o3b5o2b2obo$79b4ob4obob4obo2bo$80b2ob
6o3b4o$80b9ob4o$76b4ob8ob3obo$74bo2b9obo2b3o$75bo3b8o2bo$72bob3ob6o2bo
$70bobo3bob6ob2o$71b2ob10o$68bob2ob7ob4o$71b9o2b4o$66bobob10ob2obo$70b
ob11o$64bobob11o$63b2o4b9obo$66bo2b6ob2o$62b5ob2o2b3o4bo$60bob2ob7obob
ob2o$63b2ob5ob3o2bo$59b2o2bo2b6o2b3o$56bo3bo2bo3b4ob2obo$55b2ob2o3b5o
2bo2bo$55bob4obo5b2obob2o$52bo2b7ob2o4b3obo$54b4o2bo2b2o4b2o$53b3ob5o
2b2ob2o$52bo4b7o2bobo$53b10ob2o2bo$52bo2bob6ob3o$53b3o2bob2ob3o$45bo3b
obob4o2bob4ob2o$44b3o2bob3o2bo5b2obo$44bobobobo2b2ob3o2b2obobo$43bob3o
bo2b2o4bo4b2o$46b2ob3o3bob3ob3o$44bob7ob2ob2obo$42bo2bo2b6o3b2o$40bob
3ob7ob2o$36bo2b3o4b7o4bo$38b3obo2b6o2bo$37b2o3b9ob2o$36bo2b9o2b3obo$
33bo3b2obo2b6ob2o3bo$35b3o4b8o2b2o2bo$34b3ob2obo3bo3bobo$34bobobo2b2o
3b2o$31bo3b3o2bobo5bo$26bo5b4o2b3ob6o$30b2o2bobo2bobo5b2o$27b3o2b2obob
7obo2b2o$27b2o2bo5b2o2bo4b3o$28bob6o2bo4b2o$25b2o2bob5o4bo3b2o$22bob5o
b3o2bo2b2ob4o$22bobobo2bo3bob3o$22bobo2b4o2b3ob2obo$21bobob6obob6o$19b
ob9ob2ob3o$21bo2b4o2b4obo2bo$20bo2bo2b6ob2ob2o$20b2obob2ob4obobob3o$
21b2obo3b3o2b4o$19bob5obo2b2o$15bo2b2ob6obobo2b3o$14b2ob3ob6obo2bobo$
17bo4b2o3b2o5bo$13b4obo2bob2o4b2o$17b3o4b6o$6bo3bo4b7o$7b2obo3b7obo$5b
4ob11o2bo$6bob2o2b8obob2o$2bo6b9o2b2obo$o2b2obo3b9obo$2b2obo6b6o$b3obo
3bob5obobo$ob3obo2b3ob2obo$b4o4b5obobo$9bo2bo3bo2bo$17bo$15bobo$11bo5b
o$9bo2b2obo$11b2obo$10b3obo$9bob3obo$10b4o!

Code: Select all

x = 36, y = 36, rule = B2468/S24678
33bo$26bo2bo2b2obo$25b2ob3obo$28bobobo$24bobo2b3o$20bo4bob5o$19b3o3b6o
$20b3ob6ob3o$20b2obob7ob2o$14bo2b6ob5obob2o$13b3o2b3o3bob4o2bo$11b2o2b
ob4ob2o2b2obo$13b2o2b3obobobob2o$12b2ob4ob3ob2ob2o$10b10obobob4o$13b2o
b2o4b5obo$9b4ob3o3bob5o$6bo2b2o2b3o2b2ob4ob2o$5b2ob2o2b2o2bob9o$3bo2b
2ob2obo3b2ob3obo$4bo3bobobobob2ob3ob3o$2b3o2b9obob5o$2b4ob4o2b3o4bo$bo
bob6o6bo2bobo2bo$5b5o2b2o5bo2bo$4obo2bo3b3o$4o4b2ob4o2b3o$4o2b2obob4ob
o$obo2b4ob4o3b2o$bo2bob2ob3ob2obo$9b2ob2o3bo$6b3o4b2o$6b4o2bo$6b4obo2b
o$6bobo$7bo2bo!

Code: Select all

x = 25, y = 24, rule = B2467/S24678
12bo3bo$13b5o$11bo2b5o$11b4ob4o$11b2ob7o$10bo2b9o$11bo2b9o$9bob13o$10b
11ob3o$2bo5b13ob2o$o2b2o3b13obo$2b2ob4ob8obo$b3obobo2b7o2b5o$ob3o5bob
5ob2o2bo$b4obo3bob4o2bo$7b3o3bo$6b3o2bobobo$5bob3o3bo$6b3o2bo$9bo2b2ob
o$11b2obo$10b3obo$9bob3obo$10b4o!

Code: Select all

x = 28, y = 27, rule = B24678/S24678
14bo2bo$14bob3o$13bob5o$15bob4o$12b3ob6o$17b6o$15b2ob6o$10b4obob8o$13b
2o3bo2b5o$6bo2b4o4b2ob7o$7b3ob3o6b2ob3o$5b4obo8bob2ob2o$6bobo3b3o8bobo
$2bo9bo4bobobob2o2bo$o2b2obo7b2obobo2bo$2b2obo8bobob3o$b3obo10b3o2bo$o
b3obo$b4o10bo2bo$16bo$14bobo$10bo5bo$8bo2b2obo$10b2obo$9b3obo$8bob3obo
$9b4o!

Code: Select all

x = 32, y = 31, rule = B24678/S2467
28bo$26bo$28b2o$27b3obo$24bo2b3o$17bo7b2o$21bob3o$15bo6bobo$13bo3b6obo
bo$11bob2o2b2obo2bo$12bob6o2bobo$10b2obob2ob6o$9bobo2b5ob4o$7b2o2bo2b
3ob5obo$6b2ob3o3bob4o3b2o$8b2ob3obob4ob2o$7bob4ob2o2bobob3o$6bob8o2bo
3b2o$2bo6b3ob3o3b4o$o2b2obo2bo3b5o3bo$2b2obo5bobob2obo$b3obo6bob2ob4o$
ob3obo5b4ob2o$b4o11b2obo$13bobobo$9bo$7bo2b2obo$9b2obo$8b3obo$7bob3obo
$8b4o!
Why not search all the B2 rules on autopilot?

Oh, and this string additionally forces B2 (since no ships in B3 rules can travel faster than c/2) and disallows B3. (Very few ships exist in B23 rules, so we should ignore them.)

Code: Select all

-r="{'B0c': '0', 'B1e': '0', 'B1c': '0', 'B2n': '1', 'B2k': '1', 'B2i': '1', 'B2e': '1', 'B2c': '1', 'B2a': '1','B3y': '0', 'B3q': '0', 'B3r': '0', 'B3n': '0', 'B3i': '0', 'B3j': '0', 'B3k': '0', 'B3e': '0', 'B3a': '0', 'B3c': '0', 'B4t': 'B4', 'B4w': 'B4', 'B4q': 'B4', 'B4r': 'B4', 'B4y': 'B4', 'B4z': 'B4', 'B4e': 'B4', 'B4a': 'B4', 'B4c': 'B4', 'B4n': 'B4', 'B4i': 'B4', 'B4k': 'B4', 'B4j': 'B4', 'B5y': 'B5', 'B5r': 'B5', 'B5q': 'B5', 'B5j': 'B5', 'B5k': 'B5', 'B5i': 'B5', 'B5n': 'B5', 'B5c': 'B5', 'B5a': 'B5', 'B5e': 'B5', 'B6c': 'B6', 'B6a': 'B6', 'B6e': 'B6', 'B6k': 'B6', 'B6n': 'B6', 'B6i': 'B6', 'B7c': 'B7', 'B7e': 'B7', 'B8c': 'B8', 'S0c': 'S0', 'S1c': 'S1', 'S1e': 'S1', 'S2c': 'S2', 'S2a': 'S2', 'S2e': 'S2', 'S2i': 'S2', 'S2k': 'S2', 'S2n': 'S2', 'S3a': 'S3', 'S3c': 'S3', 'S3e': 'S3', 'S3i': 'S3', 'S3j': 'S3', 'S3k': 'S3', 'S3n': 'S3', 'S3q': 'S3', 'S3r': 'S3', 'S3y': 'S3', 'S4e': 'S4', 'S4a': 'S4', 'S4c': 'S4', 'S4n': 'S4', 'S4i': 'S4', 'S4j': 'S4', 'S4k': 'S4', 'S4t': 'S4', 'S4w': 'S4', 'S4q': 'S4', 'S4r': 'S4', 'S4y': 'S4', 'S4z': 'S4',  'S5e': 'S5', 'S5c': 'S5', 'S5a': 'S5', 'S5n': 'S5', 'S5k': 'S5', 'S5j': 'S5', 'S5i': 'S5', 'S5r': 'S5', 'S5q': 'S5', 'S5y': 'S5', 'S6n': 'S6', 'S6k': 'S6', 'S6i': 'S6', 'S6e': 'S6', 'S6c': 'S6', 'S6a': 'S6', 'S7c': 'S8', 'S7e': 'S8', 'S8c': 'S8'}"

Code: Select all

x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
LaundryPizza03 at Wikipedia

User avatar
Saka
Posts: 3201
Joined: June 19th, 2015, 8:50 pm
Location: In the kingdom of Sultan Hamengkubuwono X
Contact:

Re: Ships with speed between c/2 and c

Post by Saka » March 20th, 2020, 6:28 am

Nothing today. Here're the searches I have done so far

Code: Select all

14x10 4c/5o D2- ~250s UNSATISFIABLE
14x10 3c/5o D2- 5679s UNSATISFIABLE
12x12 4c/5o D2- 1843s UNSATISFIABLE
14x10 3c/4o D2- 1191s UNSATISFIABLE
14x10 3c/4o 6180s UNSATISFIABLE
14x14 4c/5o D2- 10126s UNSATISFIABLE
14x10 3c/5o D2- UNSATISFIABLE (from WildMyron)

Code: Select all

x = 17, y = 10, rule = B3/S23
b2ob2obo5b2o$11b4obo$2bob3o2bo2b3o$bo3b2o4b2o$o2bo2bob2o3b4o$bob2obo5b
o2b2o$2b2o4bobo2b3o$bo3b5ob2obobo$2bo5bob2o$4bob2o2bobobo!
(Check gen 2)

User avatar
LaundryPizza03
Posts: 617
Joined: December 15th, 2017, 12:05 am
Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"

Re: Ships with speed between c/2 and c

Post by LaundryPizza03 » March 20th, 2020, 5:17 pm

10x10 (2,1)c/4 returned UNSAT in 39314.201746 s, a bit longer than expected from your searches. Now searching the same speed in a 12x12 box.

Code: Select all

x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
LaundryPizza03 at Wikipedia

User avatar
Saka
Posts: 3201
Joined: June 19th, 2015, 8:50 pm
Location: In the kingdom of Sultan Hamengkubuwono X
Contact:

Re: Ships with speed between c/2 and c

Post by Saka » March 20th, 2020, 11:26 pm

14x14 3c/4o D2- 58694s UNSATISFIABLE

Full list of failed searches:

Code: Select all

12x10 3c/4o        UNSATISFIABLE (AforAmpere)
10x10 (2,1)c/3     UNSATSIFIABLE (AforAmpere)
14x10 4c/5o D2-    UNSATISFIABLE (Saka)
14x10 3c/5o D2-    UNSATISFIABLE (Saka)
12x12 4c/5o D2-    UNSATISFIABLE (Saka)
14x10 3c/4o D2-    UNSATISFIABLE (Saka)
14x10 3c/4o        UNSATISFIABLE (Saka)
14x14 4c/5o D2-    UNSATISFIABLE (Saka)
10x10 (2,1)c/4     UNSATISFIABLE (LaundryPizza03)
14x10 3c/5o D2-    UNSATISFIABLE (WildMyron)
14x14 3c/4o D2-    UNSATISFIABLE (Saka)
10x10 (3,1)c/5o    UNSATISFIABLE (Saka)
14x12 4c/5o        UNSATISFIABLE
EDIT1: Update
EDIT2: Update

Code: Select all

x = 17, y = 10, rule = B3/S23
b2ob2obo5b2o$11b4obo$2bob3o2bo2b3o$bo3b2o4b2o$o2bo2bob2o3b4o$bob2obo5b
o2b2o$2b2o4bobo2b3o$bo3b5ob2obobo$2bo5bob2o$4bob2o2bobobo!
(Check gen 2)

User avatar
Saka
Posts: 3201
Joined: June 19th, 2015, 8:50 pm
Location: In the kingdom of Sultan Hamengkubuwono X
Contact:

Re: Ships with speed between c/2 and c

Post by Saka » March 22nd, 2020, 1:05 am

is this known? 2c/3

Code: Select all

x = 5, y = 7, rule = B2578/S025
bo$o2bo$2b3o$2bo$2b3o$o2bo$bo!

Code: Select all

x = 17, y = 10, rule = B3/S23
b2ob2obo5b2o$11b4obo$2bob3o2bo2b3o$bo3b2o4b2o$o2bo2bob2o3b4o$bob2obo5b
o2b2o$2b2o4bobo2b3o$bo3b5ob2obobo$2bo5bob2o$4bob2o2bobobo!
(Check gen 2)

User avatar
LaundryPizza03
Posts: 617
Joined: December 15th, 2017, 12:05 am
Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"

Re: Ships with speed between c/2 and c

Post by LaundryPizza03 » March 22nd, 2020, 1:33 am

Saka wrote:
March 22nd, 2020, 1:05 am
is this known? 2c/3

Code: Select all

x = 5, y = 7, rule = B2578/S025
bo$o2bo$2b3o$2bo$2b3o$o2bo$bo!
Yes.

Code: Select all

x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
LaundryPizza03 at Wikipedia

User avatar
LaundryPizza03
Posts: 617
Joined: December 15th, 2017, 12:05 am
Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"

Re: Ships with speed between c/2 and c

Post by LaundryPizza03 » March 27th, 2020, 5:13 am

My search is taking an awfully long time, and I need to focus on schoolwork. I'll keep running it anyway in case something pops out or it returns UNSAT. Or maybe you can try it yourself?

Code: Select all

x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
LaundryPizza03 at Wikipedia

Post Reply