Database of All Completed and Ongoing *find Searches

For discussion of specific patterns or specific families of patterns, both newly-discovered and well-known.
AforAmpere
Posts: 1334
Joined: July 1st, 2016, 3:58 pm

Re: Database of All Completed and Ongoing *find Searches

Post by AforAmpere » February 21st, 2019, 10:27 pm

Sokwe wrote: I would generally recommend running gutter searches before asymmetric searches. If the gutter search finds nothing, then it also eliminates an asymmetric ship of that width.
I know that gutter essentially also runs asymmetric, but I prefer to do asymmetric first as it is generally a lot shorter, and I can get that bit out of the way first, even though it is unnecessary.
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

User avatar
2718281828
Posts: 738
Joined: August 8th, 2017, 5:38 pm

Re: Database of All Completed and Ongoing *find Searches

Post by 2718281828 » February 22nd, 2019, 1:06 pm

Reporting negative result for 2c/7 width 21, using zfind3.
Best partial is rather long (length 90):

Code: Select all

x = 224, y = 90, rule = B3/S23
10bo25bo5bo16bo9bo12bo11bo10bo13bo10bo13bo18bo24bo24bo$10bo24b2o5b2o
15bo9bo11bobo9bobo9bo13bo10bo13bo18bo24bo24bo$9bobo22bo2bo3bo2bo13bobo
7bobo13bo7bo11bobo11bobo8bobo5bo5bobo16bobo22bobo22bobo$5bo4bo4bo19b3o
bob3o15bo9bo10bo3b2o5b2o3bo8bo5b3o5bo10bo5b3o5bo18bo24bo24bo$3b2obo3bo
3bob2o15bob2o2bo2b2obo13bo9bo9bobo13bobo7bo5b3o5bo10bo4b2ob2o4bo18bo
24bo24bo$3b2o2bo5bo2b2o13b2obo4bo4bob2o10b3o7b3o11bo11bo9bo5bo3bo5bo8b
o5b2ob2o5bo16b3o22b3o$5bo2bo3bo2bo21b2ob2o15b2ob2o5b2ob2o9b2ob2o5b2ob
2o13bo5bo16b2o2bobo2b2o13b4o2bobo2b4o15b2ob2o19b3ob3o$5bo2bo3bo2bo14bo
6bo3bo6bo9bobo7bobo12bo9bo9b3o2bo2bobo2bo2b3o6b2o2b2ob5ob2o2b2o8bo2b2o
2bobo2b2o2bo11b2o2bobo2b2o15bo2bobo2bo$6b2o5b2o42bo2bo7bo2bo32bob2obo
5bob2obo12b2o5b2o16bo9bo14bo3bobo3bo15bob2ob2obo$3bob2o7b2obo13bo6bobo
6bo9b4obo3bob4o12b3o3b3o10b2ob2o3bobo3b2ob2o12bo5bo19bo5bo15bobobo3bob
obo14b2o5b2o$2bo2bo9bo2bo20bo18bob2obobob2obo12b2ob2ob2ob2o9b2obo3b2ob
2o3bob2o11b2o5b2o13bo3b3o3b3o3bo8b3o11b3o12b2o5b2o$3bo3bo5bo3bo18b2o3b
2o15bo2bobobobo2bo11bobobobobobobo8b3o4b2ob2o4b3o9bo11bo10b5o2bo3bo2b
5o6bo17bo10b3o5b3o$32bo4bo3bo4bo9bobo3b2ob2o3bobo8b2obobobobobob2o39b
2ob2o13bo3b2o2b2ob2o2b2o3bo5bo2b2o9b2o2bo10bo9bo$5bobo5bobo16b4o7b4o
10bobo9bobo9b2obobo3bobob2o12b2o5b2o14bo3b2ob2o3bo9bob2o4b2ob2o4b2obo
9bo9bo12b3o9b3o$6bo7bo16bo15bo9b3o2bo3bo2b3o12bobo3bobo16b2o3b2o17bob
2ob2obo12b3o4b2ob2o4b3o7b2o13b2o8bo2bo3bobo3bo2bo$31bo3b2o5b2o3bo11b4o
3b4o11bo2b2o2bo2b2o2bo8bo4b3ob3o4bo13bo5bo14bo15bo7bo17bo8b2o2b2o3b2o
2b2o$4bo11bo14bo2bo9bo2bo14bo3bo13bo4bo5bo4bo8bo5bobo5bo17bo19bo3bo3bo
3bo9bobo13bobo13bobobo$3b3o9b3o15bo11bo34bo4bo5bo4bo10bo9bo17bo3bo18b
3o5b3o9b2ob2o4b3o4b2ob2o9b3obobob3o$3b2o2bo5bo2b2o17bo7bo14bo11bo9b5o
7b5o13b2ob2o14bo4bo5bo4bo12b3o5b3o12bob2o7b2obo16bobo$4b2ob2o3b2ob2o
17b2o7b2o13b2o9b2o8b3o2b2o5b2o2b3o8b2o3bobo3b2o8b2ob2o2b2obob2o2b2ob2o
31bo2b4o5b4o2bo9bo3b2ob2o3bo$5bo2bo3bo2bo17bo11bo11bob2o7b2obo7b3o13b
3o8b2o9b2o9bo3b3o5b3o3bo14b2ob2o13b2o4bo5bo4b2o9bo2bob3obo2bo$6bo7bo
17bo13bo11bobo7bobo9bo15bo8bo13bo8bo3b2obo3bob2o3bo12bo7bo11bobobo3bob
o3bobobo8bob3o5b3obo$6b3o3b3o16b2ob2o7b2ob2o14bo3bo12b2ob2o9b2ob2o9bo
9bo11bo3b2obobob2o3bo13bo2bobo2bo13b3o9b3o9bob3o7b3obo$7bobobobo24b3o
19b2o5b2o10b2ob2o9b2ob2o6b2o13b2o10b2ob2o3b2ob2o12b4o7b4o8b2o2bo9bo2b
2o8bob2o7b2obo$33bo4bobo4bo34bo15bo11b3o3b3o14bobo7bobo11b2ob2o2bobo2b
2ob2o6b2o4bob5obo4b2o5b3ob2o7b2ob3o$7bo5bo21b2o5b2o15bo9bo39bo5bo13b3o
11b3o38bo7bo11b3obo9bob3o$7b3ob3o20b3o5b3o13bob2o5b2obo11b2o9b2o10b2o
11b2o8b2o4b7o4b2o10bobob2ob2obobo13bo4bo4bo12bobo9bobo$9bobo22b5ob5o
13bo2b2o3b2o2bo11bob2o5b2obo9bo2b3ob3ob3o2bo7b2obo4b3o4bob2o10b2o9b2o
12b3o3bo3b3o9b3ob2o7b2ob3o$6b2obobob2o20bob2ob2obo14b3obo3bob3o10bo3bo
5bo3bo9bobo2b2ob2o2bobo9b2obo4bo4bob2o10bo2bo7bo2bo11bo5bo5bo8b2o3bobo
5bobo3b2o$9bobo22b2o7b2o37bo3bo3bo3bo15b2ob2o17bo2bo3bo2bo12b3o11b3o9b
3o9b3o7b3o4bo5bo4b3o$36b3ob3o14b3o9b3o12bo7bo12b3o9b3o15bo3bo15bo2b2o
7b2o2bo12bo7bo12b2o3bo5bo3b2o$8bobobo24b2ob2o14bo15bo11bo7bo12b3o9b3o
15bo3bo15b2ob2ob2ob2ob2ob2o34bo3bo5bo3bo$4b4o5b4o15b3obo5bob3o9b5o2bob
o2b5o10b2ob2ob2ob2o12bo11bo9b3o13b3o8b2o4b2ob2o4b2o11bobo5bobo13bo2bo
5bo2bo$3bo2bo2bobo2bo2bo14b2ob4ob4ob2o11bo3b2ob2o3bo12b2ob2ob2ob2o34b
3o2b3o3b3o2b3o10bo4bobo4bo14b3o3b3o14b2obo5bob2o$2bobo4bobo4bobo14b3o
2bobo2b3o15bobobobo17bo5bo15b3o5b3o12bo4bo3bo4bo13bo3bobo3bo14bo3bobo
3bo$bo2bo4bobo4bo2bo14bo2b2ob2o2bo15b2obobob2o12bo2b9o2bo10bob2o5b2obo
16bo3bo15b3o3bo3bo3b3o7b2o15b2o14bobo$bo8bo8bo18bobo18bobobobobobo11bo
bo4bo4bobo9bo3bo5bo3bo11bo3bo3bo3bo10bo2b2o9b2o2bo6bobo3bobobobo3bobo
11b2obobob2o$bo3b3o5b3o3bo12b2o2bobobobo2b2o11bo11bo11bo2bo5bo2bo12b2o
7b2o11bob2obo5bob2obo8bo3bo9bo3bo6bobob2o2bobo2b2obobo12bobobobo$2bo2b
obobobobobo2bo14bo4bobo4bo14b2o5b2o16b7o16b2obobob2o12bo3b2o5b2o3bo9b
2o5b3o5b2o12b2obobob2o18b2ob2o$2bo15bo12b2o3b2o3b2o3b2o32b2o13b2o11b3o
bob3o14b2o2bo3bo2b2o11bob2o2bo3bo2b2obo8bobo4bobo4bobo$3bobo9bobo13b2o
bo9bob2o11bo9bo9b4o3bo3bo3b4o8bo4bobo4bo13bo2bo3bo2bo11b5o2bo3bo2b5o6b
2ob4obobob4ob2o14b3o$3bobo9bobo12bo3bo9bo3bo9bob2o5b2obo7b3obo3bo3bo3b
ob3o7bo2b2obob2o2bo35bo6bo3bo6bo6bo5bobobobo5bo10b4o3b4o$5bob2o3b2obo
15bobo11bobo9b2ob2o5b2ob2o14b2ob2o15bo2b2o3b2o2bo14b3o3b3o12b2o6bobo6b
2o5b2ob2o2bobobobo2b2ob2o9bobobobobobo$4b2o9b2o15bo13bo11bo3b5o3bo16bo
bo18bo2bobo2bo16bob2ob2obo13bob2o9b2obo8b2o5bobo5b2o13b3ob3o$4bo2bo5bo
2bo15b5o5b5o12b4o3b4o10b2o3bobobobo3b2o8b2o2bobobobo2b2o8b3o2bobo3bobo
2b3o9b2obobo3bobob2o9b2obo3bobo3bob2o10b2o2b5o2b2o$31b3o11b3o7b2o6bobo
6b2o6b2obobobobobobob2o7b7o3b7o6bobobo3bo3bo3bobobo7bo6bobo6bo8b2ob2o
2bobo2b2ob2o13bo5bo$2b2o13b2o11bo4bo7bo4bo6b4o4bobo4b4o7b2o11b2o7bo17b
o6bo2bob3obob3obo2bo14bobobo12b2o3bo9bo3b2o8b2ob2obob2ob2o$b2ob2obo5bo
b2ob2o11b2obo9bob2o15bobo16bobo7bobo7bob4o9b4obo9bo4bo4bo14b2ob7ob2o8b
3o2b2o3bo3b2o2b3o11bo2bo2bo$2b4o9b4o12bo2b2o7b2o2bo9bo5bobo5bo9bo2bo7b
o2bo7b2ob2o9b2ob2o8bo6bo6bo11bobo3bobo3bobo12b2o3bo3b2o14b2o7b2o$4b3o
7b3o15bo13bo11bo11bo9b3o2bobobobo2b3o9bo11bo12bo5bo5bo11b3o3b2ob2o3b3o
11bo2bo3bo2bo15bobo3bobo$5bo2bo3bo2bo16bo3bo5bo3bo12b3obobob3o38b3o3b
3o11b3o6bo6b3o7b3o3bobobobo3b3o6b3o3bobobobo3b3o12bo5bo$5b5ob5o21bo3bo
18bo2bobo2bo41bo3bo13bob2o5bo5b2obo8bo3b3o3b3o3bo8bo15bo11bobo5bobo$5b
o3bobo3bo14b2ob2obo5bob2ob2o6b3o5b3o5b3o30bo6b3o6bo7bo17bo35bo4b3o4bo
13b2ob5ob2o$4b2o2bo3bo2b2o12bo2b3ob7ob3o2bo5b2o4b2o3b2o4b2o105b3o2b3o
3b3o2b3o12b2o3b2o$3b2o11b2o11bob2o3b2o3b2o3b2obo6b2o3b2obob2o3b2o138bo
3bo$4bo2bo5bo2bo13b3o13b3o160bo7bo$3bo4bo3bo4bo13b2o3bo5bo3b2o160b4o3b
4o$3bo5bobo5bo15b2o2b5o2b2o$2bob3obo3bob3obo13b3o9b3o161b4o3b4o$bo3b2o
7b2o3bo12b3o9b3o160b2o4bo4b2o$b3o2b2o5b2o2b3o10bo5bo5bo5bo161bobobobo$
4b2o9b2o14bo3bobo3bobo3bo161bo7bo$5b2obo3bob2o15bo3bo2bobo2bo3bo157b5o
7b5o$5b2o7b2o18bobobobobobo159bob3o9b3obo$6b2o5b2o191bo2b2o2bo2b2o2bo$
8bo3bo21b2o7b2o158b3o15b3o$7bobobobo21bo7bo164bo9bo$7bo5bo18bo3bo5bo3b
o158bobob2o5b2obobo$36b2o3b2o161b6obo3bob6o$5b3o5b3o15b2obobo5bobob2o
155bo2bo3b2obob2o3bo2bo$4bo11bo15bo13bo158b2o5bobo5b2o$3b7ob7o16bobo5b
obo158bo2bo2b3obob3o2bo2bo$3bob3o2bo2b3obo186bo3b4o3b4o3bo$5bobobobobo
bo$3b2o3b2ob2o3b2o$2bo6b3o6bo$b2o15b2o$2bobo11bobo$2b2o6bo6b2o$3bo5bob
o5bo$4b2o2bo3bo2b2o$b2ob2o2bobobo2b2ob2o$b2o3bobo3bobo3b2o$b3ob2o2b3o
2b2ob3o$2o3bo3b3o3bo3b2o$6bo3bo3bo$4bo3bo3bo3bo$2bo5bo3bo5bo$b3ob2o7b
2ob3o$bo7b3o7bo!
But there are multiple suitable front ends that might give a ship at width 23.

Sokwe
Moderator
Posts: 2645
Joined: July 9th, 2009, 2:44 pm

Re: Database of All Completed and Ongoing *find Searches

Post by Sokwe » February 24th, 2019, 1:30 am

2718281828 wrote:Reporting negative result for 2c/7 width 21, using zfind3.
That's disappointing. I had high hopes for that search. How long did it take? Are you going to run the width-23 gutter search?

By the way, I've been trying to search for a width-19 symmetric c/8 orthogonal ship with qfind. My search has been running for I think about 4 months now (using 7 threads) and has only reached a depth of 40 which corresponds to 5 complete rows. I don't expect this to find a ship any time soon, so my plan is to take the latest dump file and extend all width-19 partials at width 17. Tim Coe did this for c/6 ships with moderate success. However, I don't plan on doing this immediately. Here is the latest dump file from the search if anyone wants to play around with it:
p8-k1-w10-u-dump.txt
(219.4 KiB) Downloaded 410 times
I am also running the width-17 search with a fixed deepening amount of 16 and saving at each new depth. Then for each depth I can add a few width-19 rows and then reduce back down to width-17.

Another possibility is to run the width-19 gutter search and then switch to a width-17 symmetric (non-gutter) search, but I won't try this until I've finished trying the two previous ideas.
-Matthias Merzenich

User avatar
2718281828
Posts: 738
Joined: August 8th, 2017, 5:38 pm

Re: Database of All Completed and Ongoing *find Searches

Post by 2718281828 » February 24th, 2019, 12:48 pm

Sokwe wrote:
2718281828 wrote:Reporting negative result for 2c/7 width 21, using zfind3.
That's disappointing. I had high hopes for that search. How long did it take? Are you going to run the width-23 gutter search?
Calculations: 48716330456539
CPU time: 1256952.420226 seconds

So about two weeks. The general problem with ntzfind is the high memory usage, I had to play around quite a lot to get this search to run. Unfortunately I did not get it work for gutter symmetric ships. Still, I started a width-23-gutter search using knight2. My experience for medium-sized (logical width around 8) is that zfind is faster than knight2 which is faster than gfind. So I expect this search to take more time, approx. 1-2 months.
However don't have a lot hope as the width-21 symmetric search was negative. As width 20 symmetric search was also 'negative' (only weekender was found) it gives me the feeling that the weekender is a quite isolated 'stability island'.

For c/7 a logical width of 10 is required for odd-symmetric ships, for 3c/7 a logical width of 15 is required. So regarding this I think it is quite likely something between 10 and 15 should be sufficient (I know Life math is not that simple, still...), and now we know 11 does not work.

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

Re: Database of All Completed and Ongoing *find Searches

Post by AforAmpere » February 24th, 2019, 7:28 pm

C/9 w8 g was negative. The search took 259906 seconds. Some of the longer partials:

Code: Select all

x = 308, y = 58, rule = B3/S23
6bo3bo20bo3bo18bo7bo15bo5bo16bo5bo13bo9bo13b2o5b2o17b2o5b2o12b2o5b2o
15b2o5b2o14b2o5b2o18b2o5b2o17bo3bo3bo3bo$5bobobobo18bobobobo16bobo5bob
o13bobo3bobo14bobo3bobo11bobo7bobo11bo2bo3bo2bo15bo2bo3bo2bo10bo2bo3bo
2bo13bo2bo3bo2bo12bo2bo3bo2bo16b4o3b4o15bo3b2o3b2o3bo$53bo2bo3bo2bo15b
2ob2o19bobo14bobo7bobo11bo2bo3bo2bo14bo4bobo4bo8bo4bobo4bo11bo4bobo4bo
10bo4bobo4bo14b2o2bo3bo2b2o13bo3b2obobob2o3bo$7bobo22bobo19b2o5b2o13b
2ob2ob2ob2o12b2obo3bob2o11bo9bo13b2o5b2o14b3obobobobob3o6b3obobobobob
3o9b3obobobobob3o8b3obobobobob3o12b3obo5bob3o12bo15bo$3obo2bobo2bob3o
8b3obo2bobo2bob3o34b2o7b2o12bo9bo$4b3o3b3o16b3o3b3o15bobo5bobo13bo2bob
o2bo12b2o9b2o10bo9bo40bo5bo14bo5bo17bo5bo16bo5bo16bo13bo13bo2b2o5b2o2b
o$2bobo7bobo12bobo7bobo13bo2bo3bo2bo14bobobobo13b2o9b2o9bobo7bobo10b2o
2b2ob2o2b2o15bob2ob2obo12bob2ob2obo15bob2ob2obo13b2ob2ob2ob2o15bo11bo
18b2o3b2o$2b2ob2o3b2ob2o12b2ob2o3b2ob2o13bobo5bobo13bobo3bobo11b2o11b
2o7bo2bo7bo2bo9b2o2b2ob2o2b2o14b3o5b3o10b3o5b3o13b3o5b3o11bob3o3b3obo
13b2o11b2o18bo3bo$2b2ob2o3b2ob2o12b2ob2o3b2ob2o13b3o5b3o12b3o5b3o9bo3b
o7bo3bo7bobo7bobo10bo2bo5bo2bo14b2o7b2o10b2o7b2o13b2o7b2o11bo3bo3bo3bo
46bo3bo$52bobo7bobo14bo3bo13bo3bo5bo3bo9b2o7b2o13b2obobob2o18bo5bo9b2o
2bo7bo2b2o11b2o5b2o11b2o11b2o14b2o7b2o16bo2bo5bo2bo$51b2ob2o5b2ob2o10b
ob2o3b2obo14bo5bo13b3o5b3o11bo4bobo4bo32b4obo5bob4o8b2ob2o5b2ob2o7bo2b
o9bo2bo13b3o5b3o15b3o9b3o$4bo7bo41bo7bo13b3obobob3o10bo3bo5bo3bo8b5o3b
5o10b2obo5bob2o13bobobo3bobobo7bo2bo7bo2bo9bo2bo7bo2bo8b2obo7bob2o15b
2o5b2o15b4o9b4o$2b3o7b3o16bo3bo62bobo7bobo12b3ob3o13bo2bo5bo2bo13bo2b
2o3b2o2bo9bo9bo12bo2bo5bo2bo13bo5bo18b2obo3bob2o14b2o13b2o$28b2ob2ob2o
b2o35bobo9bobo9bobo7bobo10bo2bo3bo2bo11bobo7bobo13bo4bobo4bo9b2o7b2o
15b2o3b2o14b2ob2ob2ob2o16bobo5bobo16bo3bo3bo3bo$3b2o7b2o60b4o7b4o10bo
9bo11bo2bo3bo2bo11bob2obobob2obo16b3ob3o12b2o7b2o12bo3b2ob2o3bo12bob2o
b2obo44bo4bobo4bo$3b2obo3bob2o12bobob3ob3obobo14bo5bo14b4o3b4o10b2o11b
2o8bo3bo3bo3bo14bo3bo18b3obobob3o8bo13bo10b2o3bobo3b2o39b2o5b2o16b3o3b
obo3b3o$2bobo2bobo2bobo14bo2bobo2bo15bo2bo3bo2bo10bo3bobobobo3bo10bo9b
o10b2ob2o3b2ob2o10bob2o5b2obo13bo2bobobobo2bo7bo13bo9b2o4bobo4b2o8b2ob
obo3bobob2o11b3o2b2o3b2o2b3o12bob2o2bobo2b2obo$6bo3bo18b3o3b3o14b2o3bo
bo3b2o9bobobobobobobobo10bo9bo10b2o9b2o8b3ob2o5b2ob3o11bo4bobo4bo8bobo
7bobo9b3ob2obobob2ob3o7bo5bobo5bo11b2obobo5bobob2o13bo4bobo4bo$2bobo7b
obo15b2o3b2o15bo3bo3bo3bo10bo4bobo4bo11b3o5b3o10b2obo5bob2o8bo2bo3bobo
3bo2bo10b4o2bobo2b4o8b3o5b3o10b3o4bobo4b3o6b2obo3bobo3bob2o16bo3bo20b
3obobob3o$2bob2o5b2obo38b2o7b2o13b2obobob2o11bo2b2o5b2o2bo9b4o3b4o38bo
9bo10bob2o3b2obo17bobo15bob2o5b2obo18b2ob2o18bobo2bo3bo2bobo$2bo2bo5bo
2bo14b3o3b3o15b3o5b3o12bobobobobobo10bob2o7b2obo12bo3bo12bo15bo13bo7bo
9b3o9b3o10b2ob2o3b2ob2o10bobob2ob2obobo41bo5bobo5bo$3b2o7b2o14bobo5bob
o14b3o5b3o11bobob2ob2obobo10bobo7bobo10b3o5b3o14bo5bo18bobo3bobo9b2o2b
o5bo2b2o12bo7bo13b3o5b3o15b3o2bobo2b3o13b2o3b2o3b2o3b2o$3b2o7b2o18bobo
15b2o2bo7bo2b2o8bo2bobobobo2bo10b2o9b2o9bo11bo9bo2b2obobob2o2bo11bo3b
3ob3o3bo6b2obo7bob2o9bo13bo10b2o7b2o14b2o11b2o13b2o4bobo4b2o$3bo9bo13b
o3b2ob2o3bo11b2o11b2o12bobobobo13bo11bo8b2ob2o5b2ob2o9bo2b3ob3o2bo11bo
bo2bobobobo2bobo8b3o3b3o12bo4bo3bo4bo8b2o11b2o13b2o2b2ob2o2b2o$2bobo7b
obo12bo11bo10bo3b2o5b2o3bo7bo2b2obobob2o2bo8b2o11b2o10bo7bo13b3obobob
3o12bobo3bo3bo3bobo6bo3bo3bo3bo10b3ob3ob3ob3o$2bobo7bobo17bobo15bob2o
9b2obo6bo4b2o3b2o4bo7bo2bo2bobo2bo2bo8bo11bo11b2ob2ob2ob2o15bobo5bobo
9bo4bobo4bo$3bobo5bobo13bo2b3ob3o2bo13bo9bo10bo3bo5bo3bo9b2obobobobob
2o9bo2bo5bo2bo11bo9bo12bobob2o5b2obobo5bo3b3ob3o3bo$5bo5bo15bob2o5b2ob
o13bo9bo15bo3bo36b3o7b3o9bob2o7b2obo10bo2b2o7b2o2bo5bo2bo2bobo2bo2bo$
3bo2bo3bo2bo14bo9bo14bobo5bobo10b2o2bo5bo2b2o9b2obo5bob2o9bo11bo8bo3bo
7bo3bo13b2o5b2o8b3obo2bobo2bob3o$3b2obo3bob2o14bo9bo15b3o3b3o11bo3bo5b
o3bo10b4o3b4o9b3obo5bob3o8b2o2bo5bo2b2o11bo3b3ob3o3bo5bo2b3obobob3o2bo
$5bo5bo15bob2o5b2obo10bo3bo7bo3bo8bobo7bobo11bo9bo9b3o2bo3bo2b3o9bo2bo
5bo2bo$b3o2bo3bo2b3o35bo2b2o5b2o2bo33b2o7b2o13bo5bo13b2ob2o3b2ob2o$31b
o3bo18b3o3b3o13bo9bo15bo3bo14bobo5bobo12b2obo3bob2o$2bo11bo13b2obo3bob
2o16b2o3b2o13bob4ob4obo12bo7bo12b2o7b2o10b2o4bobo4b2o$28bo9bo15b2obobo
b2o10bo3b4ob4o3bo8bo3bo3bo3bo10b2o7b2o10b2obo2bobo2bob2o$52b2o3bobo3b
2o8bo2b4o3b4o2bo9bo2bo3bo2bo8b4o3bobo3b4o$51bo3bo5bo3bo8bob2o7b2obo11b
o2bobo2bo14b3ob3o$52bo11bo10b2ob2o3b2ob2o13bobobobo13bobo5bobo$51bo4bo
3bo4bo9b2o2bo3bo2b2o15bobo$51bo13bo11bo7bo11b2o4bobo4b2o$56bo3bo13b3o
2bo3bo2b3o9b2o2bo3bo2b2o$51bo2b2obobob2o2bo9b2o9b2o10bo3b2ob2o3bo$52b
2o3bobo3b2o12b3o3b3o12b2obobobobob2o$52bo2b3ob3o2bo10bo2b2o3b2o2bo8bob
obo7bobobo$51bob2o2bobo2b2obo$52bo2b3ob3o2bo$54bo2bobo2bo$54bo2bobo2bo
$51bob2obo3bob2obo$51b2o3bo3bo3b2o$53bo9bo$52bo3bo3bo3bo$52bo3b2ob2o3b
o$53bo2bo3bo2bo$51b2ob2o5b2ob2o$51b3ob2o3b2ob3o!
The full search is attached. I have hopes that the longest partial is extendable at a higher width.

EDIT, longer partial found by extending:

Code: Select all

x = 17, y = 63, rule = B3/S23
4bo7bo$3bobo5bobo$3bo2bo3bo2bo$4b2o5b2o2$3bobo5bobo$3bo2bo3bo2bo$3bobo
5bobo$3b3o5b3o$2bobo7bobo$b2ob2o5b2ob2o$4bo7bo4$5bo5bo$3bo2bo3bo2bo$2b
2o3bobo3b2o$2bo3bo3bo3bo$3b2o7b2o$3b3o5b3o$3b3o5b3o$2o2bo7bo2b2o$b2o
11b2o$o3b2o5b2o3bo$ob2o9b2obo$3bo9bo$3bo9bo$3bobo5bobo$4b3o3b3o$o3bo7b
o3bo$bo2b2o5b2o2bo$4b3o3b3o$5b2o3b2o$5b2o3b2o$4bo7bo$2bob4ob4obo$5bo5b
o$bo2b4ob4o2bo2$3b2o7b2o$bob2o7b2obo$o3bo7bo3bo$bobo9bobo$2b3o7b3o$5b
2o3b2o$5b3ob3o$b2o2bobobobo2b2o$3ob2obobob2ob3o$2bo4bobo4bo$2b2o9b2o$
3bo4bo4bo$2b2o4bo4b2o$2b2ob2obob2ob2o$8bo$6b2ob2o$2ob2obo3bob2ob2o$bo
5b3o5bo$5bo5bo$bob3ob3ob3obo$2o3bo5bo3b2o2$2o2bo2b3o2bo2b2o!
Attachments
c9w8g.txt
(327.32 KiB) Downloaded 378 times
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

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

Re: Database of All Completed and Ongoing *find Searches

Post by AforAmpere » February 27th, 2019, 8:29 pm

No extension of this pattern at w9u gives a spaceship:

Code: Select all

x = 15, y = 13, rule = B3/S23
$3bo7bo$2bobo5bobo$2bo2bo3bo2bo$3b2o5b2o2$2bobo5bobo$2bo2bo3bo2bo$2bob
o5bobo$2b3o5b3o$bobo7bobo$2ob2o5b2ob2o$3bo7bo!
I had hoped it would be a promising frontend, and it may be for higher widths, but not w9u.
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

User avatar
2718281828
Posts: 738
Joined: August 8th, 2017, 5:38 pm

Re: Database of All Completed and Ongoing *find Searches

Post by 2718281828 » February 28th, 2019, 4:58 pm

Reporting negative results for 2c/8 asymmetric width 9 using knight2.
Finally reported partial is surprisingly short:

Code: Select all

x = 9, y = 16, rule = B3/S23
bo2bobobo$6bobo$bobobobo$o3b2o$2b2o$2b2ob2o$6b2o2$bo3bo$ob2o$ob4o$bo2$
2bobo$3bo$3bo!
Edit1: use knightt not knght2
Last edited by 2718281828 on March 4th, 2019, 10:10 am, edited 1 time in total.

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

Re: Database of All Completed and Ongoing *find Searches

Post by AforAmpere » March 3rd, 2019, 5:05 pm

I ran C/8 w9 u again with zfind 3 just to be sure. Of course, no ships. The search took 926490 seconds.

EDIT, p10 k1 x1 w7 a is negative. Best partial:

Code: Select all

x = 6, y = 19, rule = B3/S23
3bo$2bobo$2bo2bo$4bo$2bobo$bo2bo$4bo2$o3b2o$4b2o$4bo$b2ob2o$o3bo$4bo$
4bo$o3b2o$obob2o$bo3bo$2b3o!
And p11 k4 x1 w8 a:

Code: Select all

x = 7, y = 16, rule = B3/S23
2bo$2b2o$b4o$4b2o$obo2bo$b3ob2o$b2ob2o2$4bo$2bo2bo$2bo3bo$2b5o$4bobo$b
3obo$3b2obo$2b2o!
And w9 a:

Code: Select all

x = 8, y = 21, rule = B3/S23
3bo$3b2o$2b4o$5b2o$bobo2bo$2b3ob2o$2b2ob2o$3bo$3b3obo$2bo$5bobo$3bob2o
$3b2o$4bo$b2o$b2ob2o$3ob2o$2bo$2b4o$bo5bo$o3b2obo!
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

User avatar
Hdjensofjfnen
Posts: 1742
Joined: March 15th, 2016, 6:41 pm
Location: re^jθ

Re: Database of All Completed and Ongoing *find Searches

Post by Hdjensofjfnen » March 4th, 2019, 12:27 am

AforAmpere wrote: EDIT, p10 k1 x1 w7 a is negative. Best partial:

Code: Select all

x = 6, y = 19, rule = B3/S23
3bo$2bobo$2bo2bo$4bo$2bobo$bo2bo$4bo2$o3b2o$4b2o$4bo$b2ob2o$o3bo$4bo$
4bo$o3b2o$obob2o$bo3bo$2b3o!
Interestingly, that uses a frontend similar to my failed p3 I posted in the Sandbox.

Code: Select all

x = 5, y = 9, rule = B3-jqr/S01c2-in3
3bo$4bo$o2bo$2o2$2o$o2bo$4bo$3bo!

Code: Select all

x = 7, y = 5, rule = B3/S2-i3-y4i
4b3o$6bo$o3b3o$2o$bo!

Sokwe
Moderator
Posts: 2645
Joined: July 9th, 2009, 2:44 pm

Re: Database of All Completed and Ongoing *find Searches

Post by Sokwe » March 4th, 2019, 1:32 am

2718281828 wrote:Reporting negative results for 2c/8 asymmetric width 9 using knight2.
According to Tim Coe, knight2 doesn't work properly at 2c/8 (see here).
2718281828 wrote:Additionally 'negative' 2c/7 even symmetric width 20 [meaning only the weekender exists], using knight2
Only knightt can show that no other ships exist. Did you use knightt or knight2 for this search?
2718281828 wrote:The general problem with ntzfind is the high memory usage, I had to play around quite a lot to get [the 2c/7 width-21 search] to run. Unfortunately I did not get it work for gutter symmetric ships.
What did you have to do to get it to run? Did you modify the program in any way? I would think that the gutter search would be easier or at least very similar.
-Matthias Merzenich

User avatar
2718281828
Posts: 738
Joined: August 8th, 2017, 5:38 pm

Re: Database of All Completed and Ongoing *find Searches

Post by 2718281828 » March 4th, 2019, 2:42 am

Sokwe wrote:
2718281828 wrote:Reporting negative results for 2c/8 asymmetric width 9 using knight2.
According to Tim Coe, knight2 doesn't work properly at 2c/8 (see here).
Actually I used knightt for this, using the command:
./knightt -p 8 -x 2 -y 0 -n -w 9 -d 60 -m 3 > kntt_p8x2_n_w9
Sokwe wrote:
2718281828 wrote:Additionally 'negative' 2c/7 even symmetric width 20 [meaning only the weekender exists], using knight2
Only knightt can show that no other ships exist. Did you use knightt or knight2 for this search?
Okay, here I used knight2, because it is faster. Thus, my statement was not correct.
Sokwe wrote:
2718281828 wrote:The general problem with ntzfind is the high memory usage, I had to play around quite a lot to get [the 2c/7 width-21 search] to run. Unfortunately I did not get it work for gutter symmetric ships.
What did you have to do to get it to run? Did you modify the program in any way? I would think that the gutter search would be easier or at least very similar.
To be honest, I don't know why odd-sym at a logical width of 11 works, but gutter not. I only played around with some memory parameters in the code and changed some long int's to the unsigned version. I did not change the main part.

User avatar
2718281828
Posts: 738
Joined: August 8th, 2017, 5:38 pm

Re: Database of All Completed and Ongoing *find Searches

Post by 2718281828 » March 5th, 2019, 10:20 am

Sokwe wrote:
2718281828 wrote:Additionally 'negative' 2c/7 even symmetric width 20 [meaning only the weekender exists], using knight2
Only knightt can show that no other ships exist. Did you use knightt or knight2 for this search?
I noticed that knightt can not do the job.
I used the command
./knightt -p 7 -x 2 -w 9 -d 60 -e > 2c7_w9_e
which should find even-symmetric 2c/7 ships of logical width of 9 (so actual width=18).
However, it does not return the weekender, only this partial:

Code: Select all

x = 18, y = 25, rule = B3/S23
5bo6bo$5bo6bo$4bobo4bobo$5bo6bo$5bo6bo$3b2o8b2o$3bo10bo$5bo6bo$2b2ob2o
4b2ob2o$bo2b3o4b3o2bo$bo14bo$2bob2o6b2obo$4bob2o2b2obo$3b2obo4bob2o$8b
2o$2b3ob6ob3o$2b2o2bob2obo2b2o$3b4ob2ob4o$4bo2b4o2bo$4b2o2b2o2b2o$4bo
8bo$4b2o6b2o$5bo6bo$3b3o6b3o$bo2bo8bo2bo!
However, Tim Coe mentioned that knightt works only for
"-x <XMOVE> The only speeds currently supported are 1/N and N/(2*N + 1), default XMOVE is 1"
so 2/7 is not working properly for knightt, only 1/7, 3/7. For 2/8 I don't know.

Post Reply