Here are some sparky 5c/6 spaceships, in the hope that someone will be able to do period multiplication stuff with them. I tried to find ships to support this reaction, but I couldn't find any.
This file looks for a pair of spaceships supporting the reactions-it's also unsatisfiable. But there may be other ways of deleting the backwards photons.
Code: Select all
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 a0 b0 c0 d0 e0 f0 e0 d0 c0 b0 a0 0 0 0 0 z0 y0 x0 w0 v0 u0 v0 w0 x0 y0 z0 0 0
0 0 a1 b1 c1 d1 e1 f1 e1 d1 c1 b1 a1 0 0 0 0 z1 y1 x1 w1 v1 u1 v1 w1 x1 y1 z1 0 0
0 1 a2 b2 c2 d2 e2 f2 e2 d2 c2 b2 a2 1 0 0 0 z2 y2 x2 w2 v2 u2 v2 w2 x2 y2 z2 0 0
0 1 a3 b3 c3 d3 e3 f3 e3 d3 c3 b3 a3 1 0 0 0 z3 y3 x3 w3 v3 u3 v3 w3 x3 y3 z3 0 0
0 1 a4 b4 c4 d4 e4 f4 e4 d4 c4 b4 a4 1 0 0 1 z4 y4 x4 w4 v4 u4 v4 w4 x4 y4 z4 1 0
0 1 a5 b5 c5 d5 e5 f5 e5 d5 c5 b5 a5 1 0 0 0 z5 y5 x5 w5 v5 u5 v5 w5 x5 y5 z5 0 0
0 1 a6 b6 c6 d6 e6 f6 e6 d6 c6 b6 a6 1 0 0 1 z6 y6 x6 w6 v6 u6 v6 w6 x6 y6 z6 1 0
0 0 a7 b7 c7 d7 e7 f7 e7 d7 c7 b7 a7 0 0 0 0 z7 y7 x7 w7 v7 u7 v7 w7 x7 y7 z7 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 0 * * * * * * * * * 0 0 0 0 0 0 * * * * * * * * * 0 0 0
0 0 0 * * * * * * * * * 0 0 0 0 0 0 * * * * * * * * * 0 0 0
1 0 0 * * * * * * * * * 0 0 1 0 0 0 * * * * * * * * * 0 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 1 0 * * * * * * * * * * * 0 1
1 0 * * * * * * * * * * * 0 1 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 0 * * * * * * * * * 0 0 0 0 0 * * * * * * * * * * * 0 0
0 0 0 * * * * * * * * * 0 0 0 0 0 * * * * * * * * * * * 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 0 * * * * * * * * * 0 0 0
0 0 * * * * * * * * * * * 0 0 0 0 0 * * * * * * * * * 0 0 0
0 0 * * * * * * * * * * * 0 0 0 0 0 * * * * * * * * * 0 0 0
0 0 * * * * * * * * * * * 0 0 0 0 0 * * * * * * * * * 0 0 0
0 0 0 * * * * * * * * * 0 0 0 0 0 0 * * * * * * * * * 0 0 0
0 0 0 0 * * * * * * * 0 0 0 0 0 0 * * * * * * * * * * * 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 0 * * * * * * * * * 0 0 0 0 0 0 * * * * * * * * * 0 0 0
0 0 0 * * * * * * * * * 0 0 0 0 0 0 0 * * * * * * * 0 0 0 0
0 0 0 * * * * * * * * * 0 0 0 0 0 0 0 * * * * * * * 0 0 0 0
0 0 * * * * * * * * * * * 0 0 0 0 0 0 * * * * * * * 0 0 0 0
0 0 0 * * * * * * * * * 0 0 0 0 0 0 * * * * * * * * * 0 0 0
0 0 0 * * * * * * * * * 0 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 * * * * * * * * * * * 0 0 0 0 * * * * * * * * * * * 0 0
0 0 0 * * * * * * * * * 0 0 0 0 0 * * * * * * * * * * * 0 0
0 0 0 0 * * * * * * * 0 0 0 0 0 0 * * * * * * * * * * * 0 0
0 0 a0 b0 c0 d0 e0 f0 e0 d0 c0 b0 a0 0 0 0 0 z0 y0 x0 w0 v0 u0 v0 w0 x0 y0 z0 0 0
0 0 a1 b1 c1 d1 e1 f1 e1 d1 c1 b1 a1 0 0 0 0 z1 y1 x1 w1 v1 u1 v1 w1 x1 y1 z1 0 0
0 1 a2 b2 c2 d2 e2 f2 e2 d2 c2 b2 a2 1 0 0 0 z2 y2 x2 w2 v2 u2 v2 w2 x2 y2 z2 0 0
0 1 a3 b3 c3 d3 e3 f3 e3 d3 c3 b3 a3 1 0 0 0 z3 y3 x3 w3 v3 u3 v3 w3 x3 y3 z3 0 0
0 1 a4 b4 c4 d4 e4 f4 e4 d4 c4 b4 a4 1 0 0 1 z4 y4 x4 w4 v4 u4 v4 w4 x4 y4 z4 1 0
0 1 a5 b5 c5 d5 e5 f5 e5 d5 c5 b5 a5 1 0 0 0 z5 y5 x5 w5 v5 u5 v5 w5 x5 y5 z5 0 0
0 1 a6 b6 c6 d6 e6 f6 e6 d6 c6 b6 a6 1 0 0 1 z6 y6 x6 w6 v6 u6 v6 w6 x6 y6 z6 1 0
0 0 a7 b7 c7 d7 e7 f7 e7 d7 c7 b7 a7 0 0 0 0 z7 y7 x7 w7 v7 u7 v7 w7 x7 y7 z7 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Code: Select all
$ ./lls -S kissat 5c_6test.txt --rule pB2ack-ein3c-inqry4n-ciyz5ar-y678/S2-ceik3-r45678
Getting search pattern...
Done
Preprocessing...
Done
Number of undetermined cells: 723
Number of variables: 794
Number of clauses: 342356
Active width: 22
Active height: 13
Active duration: 7
Solving...
Done
Time taken: 1261795.97343 seconds
Unsatisfiable
Think of this as a collection of the same velocity in different rules, not a collection of different velocities in one rule. And without further ado:
Code: Select all
x = 13, y = 5, rule = B2ack3acjky4nqrtw5-cny6-ci7e8/S2ae3ejq4jkrwz5ijkr7
b3obobob3o$o2bobobobo2bo$b2o3bo3b2o$o11bo$bo4bo4bo!
Code: Select all
x = 13, y = 7, rule = B2ack3cejky4eknq5-ciny6-ac7c/S1c2-ck3aceky4ackqtz5aikn6ac7e8
4b5o$5bobo$b3o2bo2b3o$2o2b2ob2o2b2o$bobob3obobo$13o$bo9bo!
Code: Select all
x = 13, y = 8, rule = B2ack3cky4ejknr5-einy6-n/S2a3-ciq4cjr5eknr6-a8
3b3ob3o$2b2o5b2o$2b2obobob2o$o2bo5bo2bo$obo3bo3bobo$o5bo5bo$obob5obobo
$2bo7bo!
Code: Select all
x = 13, y = 8, rule = B2ack3ce4ejnr5-iky6-a7c/S2ae3-acej4acejnr5ceiy6ckn78
3b3ob3o$bobo2bo2bobo$o2bob3obo2bo$o3bobobo3bo$o4b3o4bo$o5bo5bo$o11bo$b
o2bo3bo2bo!
Code: Select all
x = 13, y = 8, rule = B2ack3cek4aknrw5aeinr7c/S1c2ae3ekqy4-ceirt5-ajkq6-an
3b2obob2o$2bobo3bobo$obo7bobo$o2bobobobo2bo$3ob5ob3o$4ob3ob4o$ob2o2bo
2b2obo$bo9bo!
Code: Select all
x = 13, y = 8, rule = B2ack3cejk4anqw5-cky6-ci78/S1c2ae3cinry4-ijny5aijnq6ac8
4bo3bo$4b2ob2o$2b2o2bo2b2o$2b4ob4o$o2bo2bo2bo2bo$2bobo3bobo$obo2b3o2bo
bo$6bo!
Code: Select all
x = 13, y = 8, rule = B2ack3cj4eknq5aeiqr6-kn8/S2a3acjr4acjnqry5-cn6-k7
3b3ob3o$3b2o3b2o$2b2ob3ob2o$2bob5obo$o4b3o4bo$2bo3bo3bo$o2bobobobo2bo$
bo2bo3bo2bo!
Code: Select all
x = 13, y = 7, rule = B2ack3acej4enqtw5-eiqy6aci7e/S1c2e3-jq4cejknw5-cnr6cin
3b2obob2o$2bob5obo$3b7o$ob9obo$4b5o$obobo3bobobo$2bo7bo!
Code: Select all
x = 13, y = 8, rule = B2ack3cjky4enqr5-ceky6cei7c/S1c2aen3ceiky4ckty5-ackq6-an7c
4b5o$5bobo$3b2o3b2o$2bo3bo3bo$ob3o3b3obo$2b4ob4o$obob5obobo$2bo7bo!
Code: Select all
x = 13, y = 6, rule = B2ack3cjk4aeknrw5-ceky6-en7c8/S2aen3einqr4ejqtz5-kn6a7
6bo$b2obo3bob2o$o3b5o3bo$b4o3b4o$o11bo$bo9bo!
Code: Select all
x = 13, y = 6, rule = B2ack3cj4jnrtw5aejnr6ikn7e8/S2a3aejk4ckrtz5cjknr6-i7c
6bo$b2obo3bob2o$o2b2o3b2o2bo$2bobo3bobo$o2bo5bo2bo$bo9bo!
Code: Select all
x = 13, y = 7, rule = B2ack3cej4eknqrt5aijkr6cei78/S2a3-aiky4ekqrw5aejy6-cn7c
3bob3obo$4bo3bo$bo4bo4bo$o2b7o2bo$2bob5obo$obo2b3o2bobo$bo4bo4bo!
Code: Select all
x = 13, y = 7, rule = B2ack3cej4ejnqr5-ky6-in7/S2aen3ein4cjrtz5aekry6-i7e8
2bo2b3o2bo$2b2obobob2o$b5ob5o$o3b5o3bo$2bo7bo$obobo3bobobo$2bo7bo!
The last one has two ships:
Code: Select all
x = 33, y = 8, rule = B2ack3ce4jnw5aijkr6aik7c/S2an3aj4acjrw5-e6acn
4b5o14b3ob3o$3b3ob3o11bob2o3b2obo$4b2ob2o11bo11bo$3b3ob3o10b4o5b4o$obo
bo3bobobo7bo4bobo4bo$20bo3b2ob2o3bo$obo7bobo7bo4bobo4bo$21bo9bo!
The closest that I got was this backrake.
Code: Select all
x = 55, y = 13, rule = B2ack3c4n5aer/S
o25bo24bo2bo2$b2o21bob3o23b2o$50bo$o2bo21b2o2$20bo2b3obo$21bo$21bo3bo$
21bo$21bo$21bo$20bo!
EDIT: That's the reactions I was trying to support, this is the actual backrake:
Code: Select all
x = 35, y = 25, rule = B2ack3cek4aknrw5aeinr7c/S1c2ae3ekqy4-ceirt5-ajkq6-an
4b2obob2o13b2obob2o$3bobo3bobo11bobo3bobo$bobo7bobo7bobo7bobo$bo2bobob
obo2bo7bo2bobobobo2bo$b3ob5ob3o7b3ob5ob3o$b4ob3ob4o7b4ob3ob4o$bob2o2bo
2b2obo7bob2o2bo2b2obo$2bo9bo9bo9bo4$15b2o2$14bo2bo$3bo3bo19bo3bo$bo2bo
bo2bo15bo2bobo2bo$o2b2ob2o2bo13bo2b2ob2o2bo$ob3ob3obo13bob3ob3obo$bo3b
o3bo15bo3bo3bo$3o2bo2b3o13b3o2bo2b3o$2ob2ob2ob2o13b2ob2ob2ob2o2$2bobob
obo17bobobobo$4bobo21bobo$5bo23bo!
Edit 2: Two more for a different reaction where the photon splits immediately:
Code: Select all
x = 17, y = 15, rule = B2ack3ejky4eqrwy5-ikr/S2an3acjq4acjkrz5-cijk6ce
.................$
.................$
.................$
.................$
.................$
.................$
........o........$
...oo.o...o.oo...$
..o..oo...oo..o..$
..ooo..ooo..ooo..$
..o...........o..$
..o.oooo.oooo.o..$
..o.o.o...o.o.o..$
....o.......o....$
.................!
Code: Select all
x = 17, y = 15, rule = B2ack3ajky4cqtwy5-cenr/S2a3cejky4anrtyz5ejnr6-ck78
.................$
.................$
.................$
.................$
.................$
.................$
.................$
...ooo.o.o.ooo...$
..o.o..o.o..o.o..$
..o.oo.....oo.o..$
..o..o.o.o.o..o..$
..o.oo.ooo.oo.o..$
..o.o.ooooo.o.o..$
....o.......o....$
.................!