I haven't had time to look for partials put I'll post them when they are found!
P.S. I'm using wls, I don't get how jls is faster.

Paul Tooke wrote:To add to the 3c/7 results posted earlier I have since completed friutless gfind searches with o7n3l182uvw and o7n3l196u. That last search took nearly a year to complete, so I won't be banging my head against this particular wall any time soon!
For the benefit of folks unfamiliar with gfinds options these correspond to width 26 even, 27 odd and 27 odd with a central column of dead cells. That last search would also have found any width 13 asymmetric spaceships.
Code: Select all
x = 11, y = 11, rule = B3/S23
4bo$5b2o$5bobo$7bo$o5bo2bo$b2o4bo2bo$bo2bo5bo$2b2obo2b3o$7b2o$4bo2bo$
5b3o!
Hmm... Looks promising enough to me, maybe I can find something, also, what about 2c/9 orthogonal?A for awesome wrote:Thanks for the serendipitous thread opening, Saka! I just found what I think is a promising 2c/9 diagonal front end:I think there is a good chance (I.E. maybe not very likely, but the best so far for a 2c/9 partial) that it can be completed.Code: Select all
x = 11, y = 11, rule = B3/S23 4bo$5b2o$5bobo$7bo$o5bo2bo$b2o4bo2bo$bo2bo5bo$2b2obo2b3o$7b2o$4bo2bo$ 5b3o!
Code: Select all
x = 23, y = 48, rule = B3/S23
7bo7bo$6b3o5b3o$5bo2b2o3b2o2bo$4b2ob9ob2o$5bob2o5b2obo$4b3ob2o3b2ob3o$
4b3o4bo4b3o$7bo7bo$4bo2bo7bo2bo$3bobo11bobo$4b2obo7bob2o$6b2o7b2o$7bo
7bo$6bobo5bobo$5bo3bo3bo3bo$5bo2bo5bo2bo$5bo2b2o3b2o2bo$5b2ob2o3b2ob2o
$6bo9bo$5bo11bo$3bobo11bobo$2b2obo2bo5bo2bob2o$bobo15bobo$o6b2o5b2o6bo
$b2obobo2bo3bo2bobob2o$2bobobobo5bobobobo$4b3o9b3o$3bobo11bobo$2bo3bo
9bo3bo$2bo4bo7bo4bo$8bo5bo$2b3o2bo7bo2b3o$8bo5bo$7b2obobob2o$7b2obobob
2o$5b2obobobobob2o$4b2o11b2o$3b2obo9bob2o$2bo2bobo7bobo2bo$2b3o13b3o$
3b2o2bobo3bobo2b2o$6bo3bobo3bo$10bobo$9bo3bo$5bo3bo3bo3bo$5bo2bo5bo2bo
$2b2o4b2o3b2o4b2o$2o19b2o!
Code: Select all
x = 25, y = 69, rule = B3/S23
8bo7bo$7b3o5b3o$6bo2b2o3b2o2bo$5b2ob9ob2o$6bob2o5b2obo$5b3ob2o3b2ob3o$
5b3o4bo4b3o$8bo7bo$5bo2bo7bo2bo$4bobo11bobo$5b2obo7bob2o$7b2o7b2o$8bo
7bo$7bobo5bobo$6bo3bo3bo3bo$6bo2bo5bo2bo$6bo2b2o3b2o2bo$6b2ob2o3b2ob2o
$7bo9bo$6bo11bo$4bobo11bobo$3b2obo2bo5bo2bob2o$2bobo15bobo$bo6b2o5b2o
6bo$2b2obobo2bo3bo2bobob2o$3bobobobo5bobobobo$5b3o9b3o$4bobo11bobo$3bo
3bo9bo3bo$3bo4bo7bo4bo$9bo5bo$3b3o2bo7bo2b3o$9bo5bo$8b2obobob2o$8b2obo
bob2o$6b2obobobobob2o$5b2o11b2o$5bo13bo$5b2o11b2o$6b4o2bo2b4o$9bobobob
o$7bo3bobo3bo$3b3o4bo3bo4b3o$2bobo2bobo5bobo2bobo$2bob2ob3o5b3ob2obo$
3b2o3bo7bo3b2o$2bobo2bo3b3o3bo2bobo$2b2ob3o2bobobo2b3ob2o$2obo5b2obob
2o5bob2o$2bo2bo2b4ob4o2bo2bo$2o3b2ob3o3b3ob2o3b2o$2bo3bob3o3b3obo3bo$
10bo3bo$4bo15bo$4bo4b2o3b2o4bo$4b2o5bobo5b2o$7b2ob2ob2ob2o$3bo2bob3o3b
3obo2bo$b3o3b2obo3bob2o3b3o$6b4o5b4o$o3b5obo3bob5o3bo$o7b3o3b3o7bo$5b
2o2bobobobo2b2o$o5bo2bo5bo2bo5bo$b2obob3o7b3obob2o$4b2ob2o7b2ob2o$3b2o
15b2o$8b3obob3o$10bobobo!
Code: Select all
x = 22, y = 22, rule = B3/S23
14bo6bo$8bob4o2bo4bo$3b2o2b2o2b3o2b2o$2b2obo6bob2o2bo$2bob2obobo2bo$3b
3o6bo3bo$7b3o3b3o$2bobobobo3bobo$b2o3b2obo2bo$4bobobo$bo8b2o$b2o7bo$b
5ob2o$b2o3bo$o2bo2b2o$3bo2bo$b2o2bo$2bo$3bo3$2o!
That isn't a very promising partial, since the partial keeps getting wider going in the opposite direction of its movement.Saka wrote:After wls-ing around for the day, it found (still a partial):
Code: Select all
x = 84, y = 54, rule = B3/S23
6$14b3o10b3o17b3o14b3o$9b3obo7b2o7bob3o7b3obo20bob3o$13bo3bo2bo2bo2bo
3bo15bo3bo12bo3bo$13bo5bo4bo5bo15bo4bo10bo4bo$19b2o2b2o27bo8bo$16bo3bo
2bo3bo20bo7b2o7bo$16bobo6bobo21b2ob2ob4ob2ob2o$17b10o26bobo2bobo$19bo
4bo$17bo8bo$16bo10bo$17bo8bo26bo6bo$52bobob2obobo$52b2o2b2o2b2o$56b2o
2$54b2o2b2o$54b2o2b2o$55b4o$55bo2bo$54bo4bo$54bo4bo$54bob2obo$55bo2bo$
55bo2bo2$49bo14bo$49b2o4bo2bo4b2o$49bo5b4o5bo$50b2o4b2o4b2o$51bo10bo$
49bobo10bobo$50b5o4b5o$52bo2b4o2bo$51bo4b2o4bo$55bo2bo$56b2o$53b2ob2ob
2o2$52bo8bo$51b3o6b3o$51bo2bo4bo2bo$50b2o10b2o!
Yes, lifesrc has been a great tool, but it does still succumb to combinatorial explosions without really allowing for any good workarounds.HartmutHolzwart wrote:Coming from about 25 years of experience with wls and lifesrc:
I like that new people with new enthusiasm join the field. It's a pity that we most li[k]ely already harvested most of the low hanging fruit.
Code: Select all
x = 17, y = 16, rule = LifeHistory
8.2A$8.A.3A$4.3C6.A$2.2C7.2A$2.2C10.3A$4.C4.A6.A$2.C6.A.2A.A.A$2C3.C
3.A$2C3.C3.A$2.C6.A.2A.A.A$4.C4.A6.A$2.2C10.3A$2.2C7.2A$4.3C6.A$8.A.
3A$8.2A!
Code: Select all
x = 8, y = 14, rule = B3/S23
6bo$6b2o$bo4bo$2b4o$2b2o2bo$3b3o$3bo2bo$2b2o$bo2b3o$bob4o$2o$b2ob3o$2b
3o$3bo!
dvgrn wrote: Yes, lifesrc has been a great tool, but it does still succumb to combinatorial explosions without really allowing for any good workarounds.
The only exception I can think of (there are probably others, but I'm not enough of a lifesrc expert to know) is the "Combine Solutions" option in WLS/JLS, which allows for a new filter to be set up partway through a search. Basically it amounts to "Okay, now show me something that isn't like anything I've seen so far."
I think Nicolay Beluchenko worked in this direction somewhat. He modified WLS to detect solutions soon after they appeared, without having to search all of the remaining cells in the search area. It would then store the completed patterns in a hash table, and would back up whenever any of those objects were detected again. What it didn't do (I think) was store any partial patterns. I think the main utility of Nicolay's modification was to search for c/4 diagonal spaceships without ending up with large fields of gliders. His very large collection of c/4 diagonal spaceships can be found here.In another topic, dvgrn wrote:The variant of this idea that I've been trying to get a handle on for years, is a hash-enabled WLS/JLS. The key would be successful partitioning of the problem: if there were a way to monitor the search and recognize that a lot of searches were being duplicated because Section A was actually completely independent of Section B, then it would be possible to run a Section A search just once, and a Section B search just once.
The latest version that I know of is the one available here. A warning: it often crashes when I save the search state, but it still successfully creates the file.HartmutHolzwart wrote:Does someone have a copy of Nicolay's latest wls version?
I think that front end is quite promising. I am searching it right now and I keep getting long partials like this one:Kazyan wrote:I started looking into 3c/8 orthogonal a while back, and have picked that up again recently. Here's a derivative of a partial I keep seeing:
Code: Select all
x = 17, y = 16, rule = LifeHistory 8.2A$8.A.3A$4.3C6.A$2.2C7.2A$2.2C10.3A$4.C4.A6.A$2.C6.A.2A.A.A$2C3.C 3.A$2C3.C3.A$2.C6.A.2A.A.A$4.C4.A6.A$2.2C10.3A$2.2C7.2A$4.3C6.A$8.A. 3A$8.2A!
Code: Select all
x = 25, y = 20, rule = B3/S23
o$4obo$o5b2o7b2o$5b2o5b3obo$3ob2o5bo6b3o$2b2o8b2o7b2o$bo4bob3o10b2o$bo
4bobo6bo4bo$2bo2b2obobob2obo6bo$15bo3bo3b2o$15bo3bo3b2o$2bo2b2obobob2o
bo6bo$bo4bobo6bo4bo$bo4bob3o10b2o$2b2o8b2o7b2o$3ob2o5bo6b3o$5b2o5b3obo
$o5b2o7b2o$4obo$o!
In this post, Paul Tooke seems to indicate that if a standard gfind search finds no spaceships, then no spaceships of that width exist. Of course, this doesn't necessarily mean that he's right.codeholic wrote:Another concern I've got is that actually no one has ever proved whether gfind and afind work properly
Code: Select all
x = 37, y = 24, rule = B3/S23
b2o3b2obo$o3b4obo22bo$b3ob2o2bo21bo$5bo25b3o$9bo$6b3o22b2o$7b2o$6bo24b
o2$5bobo23bobo$2b2o5bo18b2o5bo$5bo3bo21bo3bo$2b2obob2o19b2obob2o$3bobo
23bobo$5b2o24b2o$3bobo23bobo$5bo25bo$2b3o23b3o$o25bo$o7b2o16bo7b2o$o4b
o4bo15bo4bo4bo$bobo2b4o17bobo2b4o$2b2ob2o21b2ob2o$2b2o24b2o!
Code: Select all
B3/S23/o3/n1/l72/a
Here's a short comment of mine about compiling the original afind source on windows:codeholic wrote:I've made repos for gfind and afind. Please contribute (if you can't write code, create issues, for instance, when you can't compile code for a certain platform).
How did you run the search? Shouldn't you also use gencols to search such a thing?codeholic wrote:(e. g. I was not able to find the catalysis that leads to a half of p18 honey farm hassler)
I had a different problem when I compiled it for Mac. That's why I think it's important to have community support for search tools.Scorbie wrote: Here's a short comment of mine about compiling the original afind source on windows:
viewtopic.php?f=9&t=1759&p=21665#p21665
As I wrote, I tried to find a half of p18 hassler.Scorbie wrote:How did you run the search? Shouldn't you also use gencols to search such a thing?codeholic wrote:(e. g. I was not able to find the catalysis that leads to a half of p18 honey farm hassler)
If you added two eaters to a honeyfarm and that didn't come out, I think this is a serious bug... Exactly what params did you run the search with?codeholic wrote:As I wrote, I tried to find a half of p18 hassler.
I checked it out and it is because of the low survival time of the catalysts when only half of the oscillator is present.Scorbie wrote:If you added two eaters to a honeyfarm and that didn't come out, I think this is a serious bug... Exactly what params did you run the search with?codeholic wrote:As I wrote, I tried to find a half of p18 hassler.
Code: Select all
#N P18 honey farm hassler
#O Nico Brown
#C A period 18 oscillator found in January 2015.
#C www.conwaylife.com/wiki/index.php?title=P18_honey_farm_hassler
x = 30, y = 18, rule = B3/S23
26bo$3bo20b3o$3b3o17bo$6bo16b2o$5b2o21b2o$28bo$8b2o16bobo$8bo17b2o$20b
3o$7b3o$2b2o17bo$bobo16b2o$bo$2o21b2o$5b2o16bo$6bo17b3o$3b3o20bo$3bo!
Code: Select all
x = 44, y = 25, rule = B3/S23
37bo$6b2o28bobo$5b2o29bobo$6bo32bo$7bo28b2ob2o$8bo26bo4b2o$34bob3obo$
6b2o28bo3bo$4b3o$4b2o28b2o5b2o$34b3o4b2o$5b4o24b2obobob3o$6bobo28b3o$
8bo24b2ob3o$9bo23bo2b2o2b4o$2b3ob2ob2o23bob2ob2ob2o$2obobobo2bo26bobo$
3bobobob2o$2o5bo$4bobob2o$2ob2o2bo2bo$4b2o3bob2o$2ob2ob3o$3bo$3bo5bo!
I propose the following format: http://www.conwaylife.com/wiki/User:Codeholic/Sandboxcodeholic wrote:I think it would make totally sense to make another table on the Game of Life Status page in the wiki to keep track of gfind/afind searches, their results, including negative, and in the comments below who performed it, when, and using which tool. This way we could avoid doing double work.
At (3,0)c/6, odd-symmetry, width-21 you should have at least found the following ship:codeholic wrote:I propose the following format: http://www.conwaylife.com/wiki/User:Codeholic/Sandboxcodeholic wrote:I think it would make totally sense to make another table on the Game of Life Status page in the wiki to keep track of gfind/afind searches, their results, including negative, and in the comments below who performed it, when, and using which tool. This way we could avoid doing double work.
Code: Select all
x = 21, y = 32, rule = B3/S23
8bo3bo$7bo5bo$8bo3bo$8b2ob2o2$5b2o7b2o$5b5ob5o$6bob2ob2obo$2b2o4b2ob2o
4b2o$3b4o7b4o$3b2ob2o5b2ob2o$6b2o5b2o$bo2bo11bo2bo$o3b2o9b2o3bo$b2obo
11bob2o$4bo11bo$2bo15bo$3bobo9bobo$4bo11bo$4b2o9b2o$2o3bo2b2ob2o2bo3b
2o$4bob3o3b3obo$o3bob2obobob2obo3bo$b2obo4bobo4bob2o$2bobobo2bobo2bobo
bo$3b2obob2ob2obob2o$4bobo7bobo$7bo5bo$5bo9bo$5bo3bobo3bo$6bo2bobo2bo$
7b3ob3o!
That is what I was afraid of. It seems that my afind build has a bug.Sokwe wrote:At (3,0)c/6, odd-symmetry, width-21 you should have at least found the following ship:
Of course, not!Sokwe wrote:Edit: I hope you don't mind that I updated your table to include the results that I known about.
Did you do search of this type with WLS?Sokwe wrote:I also added a "gutter" column for bilateral symmetry with an empty column down the center of the spaceship.
Great! Thank you for your contribution! I think after adding references we can move this table onto the Game of Life Status page.Sokwe wrote:(1,0)c/6 and (2,0)c/6 have question marks because I think they are minimal, but I haven't yet been able to show it. All other results were checked by me personally with gfind except for (1,0)c/7 asymmetric (checked by Josh Ball using WLS) and the entire (3,0)c/7 row (checked by Paul Tooke using gfind). I also double checked the results for periods 1-4 and (2,0)c/5 with WLS.
I also added a 'Known spaceships by height' section, which gives the minimum-possible or maximum-searched height for ships of periods < 8. These were all checked by myself using WLS.
I mostly used gfind to check the table. There is a mode in gfind that allows this type of search (the "w" symmetry). For example, "B3/S23/o5/n2/l70/w" searches for a width-15 2c/5 ship with a "gutter".codeholic wrote:Did you do search of this type with WLS?Sokwe wrote:I also added a "gutter" column for bilateral symmetry with an empty column down the center of the spaceship.