B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k

For discussion of other cellular automata.
User avatar
May13
Posts: 192
Joined: March 11th, 2021, 8:33 am

Re: B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k

Post by May13 » July 14th, 2021, 4:48 am

It really happened!
I found a p7 knightship:

Code: Select all

#C completed spaceship: xq7_yzy7of3e8zyzy3ooa8f554zyzy2oqp1zyzy1h9qmgzyzogece83211zywoqn31zywrlv8zyt1a9e11zypgst33zypgvhzylkumu93zyfggo8u8f02zycceo5vv6czyao8ckuvqazy9olf8011zy9clfb9zy1gg08o63qfzy1elvfm23zy0o8k6vzggttd01z013
#C Catagolue URL: https://catagolue.hatsya.com/object/xq7_yzy7of3e8zyzy3ooa8f554zyzy2oqp1zyzy1h9qmgzyzogece83211zywoqn31zywrlv8zyt1a9e11zypgst33zypgvhzylkumu93zyfggo8u8f02zycceo5vv6czyao8ckuvqazy9olf8011zy9clfb9zy1gg08o63qfzy1elvfm23zy0o8k6vzggttd01z013/b3acijy4-a5cjkr6-in78s2n3-c4-aijz5-jy6-k
#C breadth = 14
#CLL state-numbering golly
x = 56, y = 103, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
2bo$bob2o$obo$2bob2o$4b2o$3b4o$3b4o$5bobo$6b5o$6bo2bo$8b2o$8bo$7b
2ob2o$7bob2o$7b2obo$7b5o$6bobob3o$7b8o$7bo3b3o$10b3obo$13b2o$13bo$
13b3obo$15b3o$14b2o2bo$14bob2o$16bo2bo$14b6o$14b2obo$16b2o$15bo$
16bo$15b2ob4o$16b2ob3o$19bo2bo$17b2ob2o$20b2o$18bobo$18bob4o$18b3o
b3o$18b2obobo$21b3o$21bob3o$21bobobo$23bobo$25bo$25bob3o$27bobo$
26b5o$26b4o$29bo$28b5o$30b2o$30bo2$30b3o$31bo$30b4o$31bo2bo$31b3o$
32b4o$31b3o$33bobo$36bo$36b2o$34b3o$35b4o$37bob2o$37b3o$38bo$37b4o
$37bo$38b2o$38bobo$38bo$39b2o$39b2o$41b2o$41bo2bo$41b5o$44b2o$44bo
b3o$46bob2o$46b2obo$47bo$47b3o$46b3o$45b5o2$47bo$47b3o$48bo$46b2ob
o$48bobo2bo$48b4obo$51b3o$50bo$52b2o$50b6o$52b4o$52bobo$53b3o$53bo!
Does anyone know of any (2,1)c/7's from ikpx2? Or is it the first one discovered?
Edit: c/3 diagonal smaller spaceship, barberpolestretcher and repeating component:

Code: Select all

x = 133, y = 82, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
17$79b3o$79b2o$79bo$79bo$79b2o$80b5o$26b3o51b2o2b2o$26b4o53b2obo$26b4o
55b2o$27b5o54b2o$29bo56b2o$32bo53bo$29b3o54b5o$31b2o54b4o$31b6o50b2o$
33bo55b3o$4b5o23bo3bobo52b5o$4b2o2b3o80b2o2b2o$4bo4b2o27bobo53b2obo$9b
o86b2o$9bobo28bobo54b2o$97b2o$42bobo52bo$97b5o$44bobo51b4o$98b2o$46bob
o51b3o$102b5o$48bobo3bo47b2o2b2o$53bo51b2obo$50b6o51b2o$54b2o52b2o$55b
3o50b2o$54bo53bo$57bo50b5o$55b5o49b4o$57b4o48b2o$57b4o50b3o$58b3o52b5o
$113b2o2b2o$116b2obo$118b2o!
Edit 2: p2 extensible phoenix and barberpole:

Code: Select all

x = 53, y = 21, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
41b2o$42b2o$40bo$40bo$40bo$40bobo2$21b4o17bobo2$2b4o13bobo2bobo17bobo
2$obo2bobo9bobo6bobo17bobo$o6bo9bo10bo$o6bo9bo10bo19bobo$obo2bobo9bobo
6bobo$50bobo$2b4o13bobo2bobo25bo$52bo$21b4o27bo$49b2o$50b2o!

User avatar
May13
Posts: 192
Joined: March 11th, 2021, 8:33 am

Re: B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k

Post by May13 » July 17th, 2021, 7:50 am

New spaceships:
Two smaller c/7d's, alternative c/6d and smaller c/7o:

Code: Select all

x = 324, y = 232, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-kSuper
7$14.W$12.W.2W$11.2W2.W2.W$13.W.7W$10.2W3.5W.W183.W$11.12W180.W.2W$
13.3W.W.3W.W178.2W2.W2.W$13.6W2.2W181.W.7W$12.4W.2W.3W.3W174.2W3.5W.W
$13.4W2.W.W.W.W176.12W$13.W.2W.W.W2.3W178.3W.W.3W.W$13.7W.3W2.W177.6W
2.2W$15.W.2W2.6W.W174.4W.2W.3W.3W$16.W2.8W2.2W173.4W2.W.W.W.W$18.W.W.
7W.2W172.W.2W.W.W2.3W$18.3W.6W2.2W172.7W.3W2.W$18.W2.6W3.W.2W172.W.2W
2.6W.W$24.2W.W2.3W174.W2.8W2.2W$22.W.W3.5W176.W.W.7W.2W$23.W4.4W177.
3W.6W2.2W$23.10W4.W171.W2.6W3.W.2W$24.2W.4W.2W2.3W176.2W.W2.3W$26.3W.
7W2.W173.W.W3.5W$26.W4.3W.2W.W175.W4.4W$32.W.6W174.10W4.W$32.8W175.2W
.4W.2W2.3W$31.7W2.W.W174.3W.7W2.W$30.2W2.5W4.W173.W4.3W.2W.W$31.W.3W.
W.W.W.2W178.W.6W$32.W.2W2.3W3.W178.8W$36.W2.W2.W.2W176.7W2.W.W$38.W3.
4W.W173.2W2.5W4.W$36.W3.4W.3W174.W.3W.W.W.W.2W$37.2W2.3W.3W175.W.2W2.
3W3.W$38.4W2.W.3W.W176.W2.W2.W.2W$40.4W3.W2.2W177.W3.4W.W$42.3W.2W2.W
176.W3.4W.3W$41.6W2.4W175.2W2.3W.3W$44.W3.W3.W176.4W2.W.3W.W$47.W.7W
175.4W3.W2.2W$44.4W.W2.5W176.3W.2W2.W$45.W.W.W4.3W175.6W2.4W$47.4W3.
2W179.W3.W3.W$49.2W5.W181.W.7W$49.4W.2W.W.W175.4W.W2.5W$49.4W.3W2.2W
175.W.W.W4.3W$50.2W.W.4W.2W176.4W3.2W$54.W.W.6W176.2W5.W$56.2W.4W.W
175.4W.2W.W.W$54.2W.2W2.2W177.4W.3W2.2W$55.4W.W.5W.W172.2W.W.4W.2W$
56.4W.W.3W.W177.W.W.6W$57.4W.4W.W179.2W.4W.W$57.W2.5W180.2W.2W2.2W$
58.W.5W2.W2.2W174.4W.W.5W.W$60.3W5.3W176.4W.W.3W.W$60.W6.5W.W174.4W.
4W.W$61.2W.W.3W.W.2W174.W2.5W$60.W4.3W2.W.3W174.W.5W2.W2.2W$65.2W2.W
3.3W175.3W5.3W$64.5W.2W3.2W174.W6.5W.W$64.W.W3.3W.W.W175.2W.W.3W.W.2W
$67.2W2.2W178.W4.3W2.W.3W$66.4W3.W.2W.W177.2W2.W3.3W$68.2W.W3.2W178.
5W.2W3.2W$69.2W2.2W.W2.W175.W.W3.3W.W.W$70.2W.3W2.2W178.2W2.2W$77.3W.
2W174.4W3.W.2W.W$73.W2.3W.W178.2W.W3.2W$75.3W.W.2W177.2W2.2W.W2.W$78.
W.W.3W176.2W.3W2.2W$77.W.W2.W.W183.3W.2W$77.W.6W179.W2.3W.W$80.W.W.2W
180.3W.W.2W$80.6W4.3W176.W.W.3W$83.4W3.W.W175.W.W2.W.W$85.2W.2W.2W
175.W.6W$90.W180.W.W.2W$86.W.2W2.2W177.4W2.W.W$86.W.W.W.3W179.W3.2W$
84.2W.W.4W3.W178.W.W2.2W$84.W.W3.W2.W3.2W177.W.W.2W$84.3W.3W.2W.2W.W
176.2W3.W$88.2W.2W3.W.2W177.5W$89.W4.3W2.3W175.2W.2W.W$92.W.W.W.W.2W
181.2W$90.W.6W.W.W179.4W$91.W4.W.W2.4W177.4W$91.3W.W.2W.3W181.3W.W$
93.2W.W4.W.3W179.W3.2W$94.2W2.W.6W181.2W2.2W$94.8W3.2W178.W.W4.W$97.
2W.W.4W180.W3.3W.W$97.W.2W.4W.W178.W2.2W.2W.W$97.W.2W.7W178.W.W2.2W.W
$99.8W.W178.5W.2W.W2.2W$101.W2.4W.W.W178.6W.3W$103.2W.3W2.2W176.W2.2W
2.2W2.W.W$104.2W.7W176.2W.W.3W.4W$106.W.6W178.W.4W.2W$108.2W2.3W.W
176.6W.3W$106.4W.3W2.2W175.W3.2W2.2W$107.7W.2W175.2W.2W$108.9W175.W.
4W3.W$110.W2.2W.3W176.W.2W.2W.W$112.2W.W2.2W174.2W.2W3.2W$110.5W.4W
181.5W$111.W2.W.5W182.2W.W$114.4W2.W182.W.2W$115.3W.W.2W181.7W$117.2W
2.3W3.W178.W.W.W$119.6W2.2W177.6W$119.4W.3W.W177.W.4W$120.2W4.W.W177.
6W$121.2W3.2W180.4W.2W$122.W3.4W184.2W$122.4W.4W180.W.W2.W$120.2W2.5W
.W.3W176.2W.6W$121.3W.4W.6W176.W.2W.2W$125.2W2.W2.2W.W177.2W4.W$126.
3W2.W2.W.W.W175.2W.W$128.W.2W4.3W175.2W$127.3W5.3W176.W.W$127.3W7.2W$
127.2W.W5.5W$128.2W2.W4.2W.2W$130.3W.W.2W.5W$131.9W2.4W$130.2W.3W.W.
6W$134.W.4W.3W.2W$134.3W.W5.2W$135.2W.2W2.6W$136.4W.2W.W$136.4W.W3.2W
$137.2W.3W.2W$137.W.3W.2W.W$139.W.W.W.2W$141.W5.2W$147.3W$148.2W41$
28.U$26.2U$25.2U.2U$25.U.2U$23.5U$23.4U.U$21.4U2.U$20.2U.2U.U.2U68.2W
2.2W$20.U.2U.U.U.U65.W2.6W2.W$19.U.2U.U.U4.2U66.W2.W$21.U4.2U.4U2.U
59.4W4.4W$29.2U.U2.2U59.2W6.2W$28.2U.2U2.U60.W.2W2.2W.W$28.4U4.2U61.W
2.W$36.U$36.5U56.3W2.3W$29.3U5.5U55.2W.2W.2W$30.U.3U4.3U57.4W$32.U.2U
2.U2.U56.W.2W.W$34.2U.2U2.2U56.4W$34.3U5.3U54.W2.W$34.3U3.8U50.W4.W$
35.4U.4U2.3U46.W.W2.2W2.W.W$38.5U.U.U.U45.6W2.6W$39.3U.2U.U52.W2.W$
39.2U.2U.U.U47.W2.6W2.W$40.U3.3U48.2W.6W.2W$40.4U.3U46.3W2.4W2.3W$40.
2U2.U.2U51.4W$41.2U5.U47.W3.2W3.W$97.2W4.2W$96.4W2.4W$96.2W6.2W$96.2W
6.2W!
And c/6d partial:

Code: Select all

x = 39, y = 39, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
2o$3o$b4o6b2o$2bo5bob2o$2bob3ob6o$4b2ob2ob2o$4bobo3bo$5bo3b2o$3b3o2b5o
$4bo2b2o2bo3b2o$3b6obo2b6o$2b4o2b2ob2o2b2o$2bobo3bo2bob6o$4bo5bob4ob3o
$10bob2o3bob3o$9b5o6bo$9b4o7b3o$10bob3o8b2o$10bob2o6bob3obo$13b2o4b10o
$14b3ob2o3b5o$14bobo2bo6b3o$16bob2o4b6o$17b4o2b3obobo$17b4ob2o2bob4o$
19b2ob2ob4o2b2o$18b5ob2obo3b4o$19b5ob3o3b3o2bo$19bob2ob2o2bo3b2o2bo$
22b3o4bobobo2b3o$24bo5bo3b4o$24b4obo4bo2bo$25b4o5b3o$26b4o5bo$26bo3b3o
$30bob2o$27b4obo$29b3o$29bo!
I have checked that the smallest known symmetric 3c/7o for width 17 is also minimal for width 19.
Also, no c/7d's for bounding box 80x80 and diagonal width 9.

User avatar
breaker's glider gun
Posts: 129
Joined: May 23rd, 2021, 10:26 am
Location: the inside of a stuffed anaconda or maybe [click to not expand]

Re: B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k

Post by breaker's glider gun » September 16th, 2021, 4:00 pm

I love the "deep freeze:"

Code: Select all

x = 937, y = 3, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
bobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobob
obobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobo
bobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobob
obobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobo
bobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobob
obobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobo
bobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobob
obobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobo
bobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobob
obobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobo
bobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobob
obobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobo
bobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobob
obobobobobobobobobobobobobobobobobobobo$937o$bobobobobobobobobobobobo
bobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobob
obobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobo
bobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobob
obobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobo
bobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobob
obobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobo
bobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobob
obobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobo
bobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobob
obobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobo
bobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobob
obobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobo
bobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobobob
obobobobobobobo!
he knows to draw the string all the way back.

1234
!@#$
(my one, two, three, and four keys don't work) :{

User avatar
May13
Posts: 192
Joined: March 11th, 2021, 8:33 am

Re: B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k

Post by May13 » September 27th, 2021, 10:05 am

New prime periods, p31, p33 (is not prime number, but 3x11) and p41, based on T guns:

Code: Select all

x = 118, y = 38, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
20bo38bo43bo$18b5o34b5o39b5o$18b5o34b5o39b5o$20bo38bo43bo$20bo38bo43bo
$20bo37b3o41b3o$20bo38bo43bo$20bo38bo43bo$b2o16b3o37bo43bo$b2o2bo3bo
10bo19b2o16b3o$11o8b3o18b2o2bo3bo10bo$b2o2bo3bo9b3o17b11o53bo$b2o37b2o
2bo3bo32b2o20bo$40b2o39b2o2bo9bo7bo$80b9o2b6o6bo$81b2o2bo9bo6b3o$81b2o
20bo2$68b2o$61bo3bo2b2o$60b11o$28b2o20bo10bo3bo2b2o24bo20b2o$9b3o9bo3b
o2b2o19b3o16b2o23b3o6bo9bo2b2o$9b3o8b11o19bo43bo6b6o2b9o$10bo10bo3bo2b
2o20bo43bo7bo9bo2b2o$9b3o16b2o20bo43bo20b2o$10bo38b3o42bo$10bo39bo$10b
o39bo$10bo37b5o41bo$10bo37b5o41bo$8b5o37bo43bo$8b5o80b3o$10bo83bo$94bo
$92b5o$92b5o$94bo!
And p49, oscillator is large, but period is also new:

Code: Select all

x = 115, y = 115, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
98bo$96b5o$96b5o$98bo$98bo$97b3o$98bo$98bo$98bo3$98bo$98bo$98bo$b2o95b
o$b2o2bo9bo20b2ob2o21bobo23b2o7b3o$9o2b6o21b3o19bob4o19b5o8bo$b2o2bo9b
o20b2ob2o21bobo23b2o$b2o7$15b3o$15b3o$16bo$16bo$16bo7$97bobo$97bobo$
98bo$97b3o$97b3o9$16bo$15b3o$16bo$15b3o2$16bo6$98bo2$97b3o$98bo$97b3o$
98bo9$15b3o$15b3o$16bo$15bobo$15bobo7$98bo$98bo$98bo$97b3o$97b3o7$112b
2o$25b2o23bobo21b2ob2o20bo9bo2b2o$16bo8b5o19b4obo19b3o21b6o2b9o$15b3o
7b2o23bobo21b2ob2o20bo9bo2b2o$16bo95b2o$16bo$16bo$16bo3$16bo$16bo$16bo
$15b3o$16bo$16bo$14b5o$14b5o$16bo!

Related p62+372n:

Code: Select all

x = 70, y = 163, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
10bo38bo$8b5o34b5o$8b5o34b5o$10bo38bo$10bo38bo$10bo38bo$10bo38bo$10bo
38bo$9b3o16b2o18b3o16b2o$10bo10bo3bo2b2o19bo10bo3bo2b2o$9b3o8b11o17b3o
8b11o$9b3o9bo3bo2b2o18b3o9bo3bo2b2o$28b2o37b2o9$b2o37b2o$b2o2bo3bo9b3o
18b2o2bo3bo9b3o$11o8b3o17b11o8b3o$b2o2bo3bo10bo19b2o2bo3bo10bo$b2o16b
3o18b2o16b3o$20bo38bo$20bo38bo$20bo38bo$20bo38bo$20bo38bo$18b5o34b5o$
10bo7b5o26bo7b5o$9b3o8bo27b3o8bo$10bo38bo$10bo38bo$10bo9bo28bo$10bo7b
5o26bo$18b5o$20bo$20bo$20bo$20bo$20bo$b2o16b3o$b2o2bo3bo10bo$11o8b3o$b
2o2bo3bo9b3o$b2o9$28b2o$9b3o9bo3bo2b2o$9b3o8b11o$10bo10bo3bo2b2o$9b3o
16b2o$10bo$10bo$10bo$10bo$10bo$8b5o$8b5o$10bo60$59bo$57b5o$57b5o$59bo$
59bo$59bo$59bo$59bo$40b2o16b3o$40b2o2bo3bo10bo$39b11o8b3o$40b2o2bo3bo
9b3o$40b2o9$67b2o$48b3o9bo3bo2b2o$48b3o8b11o$49bo10bo3bo2b2o$48b3o16b
2o$49bo$49bo$49bo$49bo$49bo$47b5o$47b5o$49bo!
Negative spaceship search results:
2c/9 diagonal: diagonal width 7 (Edit: 8 ), bilaterial symmetry (RLS)
c/9 diagonal: diagonal width 7, bilaterial symmetry (RLS)
c/10 diagonal: diagonal width 6, glide-reflect and bilaterial symmetry (RLS)
Best partial results:

Code: Select all

x = 188, y = 43, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-kSuper
60.3A$59.2A.A65.I40.I3.I$.A57.A.2A2.A.A60.I.I40.3I$4A55.6A62.5I38.2I.
3I$.3A58.A2.A60.3I.2I38.I.I.2I$.4A57.A.A62.5I2.I34.3I.2I$3.2A56.A.A.
2A61.I.I.2I37.6I$5.3A57.3A59.I.4I.I.I34.2I.2I$5.4A52.A4.3A58.I.I.3I
40.I.5I$5.3A.2A56.2A.2A57.I.I2.2I40.5I$6.A.A60.2A60.I.3I40.6I$7.A2.A.
2A54.2A.4A58.2I.I39.6I.I$7.A.6A53.A.5A61.4I36.4I2.2I$10.2A58.2A.2A.2A
59.I.I38.2I.2I$9.2A3.4A52.3A.4A59.4I39.4I.3I$9.2A2.5A52.4A3.3A57.4I.I
36.2I.5I$10.A.4A.2A54.A.A2.3A57.6I39.I2.2I$12.8A52.2A3.4A.A55.5I.I37.
2I$12.2A.2A.4A50.3A.A.A.2A58.I3.2I36.3I$12.4A2.3A53.9A56.I.2I.2I.I34.
I.I$14.4A.2A53.3A.6A59.6I$15.4A.A54.9A56.I3.I.4I$16.4A57.4A.3A59.3I.
4I$16.A59.A.6A61.2I.3I$79.9A56.2I$81.A.7A56.2I$83.2A2.A2.A$83.2A.A.A.
A.A$83.3A.5A$84.A.9A$84.A2.3A.3A$85.4A.4A$87.4A.2A.A$86.A.4A2.2A.A$
88.4A.2A.2A$88.A3.3A2.2A$91.2A2.5A$93.A.A2.2A$92.4A.5A$94.6A$95.5A$
97.A$97.A!
Another c/9d partial (diagonal width 8, ongoing) and (2,1)c/8 partial:

Code: Select all

x = 113, y = 78, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-kSuper
2.A$.A.2A$A.3A$.6A$.4A.2A$3.A3.A$3.2A2.A$4.4A.2A$8.3A$7.5A$7.5A$9.4A$
11.A.3A$12.A.2A2.2A$12.4A.A.A$12.5A.4A$15.2A.A2.A$14.A2.A.2A$13.A.2A
4.2A$13.3A.A3.4A$15.A.A3.A.2A$15.2A.4A.3A$18.2A2.2A2.A$19.6A.A$19.3A.
2A.3A$21.A3.A.3A$22.3A.3A.A$24.5A.3A$24.9A$25.A2.3A.3A$26.4A.4A$27.2A
.4A70.pA$27.6A2.2A65.3pA$29.3A.A.4A63.2pA$29.2A4.5A61.pA.pA$32.5A.4A
60.3pA$32.8A63.3pA$33.2A.2A2.A61.4pA$33.4A2.2A62.pA$34.3A.A.A61.pA2.pA
$35.A.3A2.A.A57.3pA.2pA$35.A5.2A4.A56.pA.pA$40.3A2.A.A55.5pA$44.3A.A
55.5pA$40.A2.2A.2A56.2pA.pA.pA$42.2A.2A.2A56.6pA$43.4A.3A55.pA.pA.2pA
$41.2A.A3.3A.A52.pA.pA2.pA$43.A.4A.3A52.4pA.3pA$45.3A.5A53.5pA$46.5A.
2A52.pA.3pA.pA$48.2A2.A$47.6A$49.2A2.3A$53.3A.A$53.2A.4A$55.4A.A$54.
3A.4A$55.3A2.2A.A$55.A.A.2A.3A$56.5A.4A$57.2A2.A2.4A$59.2A3.A2.A$58.
3A3.5A$59.10A$60.2A.4A.2A.A$61.A.3A5.2A$61.4A3.4A$63.3A.7A$65.A.2A2.
3A$67.2A.A.5A$65.5A4.A.2A$66.A.3A3.3A$68.3A2.3A$70.6A$70.A.3A$70.3A$
71.A!
Edit: p89 K gun:

Code: Select all

x = 170, y = 167, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
30bo$28bobobo$29bobo$27b7o$30bo14$82bo13bo$80b5o9b5o$80b5o9b5o$82bo13b
o$82bo13bo$29b3o49b3o11b3o$28b5o49bo13bo$28b2ob2o48b3o11b3o$28bobobo$
30bo51bo13bo12$80bobo13bobo$80b4o11b4o$80b4o11b4o$79bo2bo13bo2bo$78b3o
bo13bob3o$77b2obo17bob2o$30bo30bo15b2ob2o15b2ob2o15bo$29b3o7b2o18bobo
16b4o15b4o16bobo18b2o$28b5o4b2o21b2o15bob3o15b3obo15b2o21b2o$29b3o5b2o
bo17b2ob2o14b2o21b2o14b2ob2o17bob2o$37b2o21b2o15bob3o15b3obo15b2o21b2o
$39b2o18bobo16b4o15b4o16bobo18b2o$61bo15b2ob2o15b2ob2o15bo$77b2obo17bo
b2o$78b3obo13bob3o$79bo2bo13bo2bo$80b4o11b4o39b3o$80b4o11b4o39b3o$80bo
bo13bobo38bo3bo$137bobobo$b2o55b2o$b2o3b2ob2ob2o6bo2b3obob3obob3o2bo6b
2ob2ob2o3b2o$4o2b3o2b3o7b3ob11ob3o7b3o2b3o2b4o$b2o3b2ob2ob2o6bo2b3obob
3obob3o2bo6b2ob2ob2o3b2o$b2o55b2o6$82bo13bo2$81b3o11b3o$82bo13bo$b2o
55b2o21b3o11b3o$b2o3b2ob2ob2o6bo2b3obob3obob3o2bo6b2ob2ob2o3b2o22bo13b
o$4o2b3o2b3o7b3ob11ob3o7b3o2b3o2b4o21bo13bo$b2o3b2ob2ob2o6bo2b3obob3ob
ob3o2bo6b2ob2ob2o3b2o20b5o9b5o40bo$b2o55b2o20b5o9b5o38bobobo$82bo13bo
41bobo$136b7o$139bo8$29b3o$28b5o$29b3o$30bo4$135b2ob3ob2o$134b4obob4o$
133b2o2b2ob2o2b2o$110b2o18b3ob5ob5ob3o18b2o$110b2o2bobo14b2o3b3ob3o3b
2o14bobo2b2o$109b8obo11b5o9b5o11bob8o$110b2o2bobo14b2o13b2o14bobo2b2o$
110b2o55b2o4$75bo13bo$73b5o9b5o$73b5o9b5o$30bo44bo13bo$28bobobo42bo13b
o$28b2ob2o41b3o11b3o$28b5o42bo13bo20b2o55b2o$29b3o42b3o11b3o19b2o2bobo
14b2o13b2o14bobo2b2o$109b8obo11b5o9b5o11bob8o$75bo13bo20b2o2bobo14b2o
3b3ob3o3b2o14bobo2b2o$110b2o18b3ob5ob5ob3o18b2o$133b2o2b2ob2o2b2o$134b
4obob4o$135b2ob3ob2o8$73bobo13bobo$73b4o11b4o$73b4o11b4o$29b5o38bo2bo
13bo2bo$28b2obobo37b3obo13bob3o$28b4o2b2o34b2obo17bob2o$34b2o18bo15b2o
b2o15b2ob2o15bo$31b3obo16bobo16b4o15b4o16bobo18b2o6bo$31bobo19b2o15bob
3o15b3obo15b2o21b2ob7o$31b3o17b2ob2o14b2o21b2o14b2ob2o17bob2o3bobo$33b
o19b2o15bob3o15b3obo15b2o21b2o2bobobo$52bobo16b4o15b4o16bobo18b2o6bo$
54bo15b2ob2o15b2ob2o15bo$70b2obo17bob2o$71b3obo13bob3o$72bo2bo13bo2bo$
73b4o11b4o$73b4o11b4o$73bobo13bobo12$75bo13bo2$74b3o11b3o$75bo13bo$74b
3o11b3o$75bo13bo$75bo13bo$73b5o9b5o$73b5o9b5o$75bo13bo!
Longest 2c/9 diagonal partial for diagonal width 8:

Code: Select all

x = 28, y = 28, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-kSuper
2.A$.4A3.A$2A2.2A.A$.A.A.2A$.2A.A.2A$2.2A.5A$3.9A$2.A.6A2.2A$.A3.4A.
4A$5.3A.2A.4A$6.A.2A.4A.A$6.A.A.2A3.2A$7.4A.5A.A$7.4A.4A2.3A$9.2A.6A.
A$9.A.9A$10.3A.2A.2A$14.4A.A$12.2A.2A3.A.2A$13.3A.A.3A.4A$13.A4.7A.A$
19.2A.2A3.A$18.A.5A.2A$18.7A.A$19.2A.3A$19.A$19.2A.2A$21.2A!
Edit 2: smaller p49 + new p61:

Code: Select all

x = 202, y = 90, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
o3bo3bobobo43bo$54b5o$o3bo3bo3bo41b5o$56bo$obobo3bobobo43bo$55b3o$4bo
7bo43bo$56bo$4bo3bobobo43bo3$56bo$56bo$56bo$31b2o23bo$31b2o3bo9b2o7b3o
$30b8o5b5o8bo$31b2o3bo9b2o$31b2o3$70b2o$55b2o9bo3b2o$46bo8b5o5b8o$45b
3o7b2o9bo3b2o$46bo23b2o$46bo$46bo$46bo3$46bo$46bo$46bo$45b3o$46bo$46bo
$44b5o$44b5o$46bo11$obobo5bo176bo$185b5o$o7bobo174b5o$187bo$obobo5bo
175bobo$186bobo$o3bo5bo175bobo$187bo$obobo3bobobo173b3o$187bo$187bo$
186b3o$31b2o154bo$31b2o2b2o7bobo7bob2o29bo26b2ob2o27bobo29b2o$30b7o5bo
b4o6b4o25b6o27b3o25bob4o25b5o$31b2o2b2o7bobo7bob2o29bo26b2ob2o27bobo
29b2o$31b2o11bo$43b3o$43b3o140bobo$44bo141bobo$43bobo141bo$43bobo140b
3o$186b3o$187bo11b2o$52b2o29bobo27b2ob2o26bo29b2obo7bobo7b2o2b2o$52b5o
25b4obo25b3o27b6o25b4o6b4obo5b7o$52b2o29bobo27b2ob2o26bo29b2obo7bobo7b
2o2b2o$44bo154b2o$43b3o$44bo$44bo$43b3o$44bo$43bobo$43bobo$43bobo$44bo
$42b5o$42b5o$44bo!
Edit 3: p34:

Code: Select all

x = 63, y = 45, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
52bo$50b5o$50b5o$52bo2$52bo$51b3o$52bo$b2o48b3o$b2o2b2o6b2o12b2ob2o13b
ob2o$4ob10o14b3o13b4o$b2o2b2o6b2o12b2ob2o13bob2o2b3o$b2o49bo$10bo40b3o
$9b3o40bo$10bo$10bo$10bo$10bo8$52bo$52bo$52bo$52bo$10bo40b3o$9b3o40bo$
10bo49b2o$9b3o2b2obo13b2ob2o12b2o6b2o2b2o$14b4o13b3o14b10ob4o$14b2obo
13b2ob2o12b2o6b2o2b2o$9b3o48b2o$10bo$9b3o$10bo2$10bo$8b5o$8b5o$10bo!
Last edited by May13 on September 28th, 2021, 1:03 am, edited 1 time in total.

User avatar
FWKnightship
Posts: 1022
Joined: June 23rd, 2019, 3:10 am
Location: Hey,wait!! Where am I!? Help! Somebody help!I'm lost!!

Re: B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k

Post by FWKnightship » September 28th, 2021, 12:31 am

May13 wrote:
September 27th, 2021, 10:05 am
Edit: p89 K gun:

Code: Select all

x = 170, y = 167, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
30bo$28bobobo$29bobo$27b7o$30bo14$82bo13bo$80b5o9b5o$80b5o9b5o$82bo13b
o$82bo13bo$29b3o49b3o11b3o$28b5o49bo13bo$28b2ob2o48b3o11b3o$28bobobo$
30bo51bo13bo12$80bobo13bobo$80b4o11b4o$80b4o11b4o$79bo2bo13bo2bo$78b3o
bo13bob3o$77b2obo17bob2o$30bo30bo15b2ob2o15b2ob2o15bo$29b3o7b2o18bobo
16b4o15b4o16bobo18b2o$28b5o4b2o21b2o15bob3o15b3obo15b2o21b2o$29b3o5b2o
bo17b2ob2o14b2o21b2o14b2ob2o17bob2o$37b2o21b2o15bob3o15b3obo15b2o21b2o
$39b2o18bobo16b4o15b4o16bobo18b2o$61bo15b2ob2o15b2ob2o15bo$77b2obo17bo
b2o$78b3obo13bob3o$79bo2bo13bo2bo$80b4o11b4o39b3o$80b4o11b4o39b3o$80bo
bo13bobo38bo3bo$137bobobo$b2o55b2o$b2o3b2ob2ob2o6bo2b3obob3obob3o2bo6b
2ob2ob2o3b2o$4o2b3o2b3o7b3ob11ob3o7b3o2b3o2b4o$b2o3b2ob2ob2o6bo2b3obob
3obob3o2bo6b2ob2ob2o3b2o$b2o55b2o6$82bo13bo2$81b3o11b3o$82bo13bo$b2o
55b2o21b3o11b3o$b2o3b2ob2ob2o6bo2b3obob3obob3o2bo6b2ob2ob2o3b2o22bo13b
o$4o2b3o2b3o7b3ob11ob3o7b3o2b3o2b4o21bo13bo$b2o3b2ob2ob2o6bo2b3obob3ob
ob3o2bo6b2ob2ob2o3b2o20b5o9b5o40bo$b2o55b2o20b5o9b5o38bobobo$82bo13bo
41bobo$136b7o$139bo8$29b3o$28b5o$29b3o$30bo4$135b2ob3ob2o$134b4obob4o$
133b2o2b2ob2o2b2o$110b2o18b3ob5ob5ob3o18b2o$110b2o2bobo14b2o3b3ob3o3b
2o14bobo2b2o$109b8obo11b5o9b5o11bob8o$110b2o2bobo14b2o13b2o14bobo2b2o$
110b2o55b2o4$75bo13bo$73b5o9b5o$73b5o9b5o$30bo44bo13bo$28bobobo42bo13b
o$28b2ob2o41b3o11b3o$28b5o42bo13bo20b2o55b2o$29b3o42b3o11b3o19b2o2bobo
14b2o13b2o14bobo2b2o$109b8obo11b5o9b5o11bob8o$75bo13bo20b2o2bobo14b2o
3b3ob3o3b2o14bobo2b2o$110b2o18b3ob5ob5ob3o18b2o$133b2o2b2ob2o2b2o$134b
4obob4o$135b2ob3ob2o8$73bobo13bobo$73b4o11b4o$73b4o11b4o$29b5o38bo2bo
13bo2bo$28b2obobo37b3obo13bob3o$28b4o2b2o34b2obo17bob2o$34b2o18bo15b2o
b2o15b2ob2o15bo$31b3obo16bobo16b4o15b4o16bobo18b2o6bo$31bobo19b2o15bob
3o15b3obo15b2o21b2ob7o$31b3o17b2ob2o14b2o21b2o14b2ob2o17bob2o3bobo$33b
o19b2o15bob3o15b3obo15b2o21b2o2bobobo$52bobo16b4o15b4o16bobo18b2o6bo$
54bo15b2ob2o15b2ob2o15bo$70b2obo17bob2o$71b3obo13bob3o$72bo2bo13bo2bo$
73b4o11b4o$73b4o11b4o$73bobo13bobo12$75bo13bo2$74b3o11b3o$75bo13bo$74b
3o11b3o$75bo13bo$75bo13bo$73b5o9b5o$73b5o9b5o$75bo13bo!
Smaller:

Code: Select all

x = 55, y = 61, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
12bo13bo25bo$10b5o9b5o21b5o$10b5o9b5o21b5o$12bo13bo25bo$12bo13bo25bo$
11b3o11b3o23b3o$12bo13bo25bo$12bo13bo25bo$12bo13bo25bo3$12bo13bo25bo$
12bo13bo25bo$12bo13bo25bo$12bo13bo25bo$11b3o11b3o23b3o$12bo13bo25bo6$
12bo13bo25bo$12bo13bo25bo$12bo13bo25bo$11b3o11b3o23b3o$11b3o11b3o23b3o
2$2bo33bo$b3o31b3o$4o31b4o$b3o31b3o$2bo33bo2$11b3o11b3o23b3o$11b3o11b
3o23b3o$12bo13bo25bo$12bo13bo25bo$12bo13bo25bo6$12bo13bo25bo$11b3o11b
3o23b3o$12bo13bo25bo$12bo13bo25bo$12bo13bo25bo$12bo13bo25bo3$12bo13bo
25bo$12bo13bo25bo$12bo13bo25bo$11b3o11b3o23b3o$12bo13bo25bo$12bo13bo
25bo$10b5o9b5o21b5o$10b5o9b5o21b5o$12bo13bo25bo!
I made a payosha256 key in Catagolue so I can upload hauls in my name now.
https://www.conwaylife.com/forums/searc ... Knightship

User avatar
May13
Posts: 192
Joined: March 11th, 2021, 8:33 am

Re: B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k

Post by May13 » September 28th, 2021, 7:50 am

The thinnest possible odd-bilateral symmetric 2c/7o's, full width 15:

Code: Select all

x = 50, y = 77, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
6bo35bo$4bobobo31b5o$40bobobo$3b3ob3o26b5obob5o$4b2ob2o30b2obob2o$2b2o
5b2o26bobobobobobo$2b2o5b2o26b2obobobob2o$3b2o3b2o28b2ob3ob2o$3b2o3b2o
29b2obob2o$6bo31b3o3b3o$4b5o28b4o3b4o$5b3o29b4o3b4o$4b5o28b3ob3ob3o$4b
o3bo31b2ob2o$3bobobobo29bo2bo2bo$2b3o3b3o28bo5bo$2b4ob4o30b3o$2b2o2bo
2b2o26b3obobob3o$3bo5bo27b3ob3ob3o$2b9o25bob9obo$4b2ob2o29b2o5b2o$2bo
2b3o2bo26b11o$2ob2o3b2ob2o24b3obobob3o$2b3o3b3o25b3ob5ob3o$2b2o2bo2b2o
27b2obobob2o$2b4ob4o25b2o3bobo3b2o$2b2obobob2o25bob4ob4obo$4b2ob2o30b
7o$4b5o31bobobo$6bo32bob3obo$5bobo30bob2ob2obo$3b7o27bob2obob2obo$6bo
32bobobobo$5bobo31b2obob2o$4b2ob2o32bobo$4b2ob2o32b3o$5bobo33b3o$2b9o
28bob3obo$4bobobo29bo3bo3bo$3bo5bo28bob5obo$3b2o3b2o29b7o$2b9o30b3o$5b
obo30b3obob3o$3bobobobo29b2o3b2o$4b5o31b5o$4b2ob2o31bo3bo$4b2ob2o31b5o
$3b2obob2o31b3o$3bo2bo2bo29bob3obo$3bo5bo29bob3obo$2b3o3b3o27b3obob3o$
38b3o3b3o$3b2o3b2o29bo5bo$3b3ob3o$4bobobo29b2o5b2o$4bo3bo30b2o3b2o$3bo
b3obo29b3ob3o$5b3o32b2ob2o$3b2obob2o30bobobo$2bo2bobo2bo29b5o$4b5o30b
2obob2o$4b5o30bo5bo$b2ob5ob2o27b2obob2o$ob3o3b3obo25b2ob3ob2o$bob7obo
24bob3obob3obo$bob3ob3obo24b13o$2o2bo3bo2b2o24b2o2bobo2b2o$bob3ob3obo
25b5ob5o$bo2b2ob2o2bo23b5obobob5o$bo2b5o2bo25b5ob5o$2o9b2o25b2obobob2o
$bob2o3b2obo24b5obob5o$4bobobo28b5ob5o$5b3o30b4ob4o$5b3o32bobobo$41b3o
$42bo!
Negative result for bilateral-symmetric 2c/9 diagonal, diagonal width 9:

Code: Select all

x = 50, y = 50, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
o$b2o$b2obo$3b3o$2b5o$3b2o3b2o$4bo2b2o$6b2ob2o$5b2ob2o$5bob3obobo$7bo
2b4obo$9b2o3b2obo$10bobobob2o$9b2o6b2o$11b2o3b3obo$10b2o4b3ob2o$12bob
8o$11b8ob2ob2o$13b6ob5o$16bo2bo2b3o$14b5ob4o$15b4ob7obo$18b4ob5o$17b7o
bo2bobo$17b3ob2ob7o$21b4o3b2o2b2o$21b2obo2b6o$22bobob3o4bo$21bob7obo2b
3o$24b3ob5ob2o$23b2obo2b3ob4o$26bob8o$25b2o2bob3o2bobo$25bobo2b3o2b2o$
28b4o4bo$28b4obob6o2bo$28bobob6o4b2o$35b3ob3ob2o$32bo2bo3b5o2bo$35bob
5obob2o$35bob8o2bo$37b5ob7o$36bobobo3b3o$35b7obob3o$37bo2b3obobo$39bob
3o$38b2ob4o$40b2obo$41bo$41bo!
Long c/9d partial, unfortunately, impossible to complete (diagonal width 8 ):

Code: Select all

x = 76, y = 76, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
b2ob2o$2ob3o$ob2o2bo$b3ob2o$2o4b2o$2obob3o$2b5o$4b2obo$8bo$9b2o$9b2o2b
o$11bob2o$14b4o$10b2obobob3o$11b2obob6o$12b2o4bobo$12bobobo$12b3o6bo$
13b3o2bob3o$13b2o5bobo$14b2o2b4ob2o$14bo2b2ob2ob2obo$18b2o2b3o$20b9o$
20b5o$23bo4bobo$21bobo2b2ob3o$23bo2b2ob3o$23bobo4bobo$26b2ob4o$25b5o2b
2o$26b2obo3b2o$28b3obob4o$30b2o2b3o$31b5ob2o$32b7o$32b2ob2ob4o$32bob2o
b4o$34b8o$36b7o$36b9o$36bob5ob2o$39b3o3b2o$40bo2bob2o$40b2o2bo2b2obo$
41b3obob4o$42b2o4b4o$44b2o4b3o$44b3ob4o2bo$45b2ob3ob2obo$44b8ob3o$46b
3ob5obo$47bobob3obo$49b7obo$48bob2ob5o2bo$49b2ob9obo$51bo2b2o2bob3o$
53b3o2b5o$55b9o$55bob5o$54b10obo$56b6ob3o2bo$55b4obob2o2b2o$58bob6ob2o
$61bob3obo2bo$60b2ob7ob2o$62bo2b3ob3o$62b8ob3o$61bobobob4ob3o$65b8o$
64bobob3o2bobo$65b3obo2b2o$65bob3obo$67b2ob2o$68bo$70bo!
Longer (2,1)c/8 partials:

Code: Select all

x = 39, y = 32, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
4bo21bo$2bob2o18b3o$b2o2b2o17b2o$5o19bo$o3bo17b4o$b2o2bo16b2o$obobo17b
ob2o$2b4o15b2obob2o$2b4o16bob2obo$2b4o16b2ob2o$ob3o18b3ob2o$2o2b2o18b
2ob3o$bo2b2o17bob3obo$b4o22b4o$b2ob2o21bo2bo$2b4o20bobo$2bobo21b4o$2b
3o20b3o$b4o21b4ob2o$2ob2o24b4o$2b3o23b5o$3b5o20bo2b2o$2b6o20b3ob2o$5b
4o19b7o$4b2ob2o20b2o2b2o$5b3o2bo18b2ob2o$4bobo2b2o20bo$7bo2b2o17b2ob4o
$6bo2b2o18b3ob2o$7bo2bo19b3o2bobo$6b2o3b3o18b3obo$7bo2b3o17b3o5bo!
p94:

Code: Select all

x = 81, y = 81, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
67bo$65b5o$65b5o$67bo$67bo$66b3o$67bo$67bo$67bo3$b2o64bo$b2o2bo9bo43bo
2bo4bo$9o2b6o43b4o3bo$b2o2bo9bo43bo2bo4bo$b2o63b3o$67bo$13bo$12b3o$13b
o$13bo$12bobo38$66bobo$67bo$67bo$66b3o$67bo$13bo$12b3o63b2o$13bo4bo2bo
43bo9bo2b2o$13bo3b4o43b6o2b9o$13bo4bo2bo43bo9bo2b2o$13bo64b2o3$13bo$
13bo$13bo$12b3o$13bo$13bo$11b5o$11b5o$13bo!
Edit: p82 (not p89!) K gun:

Code: Select all

x = 45, y = 55, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
2bo21bo13bo$5o17b5o9b5o$5o17b5o9b5o$2bo21bo13bo$2bo21bo13bo$b3o19b3o
11b3o$2bo21bo13bo$2bo21bo13bo$bobo19bobo11bobo$bobo19bobo11bobo$bobo
19bobo11bobo$bobo19bobo11bobo$2bo21bo13bo$2bo21bo13bo$b3o19b3o11b3o$2b
o21bo13bo10$20bo21bo$19b3o19b3o$18b4o19b4o$19b3o19b3o$20bo21bo10$2bo
21bo13bo$b3o19b3o11b3o$2bo21bo13bo$2bo21bo13bo$bobo19bobo11bobo$bobo
19bobo11bobo$bobo19bobo11bobo$bobo19bobo11bobo$2bo21bo13bo$2bo21bo13bo
$b3o19b3o11b3o$2bo21bo13bo$2bo21bo13bo$5o17b5o9b5o$5o17b5o9b5o$2bo21bo
13bo!
Edit 2: qfind returned negative result for 2c/9, full width 13:

Code: Select all

$ ./qfind.exe -r B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k -p 9 -y 2 -w 7 -s o -t 2 -d 2c9ow7o -l 2c9ow7o00112
qfind v2.1 by Matthias Merzenich, 3 May 2021
Input: D:\CGoL\cygwin64\home\qfind.exe -r B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k -p 9 -y 2 -w 7 -s o -t 2 -d 2c9ow7o -l 2c9ow7o00112

State successfully loaded from file 2c9ow7o00112
Rule: B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
Period: 9
Offset: 2
Width:  7
Symmetry: odd
Dump state after queue compaction
Queue size: 2^20
Hash table size: 2^20
Minimum deepening increment: 9
Cache memory per thread: 32 megabytes
Number of threads: 2
Starting search
Queue full, depth 829, deepening 194, 131k/475k -> 88/11k
State dumped to 2c9ow7o00113
Queue full, depth 842, deepening 190, 131k/468k -> 86/11k
State dumped to 2c9ow7o00114
Queue full, depth 854, deepening 187, 131k/400k -> 74/11k
State dumped to 2c9ow7o00115
Queue full, depth 870, deepening 180, 131k/641k -> 81/11k
State dumped to 2c9ow7o00116
Queue full, depth 880, deepening 179, 131k/303k -> 86/10k
State dumped to 2c9ow7o00117
Queue full, depth 892, deepening 176, 131k/473k -> 83/10k
State dumped to 2c9ow7o00118
Queue full, depth 904, deepening 173, 131k/583k -> 87/11k
State dumped to 2c9ow7o00119
Queue full, depth 914, deepening 172, 131k/426k -> 89/11k
State dumped to 2c9ow7o00120
Queue full, depth 926, deepening 169, 131k/344k -> 89/12k
State dumped to 2c9ow7o00121
Queue full, depth 938, deepening 166, 131k/429k -> 84/12k
State dumped to 2c9ow7o00122
Queue full, depth 950, deepening 163, 131k/329k -> 97/11k
State dumped to 2c9ow7o00123
Queue full, depth 958, deepening 164, 131k/329k -> 96/10k
State dumped to 2c9ow7o00124
Queue full, depth 966, deepening 165, 131k/247k -> 108/11k
State dumped to 2c9ow7o00125
Queue full, depth 977, deepening 163, 131k/407k -> 121/11k
State dumped to 2c9ow7o00126
Queue full, depth 989, deepening 160, 131k/515k -> 124/12k
State dumped to 2c9ow7o00127
Queue full, depth 1002, deepening 156, 131k/427k -> 127/12k
State dumped to 2c9ow7o00128
Queue full, depth 1013, deepening 154, 131k/391k -> 112/12k
State dumped to 2c9ow7o00129
Queue full, depth 1023, deepening 153, 131k/409k -> 107/12k
State dumped to 2c9ow7o00130
Queue full, depth 1034, deepening 151, 131k/383k -> 113/12k
State dumped to 2c9ow7o00131
Queue full, depth 1047, deepening 147, 131k/503k -> 109/11k
State dumped to 2c9ow7o00132
Queue full, depth 1061, deepening 142, 131k/512k -> 105/11k
State dumped to 2c9ow7o00133
Queue full, depth 1071, deepening 141, 131k/289k -> 110/11k
State dumped to 2c9ow7o00134
Queue full, depth 1077, deepening 144, 131k/177k -> 111/10k
State dumped to 2c9ow7o00135
Queue full, depth 1083, deepening 147, 131k/197k -> 109/10k
State dumped to 2c9ow7o00136
Queue full, depth 1090, deepening 149, 131k/196k -> 119/10k
State dumped to 2c9ow7o00137
Queue full, depth 1096, deepening 152, 131k/174k -> 110/10k
State dumped to 2c9ow7o00138
Queue full, depth 1102, deepening 155, 131k/163k -> 111/10k
State dumped to 2c9ow7o00139
Queue full, depth 1109, deepening 157, 131k/186k -> 109/9.7k
State dumped to 2c9ow7o00140
Queue full, depth 1122, deepening 153, 131k/411k -> 123/10k
State dumped to 2c9ow7o00141
Queue full, depth 1133, deepening 151, 131k/440k -> 132/10k
State dumped to 2c9ow7o00142
Queue full, depth 1142, deepening 151, 131k/302k -> 133/11k
State dumped to 2c9ow7o00143
Queue full, depth 1151, deepening 151, 131k/266k -> 121/9.9k
State dumped to 2c9ow7o00144
Queue full, depth 1162, deepening 149, 131k/359k -> 116/10k
State dumped to 2c9ow7o00145
Queue full, depth 1173, deepening 147, 131k/432k -> 123/10k
State dumped to 2c9ow7o00146
Queue full, depth 1179, deepening 150, 131k/201k -> 137/9.8k
State dumped to 2c9ow7o00147
Queue full, depth 1186, deepening 152, 131k/206k -> 132/9.6k
State dumped to 2c9ow7o00148
Queue full, depth 1194, deepening 153, 131k/262k -> 121/9.3k
State dumped to 2c9ow7o00149
Queue full, depth 1203, deepening 153, 131k/269k -> 118/9.6k
State dumped to 2c9ow7o00150
Queue full, depth 1211, deepening 154, 131k/215k -> 105/9.2k
State dumped to 2c9ow7o00151
Queue full, depth 1222, deepening 152, 131k/469k -> 108/8.5k
State dumped to 2c9ow7o00152
Queue full, depth 1234, deepening 149, 131k/348k -> 122/9.2k
State dumped to 2c9ow7o00153
Queue full, depth 1246, deepening 146, 131k/389k -> 115/9.7k
State dumped to 2c9ow7o00154
Queue full, depth 1259, deepening 142, 131k/512k -> 114/10k
State dumped to 2c9ow7o00155
Queue full, depth 1273, deepening 137, 131k/380k -> 119/10k
State dumped to 2c9ow7o00156
Queue full, depth 1287, deepening 132, 131k/465k -> 107/10k
State dumped to 2c9ow7o00157
Queue full, depth 1299, deepening 129, 131k/409k -> 103/10k
State dumped to 2c9ow7o00158
Queue full, depth 1312, deepening 125, 131k/450k -> 120/10k
State dumped to 2c9ow7o00159
Queue full, depth 1319, deepening 127, 131k/201k -> 125/10k
State dumped to 2c9ow7o00160
Queue full, depth 1331, deepening 124, 131k/487k -> 132/11k
State dumped to 2c9ow7o00161
Queue full, depth 1343, deepening 121, 131k/418k -> 146/11k
State dumped to 2c9ow7o00162
Queue full, depth 1350, deepening 123, 131k/247k -> 142/11k
State dumped to 2c9ow7o00163
Queue full, depth 1362, deepening 120, 131k/390k -> 162/11k
State dumped to 2c9ow7o00164
Queue full, depth 1373, deepening 118, 131k/397k -> 154/12k
State dumped to 2c9ow7o00165
Queue full, depth 1385, deepening 115, 131k/405k -> 155/11k
State dumped to 2c9ow7o00166
Queue full, depth 1392, deepening 117, 131k/214k -> 145/11k
State dumped to 2c9ow7o00167
Queue full, depth 1401, deepening 117, 131k/353k -> 149/12k
State dumped to 2c9ow7o00168
Queue full, depth 1407, deepening 120, 131k/178k -> 132/12k
State dumped to 2c9ow7o00169
Queue full, depth 1413, deepening 123, 131k/189k -> 140/11k
State dumped to 2c9ow7o00170
Queue full, depth 1421, deepening 124, 131k/338k -> 149/11k
State dumped to 2c9ow7o00171
Queue full, depth 1430, deepening 124, 131k/280k -> 151/11k
State dumped to 2c9ow7o00172
Queue full, depth 1442, deepening 121, 131k/489k -> 144/11k
State dumped to 2c9ow7o00173
Queue full, depth 1449, deepening 123, 131k/195k -> 132/10k
State dumped to 2c9ow7o00174
Queue full, depth 1463, deepening 118, 131k/482k -> 131/10k
State dumped to 2c9ow7o00175
Queue full, depth 1478, deepening 112, 131k/552k -> 136/11k
State dumped to 2c9ow7o00176
Queue full, depth 1491, deepening 108, 131k/455k -> 133/10k
State dumped to 2c9ow7o00177
Queue full, depth 1505, deepening 103, 131k/548k -> 137/10k
State dumped to 2c9ow7o00178
Queue full, depth 1520, deepening 97, 131k/481k -> 146/11k
State dumped to 2c9ow7o00179
Queue full, depth 1537, deepening 89, 131k/614k -> 154/11k
State dumped to 2c9ow7o00180
Queue full, depth 1551, deepening 84, 131k/440k -> 163/12k
State dumped to 2c9ow7o00181
Queue full, depth 1564, deepening 80, 131k/388k -> 161/11k
State dumped to 2c9ow7o00182
Queue full, depth 1581, deepening 72, 131k/684k -> 211/13k
State dumped to 2c9ow7o00183
Queue full, depth 1593, deepening 69, 131k/453k -> 262/13k
State dumped to 2c9ow7o00184
Queue full, depth 1599, deepening 72, 131k/287k -> 330/13k
State dumped to 2c9ow7o00185
Queue full, depth 1610, deepening 70, 131k/498k -> 295/14k
State dumped to 2c9ow7o00186
Queue full, depth 1623, deepening 66, 131k/462k -> 292/15k
State dumped to 2c9ow7o00187
Queue full, depth 1636, deepening 62, 131k/523k -> 357/15k
State dumped to 2c9ow7o00188
Queue full, depth 1648, deepening 59, 131k/610k -> 361/15k
State dumped to 2c9ow7o00189
Queue full, depth 1657, deepening 59, 131k/349k -> 396/15k
State dumped to 2c9ow7o00190
Queue full, depth 1670, deepening 55, 131k/537k -> 438/17k
State dumped to 2c9ow7o00191
Queue full, depth 1682, deepening 52, 131k/438k -> 525/18k
State dumped to 2c9ow7o00192
Queue full, depth 1693, deepening 50, 131k/446k -> 570/17k
State dumped to 2c9ow7o00193
Queue full, depth 1706, deepening 46, 131k/632k -> 545/18k
State dumped to 2c9ow7o00194
Queue full, depth 1720, deepening 41, 131k/659k -> 654/19k
State dumped to 2c9ow7o00195
Queue full, depth 1730, deepening 40, 131k/404k -> 722/20k
State dumped to 2c9ow7o00196
Queue full, depth 1741, deepening 38, 131k/474k -> 783/20k
State dumped to 2c9ow7o00197
Queue full, depth 1749, deepening 39, 131k/322k -> 939/19k
State dumped to 2c9ow7o00198
Queue full, depth 1756, deepening 41, 131k/290k -> 991/18k
State dumped to 2c9ow7o00199
Queue full, depth 1762, deepening 44, 131k/274k -> 877/16k
State dumped to 2c9ow7o00200
Queue full, depth 1769, deepening 46, 131k/264k -> 758/15k
State dumped to 2c9ow7o00201
Queue full, depth 1779, deepening 45, 131k/462k -> 666/16k
State dumped to 2c9ow7o00202
Queue full, depth 1791, deepening 42, 131k/508k -> 630/17k
State dumped to 2c9ow7o00203
Queue full, depth 1805, deepening 37, 131k/705k -> 742/19k
State dumped to 2c9ow7o00204
Queue full, depth 1814, deepening 37, 131k/313k -> 771/17k
State dumped to 2c9ow7o00205
Queue full, depth 1823, deepening 37, 131k/358k -> 799/17k
State dumped to 2c9ow7o00206
Queue full, depth 1829, deepening 40, 131k/236k -> 800/15k
State dumped to 2c9ow7o00207
Queue full, depth 1839, deepening 39, 131k/411k -> 835/17k
State dumped to 2c9ow7o00208
Queue full, depth 1849, deepening 38, 131k/490k -> 882/18k
State dumped to 2c9ow7o00209
Queue full, depth 1860, deepening 36, 131k/475k -> 981/19k
State dumped to 2c9ow7o00210
Queue full, depth 1865, deepening 40, 131k/228k -> 938/16k
State dumped to 2c9ow7o00211
Queue full, depth 1870, deepening 44, 131k/207k -> 787/15k
State dumped to 2c9ow7o00212
Queue full, depth 1881, deepening 42, 131k/490k -> 591/15k
State dumped to 2c9ow7o00213
Queue full, depth 1897, deepening 35, 131k/698k -> 556/17k
State dumped to 2c9ow7o00214
Queue full, depth 1914, deepening 27, 131k/613k -> 954/19k
State dumped to 2c9ow7o00215
Queue full, depth 1928, deepening 22, 131k/743k -> 1.2k/23k
State dumped to 2c9ow7o00216
Queue full, depth 1944, deepening 15, 131k/846k -> 2.1k/31k
State dumped to 2c9ow7o00217
Queue full, depth 1960, deepening 9, 111k/983k -> 4.2k/42k
State dumped to 2c9ow7o00218
Queue full, depth 1969, deepening 9, 131k/506k -> 3.8k/35k
State dumped to 2c9ow7o00219
Queue full, depth 1987, deepening 9, 72k/983k -> 2.2k/24k
State dumped to 2c9ow7o00220
Queue full, depth 2064, deepening 9, 3.0k/983k -> 98/3.5k
State dumped to 2c9ow7o00221
Search complete.

0 spaceships found.
Maximum depth reached: 2112
Longest partial result:

x = 13, y = 233, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
b2obo3bob2o$b2o3bo3b2o$3b2o3b2o$6bo$b3o2bo2b3o$2b2obobob2o2$b3o
2bo2b3o$b11o$bob3ob3obo$2ob2obob2ob2o$ob2o2bo2b2obo$2bobobobobo$
obo2b3o2bobo$3ob5ob3o$b4o3b4o$2bob2ob2obo$b2o2b3o2b2o$bob7obo$2b
obo3bobo$5bobo$2bob5obo$2bob5obo$3b3ob3o$bo2b2ob2o2bo$b2ob2ob2ob
2o$b2o2b3o2b2o3$2bo7bo$2b2ob3ob2o$4b5o$6bo$6bo$3b7o$3bo5bo$2b2ob
3ob2o$2bo2bobo2bo$2b2obobob2o$2b4ob4o$4b2ob2o$4b2ob2o$3b7o$3b7o$
4b5o$2b2obobob2o$3b7o$4bobobo$2b2obobob2o$b5ob5o$3bobobobo$4b2ob
2o$4b2ob2o$2b2obobob2o$3b7o$2b9o$2bob5obo$4b5o$2b3o3b3o$3b7o$3b2o
bob2o$4b2ob2o$3bo2bo2bo$3b7o$2b9o$3bob3obo$2b4ob4o$2b9o$b3ob3ob3o
$2bo7bo$bobo5bobo$ob3obob3obo$3b7o$2bo2bobo2bo$3b2obob2o$b3o2bo2b
3o$3bo2bo2bo$4b5o$b3ob3ob3o$2bo7bo$4b5o$b11o$4b5o$3bo2bo2bo$5bob
o$4bobobo$4b5o$3bob3obo$4b2ob2o$4b2ob2o$4b5o$5bobo$3bo2bo2bo$2b2o
bobob2o$2b2o2bo2b2o$obob2ob2obobo$5o3b5o$2bobo3bobo$2ob7ob2o$2b9o
$b5ob5o$2b2ob3ob2o$4bobobo$5b3o$5b3o$5b3o$4bo3bo$5bobo$2b4ob4o$4b
2ob2o$3b7o$3b2obob2o$b5ob5o$2b3obob3o$2bo2b3o2bo$3ob5ob3o$b11o$b
4o3b4o$3bob3obo$3b2obob2o$2bo7bo$4b5o$4b2ob2o$4b2ob2o$3b7o$4b5o$
3b3ob3o$6bo$4b2ob2o2$4bobobo$3b2o3b2o$2b2ob3ob2o$2b4ob4o$3bo5bo$
b2o7b2o$2bo7bo$bob2obob2obo$2b9o$3b3ob3o$3b2o3b2o$3b3ob3o$3b2o3b
2o$4b5o$5b3o$3b7o$4bobobo$3bob3obo$3bo2bo2bo$3b2o3b2o$4bobobo$5b
3o$5b3o$4bo3bo$3b7o$4b5o$4b5o2$4bo3bo$3b2o3b2o$b3ob3ob3o$b4obob4o
$2o3bobo3b2o$2b9o$b2ob5ob2o$3b7o$5b3o$5bobo$2b3obob3o$3b2o3b2o$3b
o5bo$5bobo$5b3o$2bo2b3o2bo$2b2o5b2o$2bob5obo$3b3ob3o$2b2o2bo2b2o
$b2o2b3o2b2o$b2o2b3o2b2o$2bo3bo3bo$b2ob2ob2ob2o$2bob2ob2obo$5b3o
$2bob5obo$b11o$3b7o$3b2o3b2o$bob3ob3obo$3b3ob3o$2b3obob3o$2bobob
obobo$2b2o5b2o$3bo2bo2bo$3bob3obo$4b5o$3bob3obo$3b7o$3b3ob3o$4bo
bobo$2bo2bobo2bo$3bobobobo$3bobobobo$2b2obobob2o$2bob5obo$b2o2b3o
2b2o$2bo3bo3bo$3bo5bo$b4o3b4o$bob3ob3obo$b2ob5ob2o$4b2ob2o$2b2o5b
2o$2b3o3b3o4$b5ob5o$bob7obo$3b7o$2b3obob3o$3b2o3b2o$4b2ob2o$4bob
obo$6bo$4b5o$4b5o$4bo3bo$5b3o$3bobobobo$4bo3bo$4b5o$4b5o!
Longest partial:

Code: Select all

x = 13, y = 233, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
b2obo3bob2o$b2o3bo3b2o$3b2o3b2o$6bo$b3o2bo2b3o$2b2obobob2o2$b3o2bo2b3o
$b11o$bob3ob3obo$2ob2obob2ob2o$ob2o2bo2b2obo$2bobobobobo$obo2b3o2bobo$
3ob5ob3o$b4o3b4o$2bob2ob2obo$b2o2b3o2b2o$bob7obo$2bobo3bobo$5bobo$2bob
5obo$2bob5obo$3b3ob3o$bo2b2ob2o2bo$b2ob2ob2ob2o$b2o2b3o2b2o3$2bo7bo$2b
2ob3ob2o$4b5o$6bo$6bo$3b7o$3bo5bo$2b2ob3ob2o$2bo2bobo2bo$2b2obobob2o$
2b4ob4o$4b2ob2o$4b2ob2o$3b7o$3b7o$4b5o$2b2obobob2o$3b7o$4bobobo$2b2obo
bob2o$b5ob5o$3bobobobo$4b2ob2o$4b2ob2o$2b2obobob2o$3b7o$2b9o$2bob5obo$
4b5o$2b3o3b3o$3b7o$3b2obob2o$4b2ob2o$3bo2bo2bo$3b7o$2b9o$3bob3obo$2b4o
b4o$2b9o$b3ob3ob3o$2bo7bo$bobo5bobo$ob3obob3obo$3b7o$2bo2bobo2bo$3b2ob
ob2o$b3o2bo2b3o$3bo2bo2bo$4b5o$b3ob3ob3o$2bo7bo$4b5o$b11o$4b5o$3bo2bo
2bo$5bobo$4bobobo$4b5o$3bob3obo$4b2ob2o$4b2ob2o$4b5o$5bobo$3bo2bo2bo$
2b2obobob2o$2b2o2bo2b2o$obob2ob2obobo$5o3b5o$2bobo3bobo$2ob7ob2o$2b9o$
b5ob5o$2b2ob3ob2o$4bobobo$5b3o$5b3o$5b3o$4bo3bo$5bobo$2b4ob4o$4b2ob2o$
3b7o$3b2obob2o$b5ob5o$2b3obob3o$2bo2b3o2bo$3ob5ob3o$b11o$b4o3b4o$3bob
3obo$3b2obob2o$2bo7bo$4b5o$4b2ob2o$4b2ob2o$3b7o$4b5o$3b3ob3o$6bo$4b2ob
2o2$4bobobo$3b2o3b2o$2b2ob3ob2o$2b4ob4o$3bo5bo$b2o7b2o$2bo7bo$bob2obob
2obo$2b9o$3b3ob3o$3b2o3b2o$3b3ob3o$3b2o3b2o$4b5o$5b3o$3b7o$4bobobo$3bo
b3obo$3bo2bo2bo$3b2o3b2o$4bobobo$5b3o$5b3o$4bo3bo$3b7o$4b5o$4b5o2$4bo
3bo$3b2o3b2o$b3ob3ob3o$b4obob4o$2o3bobo3b2o$2b9o$b2ob5ob2o$3b7o$5b3o$
5bobo$2b3obob3o$3b2o3b2o$3bo5bo$5bobo$5b3o$2bo2b3o2bo$2b2o5b2o$2bob5ob
o$3b3ob3o$2b2o2bo2b2o$b2o2b3o2b2o$b2o2b3o2b2o$2bo3bo3bo$b2ob2ob2ob2o$
2bob2ob2obo$5b3o$2bob5obo$b11o$3b7o$3b2o3b2o$bob3ob3obo$3b3ob3o$2b3obo
b3o$2bobobobobo$2b2o5b2o$3bo2bo2bo$3bob3obo$4b5o$3bob3obo$3b7o$3b3ob3o
$4bobobo$2bo2bobo2bo$3bobobobo$3bobobobo$2b2obobob2o$2bob5obo$b2o2b3o
2b2o$2bo3bo3bo$3bo5bo$b4o3b4o$bob3ob3obo$b2ob5ob2o$4b2ob2o$2b2o5b2o$2b
3o3b3o4$b5ob5o$bob7obo$3b7o$2b3obob3o$3b2o3b2o$4b2ob2o$4bobobo$6bo$4b
5o$4b5o$4bo3bo$5b3o$3bobobobo$4bo3bo$4b5o$4b5o!
Edit 3: ikpx2 returned no (2,1)c/8 spaceships for logical width 18:

Code: Select all

# 4864 iterations (2858 problems, 12335 subproblems, 2006 solutions) completed: queuesize = 79; heapsize = 986; treesize = 25907

#C depth = 70
#C breadth = 18
#CLL state-numbering golly
x = 18, y = 27, rule = B3acijy4-a5cjkr6-in78/S2n3-c4-aijz5-jy6-k
3b2o$2b3obo$2bob2o$b3obo$ob2o$b2ob3o$b2obobo$6b2o$3b2o2b3o$4b3o$4b
2ob3o$4b4o2bo$6b3obo$6b5obo$5b2o2b4o$7b3o2b2o$8b4o$8b7o$7b4o$8b2ob
obo$8b5obo$11b2o2b2o$12b3obo$12bob2obo$13b5o$12b4o$12bob3o!

# 5120 iterations (3008 problems, 12867 subproblems, 2112 solutions) completed: queuesize = 79; heapsize = 932; treesize = 26016
# Performing backup...
# ...saved backup file ./backup_b3acijy4-a5cjkr6-in78s2n3-c4-aijz5-jy6-k_velocity_2_1_8_width_18_even.bin successfully.
# 5376 iterations (3168 problems, 13521 subproblems, 2208 solutions) completed: queuesize = 79; heapsize = 839; treesize = 26105
# 5632 iterations (3309 problems, 14080 subproblems, 2323 solutions) completed: queuesize = 80; heapsize = 813; treesize = 26231
# 5888 iterations (3464 problems, 14634 subproblems, 2424 solutions) completed: queuesize = 79; heapsize = 740; treesize = 26319
# Performing backup...
# ...saved backup file ./backup_b3acijy4-a5cjkr6-in78s2n3-c4-aijz5-jy6-k_velocity_2_1_8_width_18_odd.bin successfully.
# 6144 iterations (3619 problems, 15213 subproblems, 2525 solutions) completed: queuesize = 79; heapsize = 659; treesize = 26397
# 6400 iterations (3773 problems, 15821 subproblems, 2627 solutions) completed: queuesize = 80; heapsize = 562; treesize = 26463
# 6656 iterations (3923 problems, 16324 subproblems, 2733 solutions) completed: queuesize = 79; heapsize = 489; treesize = 26557
# Performing backup...
# ...saved backup file ./backup_b3acijy4-a5cjkr6-in78s2n3-c4-aijz5-jy6-k_velocity_2_1_8_width_18_even.bin successfully.
# 6912 iterations (4075 problems, 16807 subproblems, 2837 solutions) completed: queuesize = 79; heapsize = 428; treesize = 26656
# 7168 iterations (4229 problems, 17275 subproblems, 2939 solutions) completed: queuesize = 79; heapsize = 348; treesize = 26740
# 7424 iterations (4380 problems, 17714 subproblems, 3044 solutions) completed: queuesize = 79; heapsize = 274; treesize = 26832
# Performing backup...
# ...saved backup file ./backup_b3acijy4-a5cjkr6-in78s2n3-c4-aijz5-jy6-k_velocity_2_1_8_width_18_odd.bin successfully.
# 7680 iterations (4539 problems, 18277 subproblems, 3141 solutions) completed: queuesize = 79; heapsize = 188; treesize = 26917
# 7936 iterations (4697 problems, 18865 subproblems, 3239 solutions) completed: queuesize = 79; heapsize = 101; treesize = 26999
# 8192 iterations (4841 problems, 19213 subproblems, 3351 solutions) completed: queuesize = 80; heapsize = 29; treesize = 27082
# solvers invoked: trivial=1849, cadical=1465, kissat=15903
# Performing backup...
# ...saved backup file ./backup_b3acijy4-a5cjkr6-in78s2n3-c4-aijz5-jy6-k_velocity_2_1_8_width_18_even.bin successfully.
# 8448 iterations (4997 problems, 19524 subproblems, 3451 solutions) completed: queuesize = 31; heapsize = 1; treesize = 27163
# 8704 iterations (5148 problems, 20132 subproblems, 3556 solutions) completed: queuesize = 30; heapsize = 0; treesize = 27320
# Performing backup...
# ...saved backup file ./backup_b3acijy4-a5cjkr6-in78s2n3-c4-aijz5-jy6-k_velocity_2_1_8_width_18_final.bin successfully.
# solvers invoked: trivial=1961, cadical=1541, kissat=16860
# Adaptive widening to width 19 (treesize = 27353)
# Profile: depth0 = 17 193 556 848 1072 1182 1139 1088 1036 991 908 861 836 822 786 726 686 635 598 559 516 485 446 401 369 350 320 294 270 257 242 232 224 200 222 250 275 283 299 301 281 266 258 252 254 239 226 219 213 209 214 206 190 168 151 131 125 123 127 136 138 131 117 112 112 98 91 82 83 75 67 58 60 54 42 35 28 20 19 19 16 15 11 11 10 10 11 11 9 9 8 6 6 5 5 3 2 1 = depth97


Post Reply