x = 17, y = 10, rule = B3/S23
b2ob2obo5b2o$11b4obo$2bob3o2bo2b3o$bo3b2o4b2o$o2bo2bob2o3b4o$bob2obo5b
o2b2o$2b2o4bobo2b3o$bo3b5ob2obobo$2bo5bob2o$4bob2o2bobobo!
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.
x = 11, y = 11, rule = B3/S23
4bo$5b2o$5bobo$7bo$o5bo2bo$b2o4bo2bo$bo2bo5bo$2b2obo2b3o$7b2o$4bo2bo$
5b3o!
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:Code: Select allx = 11, y = 11, rule = B3/S23
4bo$5b2o$5bobo$7bo$o5bo2bo$b2o4bo2bo$bo2bo5bo$2b2obo2b3o$7b2o$4bo2bo$
5b3o!
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.
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!
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!
x = 17, y = 10, rule = B3/S23
b2ob2obo5b2o$11b4obo$2bob3o2bo2b3o$bo3b2o4b2o$o2bo2bob2o3b4o$bob2obo5b
o2b2o$2b2o4bobo2b3o$bo3b5ob2obobo$2bo5bob2o$4bob2o2bobobo!
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!
x = 17, y = 10, rule = B3/S23
b2ob2obo5b2o$11b4obo$2bob3o2bo2b3o$bo3b2o4b2o$o2bo2bob2o3b4o$bob2obo5b
o2b2o$2b2o4bobo2b3o$bo3b5ob2obobo$2bo5bob2o$4bob2o2bobobo!
Saka wrote:After wls-ing around for the day, it found (still a partial):
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!
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.
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!
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."
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.
HartmutHolzwart wrote:Does someone have a copy of Nicolay's latest wls version?
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 allx = 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!
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!
codeholic wrote:Another concern I've got is that actually no one has ever proved whether gfind and afind work properly
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!
B3/S23/o3/n1/l72/a
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)
Scorbie wrote:Here's a short comment of mine about compiling the original afind source on windows:
http://www.conwaylife.com/forums/viewto ... 665#p21665
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.
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.
#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!
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!
codeholic 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.
codeholic wrote:codeholic 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.
I propose the following format: http://www.conwaylife.com/wiki/User:Codeholic/Sandbox
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!
Sokwe wrote:At (3,0)c/6, odd-symmetry, width-21 you should have at least found the following ship:
Sokwe wrote:Edit: I hope you don't mind that I updated your table to include the results that I known about.
Sokwe wrote:I also added a "gutter" column for bilateral symmetry with an empty column down the center of the spaceship.
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.
codeholic wrote:Sokwe wrote:I also added a "gutter" column for bilateral symmetry with an empty column down the center of the spaceship.
Did you do search of this type with WLS?
Users browsing this forum: calcyman and 7 guests