ikpx 2.2

For scripts to aid with computation or simulation in cellular automata.
Dylan Chen
Posts: 114
Joined: March 27th, 2020, 8:07 am
Contact:

Re: ikpx 2.2

Post by Dylan Chen » January 21st, 2021, 10:55 pm

if any one want re-find Sir Robin. maybe this two backup bin files would help.


Code: Select all

-rw-r--r-- 1 root root 16M Jan 20 17:41 BeforeSirRobin_2_1_6_width_34_even.bin.zx
-rw-r--r-- 1 root root 17M Jan 22 09:45 AfterSirRobin_2_1_6_width_34_even.bin.zx

Code: Select all

https://slate.textile.io/ipfs/bafybeifwzvgo2egqqbu6mfearbgjifbjyodnxp6oqqgwhs245vlmu6yb6m
https://slate.textile.io/ipfs/bafybeidutce67n44tq2lydmlj2xjtsuuvb2h4s2pvpnxvbau4bqicjpok4
decompress it and run it with ikpx2


edit

and another knight head partial.

Code: Select all

x = 32, y = 51, rule = B3/S23
11bo$10b3o3bobobo$9b2o2b2o2bobob2o$10b3obobo4b3o$10b2o2b2o5b3o$10bob3o
3bo2b3o$10bo2bo4b2ob3o$5b2obo3bo5b5o$4b3o4b3o6bo$2b2o2bo2bob4o$2b2o$o
4bo2b6o$7o$b2o4bob2o2b3o$9b2obo$3bo4bo3bo3bo$7b2o3bo$6bo6b2ob2o$7b2o7b
obo$18bo$14b2o$13bo3b2o$13bo$12bo2bo$11b3o2b2o$17b3o$13bo2bo2b2o$23bob
o$18b2o2bobobo$19b2obobobo$20bobobob2o$19bo3bob2o$21bob4obo$21bobobobo
$21bob2obo$18b2o$19bobo4b2o$19bo$19bo$18b2ob2o$18b2o$17bo4bo$17bob3obo
$18b7o2bo$19bo3b3ob2o$24b2obob2o2$27bo3bo$25bob4o$24b3o$26bo!
Attachments
1 bit vary knight.png
1 bit vary knight.png (49.48 KiB) Viewed 7102 times
Last edited by Dylan Chen on January 27th, 2021, 11:02 pm, edited 1 time in total.
Tools should not be the limit.
Whether your obstacle is a script, an stdin, or Linux environment computing resouces.
check New rules thread for help.

User avatar
creeperman7002
Posts: 299
Joined: December 4th, 2018, 11:52 pm

Re: ikpx 2.2

Post by creeperman7002 » January 25th, 2021, 6:52 pm

Can there be a scoring system for partials (score = depth + breadth)? That could be used to determine the best partial in a search.
Another way to determine the best partial could be to see how long-lived the first few rows of the partial are.
B2n3-jn/S1c23-y is an interesting rule. It has a replicator, a fake glider, an OMOS and SMOS, a wide variety of oscillators, and some signals. Also this rule is omniperiodic.
viewtopic.php?f=11&t=4856

Bullet51
Posts: 663
Joined: July 21st, 2014, 4:35 am

Re: ikpx 2.2

Post by Bullet51 » January 28th, 2021, 8:31 am

Is it possible to extend partials from the tail of the spaceship, e.g.

Code: Select all

x = 10, y = 20, rule = B3/S23
4bobo$2bo$2b2o2bo$3b3o$7b2o$bo5b3o$obo2b2o$obob3o2bo$2bo2bob2o$2o2bobo
$3b2o$bo4b3o$bo4b3o$3o3b2o$2b2ob2o$4b2o$5bo2$5b2o$4bo!
?
Still drifting.

GUYTU6J
Posts: 2200
Joined: August 5th, 2016, 10:27 am
Location: 拆哪!I repeat, CHINA! (a.k.a. 种花家)
Contact:

Re: ikpx 2.2

Post by GUYTU6J » February 10th, 2021, 1:54 am

When searching for a knightship in Glimmering Garden, it reported the following issue:

Code: Select all

Warning: SAT solver 'kissat' reached decision limit
Can I just ignore it?

goldenratio
Posts: 295
Joined: July 26th, 2020, 10:39 pm
Location: Texas, USA

Re: ikpx 2.2

Post by goldenratio » February 10th, 2021, 2:22 pm

GUYTU6J wrote:
February 10th, 2021, 1:54 am
When searching for a knightship in Glimmering Garden, it reported the following issue:

Code: Select all

Warning: SAT solver 'kissat' reached decision limit
Can I just ignore it?
From Calcyman on discord:
calcyman wrote:To avoid threads becoming blocked with particularly difficult SAT problems, ikpx2 imposes a decision limit (which usually equates to about 15 minutes) after which the SAT solver gives up and the thread works on a different problem instead. This was in the original version of ikpx, but ikpx2 is polite enough to loudly tell you when this happens. :)

If you're just interested in finding spaceships, then you can ignore these messages. If you want to populate some 'spaceship status page' on the LifeWiki to say that a certain width has no spaceships, then those messages are important (because they warn you that the search may have been non-exhaustive).
He also said how to disable the decision limit:
calcyman wrote:Yes, comment out the calls to kissat_set_decision_limit and ccadical_limit in src/solver.hpp and recompile.
Oscillator discussion is boring me out. I'll return when the cgol community switches to something else.

Me on LifeWiki

User avatar
LaundryPizza03
Posts: 2295
Joined: December 15th, 2017, 12:05 am
Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"

Re: ikpx 2.2

Post by LaundryPizza03 » March 26th, 2021, 12:00 pm

What is the width of the valid rows in this (7,1)c/8 partial? I suspect that ikpx2 may not be powerful enough to find this speed, as the partial in question is the narrowest possible at the tip.

Code: Select all

x = 12, y = 10, rule = B2aci3aj4cijkrtz5ajkqy6kn78/S2ak3ejkqr4cijqtwz5-aenr6ace7e8
2bob2obobobo$2obo5b3o$bo3b4obo$3bo2b2o2b2o$6bo2b3o$3bo2bobobo$bo2bo3bo
$4bobo$b2o3b4o$5b5o!

Code: Select all

x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
LaundryPizza03 at Wikipedia

User avatar
LaundryPizza03
Posts: 2295
Joined: December 15th, 2017, 12:05 am
Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"

Re: ikpx 2.2

Post by LaundryPizza03 » April 29th, 2021, 11:30 am

I was surprised how slow the search for c/3o is in B35/S16. This is a very fast-settling rule with an average of 3.199 objects/soup in C1, and where the first spaceship found has search width w17.

Code: Select all

#C completed spaceship: xq3_y1806g5asa31h4h13asa5g608z4il4dl26k5819g4ghg4g9185k62ld4li4z0k48606080cgi01o0o10igc08060684kz5jgk0maioi5gh1049401hg5ioiam0kgj5zy390b13r8y18r31b09zy4osu71gd101dg17usozy222343i40jk2kj04i34322zy81y31
#C Catagolue URL: https://catagolue.hatsya.com/object/xq3_y1806g5asa31h4h13asa5g608z4il4dl26k5819g4ghg4g9185k62ld4li4z0k48606080cgi01o0o10igc08060684kz5jgk0maioi5gh1049401hg5ioiam0kgj5zy390b13r8y18r31b09zy4osu71gd101dg17usozy222343i40jk2kj04i34322zy81y31/b35s16
#C breadth = 17
#CLL state-numbering golly
x = 33, y = 36, rule = B35/S16
9bo3b3ob3o3bo$7bo2bob2o5b2obo2bo$7bobobo4bo4bobobo$5bo4b3o7b3o4bo$
8bo2bo3bobo3bo2bo$2bob2o3bob2o3bo3b2obo3b2obo$bo4b2o17b2o4bo$ob4ob
3o4bo3bo4b3ob4obo$4bo5bobo7bobo5bo$b2o2bo2bo4bob3obo4bo2bo2b2o$14b
o3bo$4bobo5bo7bo5bobo$b2obobo3bo11bo3bobob2o$3bo4bobo4bobo4bobo4bo
$bo9b2o2bobo2b2o9bo$2o8bob2o2bo2b2obo8b2o$bo3b3obo13bob3o3bo$o2bob
o4bo4bobo4bo4bobo2bo$6bobo7bo7bobo$b3obob3ob2o7b2ob3obob3o$7bob4o
7b4obo$9bob2o7b2obo2$7bobo2b2o5b2o2bobo$12bo7bo$11b2ob2ob2ob2o$10b
2o9b2o$9b3o2bo3bo2b3o$8b3o3bo3bo3b3o$8b3o2bo5bo2b3o$8bobo3bo3bo3bo
bo$6b3ob2o2bobobo2b2ob3o$9bo2bo2bobo2bo2bo2$11bo2b2ob2o2bo$12bo7bo!
EDIT: Corrected logical search width. May have confused this one with another, so I'm skeptical about memory-intensiveness.

Code: Select all

x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
LaundryPizza03 at Wikipedia

User avatar
wwei47
Posts: 1648
Joined: February 18th, 2021, 11:18 am

Re: ikpx 2.2

Post by wwei47 » May 19th, 2021, 6:49 pm

How do I disable the decision limits?
Help me find high-period c/2 technology!
My guide: https://bit.ly/3uJtzu9
My c/2 tech collection: https://bit.ly/3qUJg0u
Overview of periods: https://bit.ly/3LwE0I5
Most wanted periods: 76,116

User avatar
LaundryPizza03
Posts: 2295
Joined: December 15th, 2017, 12:05 am
Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"

Re: ikpx 2.2

Post by LaundryPizza03 » May 20th, 2021, 3:09 am

I opened an old savefile from December, and I got cut-off partials:

Code: Select all

#C depth = 687
#C breadth = 11
#CLL state-numbering golly
x = 18, y = 19, rule = B3578/S24678
bo$3o$b3o$o$2bobo$2bobobo$2b2ob4o$5bob3o$5bobo$8b3o$8b2o$8bo2b2obo
$11bo2b3o$8b2ob2obo$12bo2bobo$10bo2bobobo$10bo2bobo$10b3o2bo$11b2o!

Code: Select all

x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
LaundryPizza03 at Wikipedia

User avatar
calcyman
Moderator
Posts: 2932
Joined: June 1st, 2009, 4:32 pm

Re: ikpx 2.2

Post by calcyman » May 20th, 2021, 4:42 am

LaundryPizza03 wrote:
May 20th, 2021, 3:09 am
I opened an old savefile from December, and I got cut-off partials:

Code: Select all

#C depth = 687
#C breadth = 11
#CLL state-numbering golly
x = 18, y = 19, rule = B3578/S24678
bo$3o$b3o$o$2bobo$2bobobo$2b2ob4o$5bob3o$5bobo$8b3o$8b2o$8bo2b2obo
$11bo2b3o$8b2ob2obo$12bo2bobo$10bo2bobobo$10bo2bobo$10b3o2bo$11b2o!
Have you tried updating to the latest version? The 'depth disagrees with displayed partial' bug was fixed recently, although that doesn't explain the invalid frontend (maybe you started this search from an RLE of an incomplete partial?).
What do you do with ill crystallographers? Take them to the mono-clinic!

User avatar
LaundryPizza03
Posts: 2295
Joined: December 15th, 2017, 12:05 am
Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"

Re: ikpx 2.2

Post by LaundryPizza03 » May 20th, 2021, 4:51 am

calcyman wrote:
May 20th, 2021, 4:42 am
LaundryPizza03 wrote:
May 20th, 2021, 3:09 am
I opened an old savefile from December, and I got cut-off partials:

Code: Select all

#C depth = 687
#C breadth = 11
#CLL state-numbering golly
x = 18, y = 19, rule = B3578/S24678
bo$3o$b3o$o$2bobo$2bobobo$2b2ob4o$5bob3o$5bobo$8b3o$8b2o$8bo2b2obo
$11bo2b3o$8b2ob2obo$12bo2bobo$10bo2bobobo$10bo2bobo$10b3o2bo$11b2o!
Have you tried updating to the latest version? The 'depth disagrees with displayed partial' bug was fixed recently, although that doesn't explain the invalid frontend (maybe you started this search from an RLE of an incomplete partial?).
I guess my backup is corrupt. And in the latest versiion, I can no longer recompile properly.

Code: Select all

> ./recompile.sh --rule b3578s24678
Updating submodules...
libkissat.a already detected
Building cadical solver...
configure: reusing default 'build' directory
configure: building in default '/Users/gb/ikpx2/cadical/build'
configure: root directory '/Users/gb/ikpx2/cadical'
configure: using '-std=c++11' for all required C99/C++11 extensions
configure: unlocked IO with '{putc,getc}_unlocked' seems to work
configure: compiling with 'g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11'
configure: generated 'build/makefile' from '../makefile.in'
configure: generated '../makefile' as proxy to ...
configure: ... '/Users/gb/ikpx2/cadical/build/makefile'
configure: now run 'make' to compile CaDiCaL
configure: optionally run 'make test'
sed: 1: "../src/reap.hpp": invalid command code .

Code: Select all

x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
LaundryPizza03 at Wikipedia

User avatar
calcyman
Moderator
Posts: 2932
Joined: June 1st, 2009, 4:32 pm

Re: ikpx 2.2

Post by calcyman » May 20th, 2021, 5:35 am

LaundryPizza03 wrote:
May 20th, 2021, 4:51 am
I guess my backup is corrupt. And in the latest versiion, I can no longer recompile properly.
Oh right -- apparently, in-place sed behaves strangely on Mac OS X:

https://stackoverflow.com/a/19457213/5130486

I've committed a change that hopefully circumvents this. Try it now?
What do you do with ill crystallographers? Take them to the mono-clinic!

User avatar
LaundryPizza03
Posts: 2295
Joined: December 15th, 2017, 12:05 am
Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"

Re: ikpx 2.2

Post by LaundryPizza03 » May 20th, 2021, 5:42 am

calcyman wrote:
May 20th, 2021, 5:35 am
LaundryPizza03 wrote:
May 20th, 2021, 4:51 am
I guess my backup is corrupt. And in the latest versiion, I can no longer recompile properly.
Oh right -- apparently, in-place sed behaves strangely on Mac OS X:

https://stackoverflow.com/a/19457213/5130486

I've committed a change that hopefully circumvents this. Try it now?
Done; although the result is ridiculously verbose.

Code: Select all

> ./recompile.sh --rule b3578s24678
Updating submodules...
libkissat.a already detected
Building cadical solver...
configure: reusing default 'build' directory
configure: building in default '/Users/gb/ikpx2/cadical/build'
configure: root directory '/Users/gb/ikpx2/cadical'
configure: using '-std=c++11' for all required C99/C++11 extensions
configure: unlocked IO with '{putc,getc}_unlocked' seems to work
configure: compiling with 'g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11'
configure: generated 'build/makefile' from '../makefile.in'
configure: generated '../makefile' as proxy to ...
configure: ... '/Users/gb/ikpx2/cadical/build/makefile'
configure: now run 'make' to compile CaDiCaL
configure: optionally run 'make test'
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/analyze.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/arena.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/assume.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/averages.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/backtrack.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/backward.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/bins.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/block.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/ccadical.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/checker.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/clause.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/collect.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/compact.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/condition.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/config.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/contract.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/cover.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/decide.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/decompose.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/deduplicate.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/elim.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/ema.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/extend.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/external.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/file.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/flags.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/format.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/gates.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/instantiate.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/internal.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/ipasir.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/limit.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/logging.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/lookahead.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/lucky.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/message.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/minimize.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/occs.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/options.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/parse.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/phases.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/probe.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/profile.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/proof.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/propagate.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/queue.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/random.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/reap.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/reduce.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/rephase.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/report.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/resources.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/restart.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/restore.cpp
../src/restore.cpp:80:21: warning: loop variable 'b' is always a copy because
      the range of type 'vector<bool>' does not return a reference
      [-Wrange-loop-analysis]
  for (const auto & b : tainted)
                    ^
../src/restore.cpp:80:8: note: use non-reference type
      'std::__1::__bit_reference<std::__1::vector<bool,
      std::__1::allocator<bool> >, true>'
  for (const auto & b : tainted)
       ^~~~~~~~~~~~~~~~
../src/restore.cpp:191:21: warning: loop variable 'b' is always a copy because
      the range of type 'vector<bool>' does not return a reference
      [-Wrange-loop-analysis]
  for (const auto & b : tainted)
                    ^
../src/restore.cpp:191:8: note: use non-reference type
      'std::__1::__bit_reference<std::__1::vector<bool,
      std::__1::allocator<bool> >, true>'
  for (const auto & b : tainted)
       ^~~~~~~~~~~~~~~~
2 warnings generated.
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/score.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/shrink.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/signal.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/solution.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/solver.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/stats.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/subsume.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/terminal.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/ternary.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/tracer.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/transred.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/util.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/var.cpp
../scripts/make-build-header.sh > build.hpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/version.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/vivify.cpp
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/walk.cpp
../src/walk.cpp:337:21: warning: loop variable 'w' of type
      'const CaDiCaL::Watch' creates a copy from type 'const CaDiCaL::Watch'
      [-Wrange-loop-analysis]
    for (const auto w : ws) {
                    ^
../src/walk.cpp:337:10: note: use reference type 'const CaDiCaL::Watch &' to
      prevent copying
    for (const auto w : ws) {
         ^~~~~~~~~~~~~~
                    &
1 warning generated.
g++ -Wall -Wextra -O3 -DNDEBUG -DQUIET -DNCONTRACTS -DNTRACING -ggdb3 -std=c++11 -I../build -c ../src/watch.cpp
ar rc libcadical.a analyze.o arena.o assume.o averages.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o condition.o config.o contract.o cover.o decide.o decompose.o deduplicate.o elim.o ema.o extend.o external.o file.o flags.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stats.o subsume.o terminal.o ternary.o tracer.o transred.o util.o var.o version.o vivify.o walk.o watch.o
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ranlib: file: libcadical.a(contract.o) has no symbols
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ranlib: file: libcadical.a(logging.o) has no symbols
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ranlib: file: libcadical.a(profile.o) has no symbols
Configuring lifelib...
Using /Library/Frameworks/Python.framework/Versions/3.9/bin/python3 to configure lifelib...
Valid symmetry: ikpx2_stdin
Success!
Gathering latest library versions...
Compiling ikpx2...

 **** build process completed successfully ****
 

Code: Select all

x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
LaundryPizza03 at Wikipedia

User avatar
wwei47
Posts: 1648
Joined: February 18th, 2021, 11:18 am

Re: ikpx 2.2

Post by wwei47 » May 20th, 2021, 11:24 pm

When you feed ikpx2 a partial, how does it use that partial in the search, if you don't set a minimum depth?
LaundryPizza03 wrote:
March 26th, 2021, 12:00 pm
What is the width of the valid rows in this (7,1)c/8 partial? I suspect that ikpx2 may not be powerful enough to find this speed, as the partial in question is the narrowest possible at the tip.
This is a bit old but I don't see why ikpx2 wouldn't be powerful enough. It's literally the incremental KNIGHTSHIP partial extender, and I don't see why it wouldn't work for other oblique slopes as well.
Help me find high-period c/2 technology!
My guide: https://bit.ly/3uJtzu9
My c/2 tech collection: https://bit.ly/3qUJg0u
Overview of periods: https://bit.ly/3LwE0I5
Most wanted periods: 76,116

User avatar
dexter1
Posts: 71
Joined: February 26th, 2020, 8:46 am

Re: ikpx 2.2

Post by dexter1 » May 27th, 2021, 8:22 am

I am noticing a problem with ikpx2 when entering an rle of a particular c/6 diagonal spaceship:

Code: Select all

x = 66, y = 66, rule = B3/S23
32b2o$31bo2bo$30b2obo$30b2o$27bo2b2o$26b2obo$25bo$26bo$23b2ob2o$23bo2b
2o$23bo3bo$20b2o2bobo$20bo$20bobo$18bo2b2o$16b2o2bo$15bo4bo$15bo5bo$
16b2ob2o2$11b3o3bo$11b3o4b5o$11b3o6bob2o10bo$8b2ob3o7b2ob2o7b2o$8b2o2b
o9bo2bo6bobobo$6b2o4bo10bo2bo5b2o$5b2o4bo15b3o2bo3bo$8bo2$3b3o21b2o3b
4o$2b4o21bo2b3o2bo$bo23bobobob2o$o2bo20b2o3b3obob2o2b2o$b2o24bo2b4obob
3o$25bob3o4b2ob2o$24b3o2bo6b2o7bo$39bo5bo$33bob2o7bobo$32bob3o3b2obo$
33bobo2bob2o5bo$33b2o12bob2o$41b2o4b2o$38b2o2bo4bo4bo$37bo2b4o2b2o3bob
o$37b2obo4bobo3bo2bo$36bo5bo7bo3bo$37bo3b5o5b3o$39b2obo3b2obo2bo$40bo
2bo4b2o$46b2o$44b3o3b3obo$44bo5b6o3bo$51bo5b2o3b2o$44b4o4bo4b2o2bob2o$
45b3o3bobo5bobob2o$45b2o6bo$54bo$52bo2bo3b2o$52bo4b2ob2o$54bo5bo3b2o$
53bobo5bobobo$53bob4o4bo$59b2o2b2o$52b2o5bobo$60b5o$60b2o!
I start the program with:

Code: Select all

../ikpx2 -v '(1,1)c/6' -p 4 hammerhead.rle >& log &
The program warns with:

Code: Select all

Instruction set SSE4.2 detected
ikpx2 has been compiled for the rule b3s23  (330 prime implicants).

Checking SAT solver...
...check complete!

sizeof(workitem) = 32
sizeof(iterator) = 8
# Valid velocity: (1,1)c/6
# Jacobian: [(-1, 3), (1, 3), (0, 1)]
# lookahead = 26; jumpahead = 3
total rows: [0, 306]; valid rows: [0, 306].
Warning: overfull hbox (badness 2) at line 5
Warning: overfull hbox (badness 2) at line 6
Warning: overfull hbox (badness 2) at line 7
Warning: overfull hbox (badness 2) at line 8
Warning: overfull hbox (badness 2) at line 9
Warning: overfull hbox (badness 2) at line 10
Warning: overfull hbox (badness 2) at line 11
Warning: overfull hbox (badness 2) at line 12
Warning: overfull hbox (badness 2) at line 13
Warning: overfull hbox (badness 2) at line 14
Warning: overfull hbox (badness 2) at line 15
Warning: overfull hbox (badness 2) at line 16
Warning: overfull hbox (badness 2) at line 17
Warning: overfull hbox (badness 2) at line 18
Warning: overfull hbox (badness 2) at line 19
Warning: overfull hbox (badness 2) at line 20
Warning: overfull hbox (badness 2) at line 21
Warning: overfull hbox (badness 2) at line 22
Warning: overfull hbox (badness 2) at line 23
Warning: overfull hbox (badness 2) at line 24
Warning: overfull hbox (badness 2) at line 25
Warning: overfull hbox (badness 2) at line 26
Warning: overfull hbox (badness 2) at line 27
and continues execution but all partials reported have their first few diagonal lines of cells missing. For example, this is the third partial reported:

Code: Select all

#C depth = 273
#C breadth = 6
#CLL state-numbering golly
x = 62, y = 60, rule = B3/S23
17bo$15b2o$14bo4$11bo$12bo$9bo2bo$7bobo2b2o$8bo3bobo$5bo6b4o$13bo
2bo$14bo8bo2bo$14b2o6b2ob2o$2bo13bo9bo$2o15bo2b3ob2o$17bo2bo4bo$
17bo4b2ob2o$21bob2o$21b4o$15b3o2b3obo4bo$14bobo3bo2b2o3bob2o$13b3o
4bo4bo3bobo$20b2ob3o2b3o$15bobo5bo2bob2o6bo$24b3o7b2obo$24b2o4bo2b
obo$23b2o2bo5bo4bo$23bo5b2o3b2o2b2o$29b2obobo2bo$32b3ob3o$29bo4bo
2bobo$28bo8bo3b2obo$26b2o7bobo3bo2b3o$28bo5bo3bob2o2b3o$30b6o2bobo
3b2o$32bo6bo$31bo6b2o$31bo4bo4b2o$34b2obo3b3obo$33bo3b2o2b2obo3b2o
4bo$34bo2bo4bo2b2o4b2obo$35b2o4b2o4bo2bo$42bo5bo2b2o$52bo$43b2o4bo
2bo$43b2o4bo2bo$42bo2bo2bo4b2o$48b3o2bob2o$44b2o3bobo2b3o$43bo11bo
$43b3o5b3obo$44b2o4bo2bobo$50b2o$59bo$58bobo$57bo2bo$57bo2b2o$59b
2o!
All partials have the same lines missing: all rle's start with "17bo$15b2o$14bo4..." etc.

Can i ignore this by blaming it on a problem producing the rle output, or is this a deeper bug which prevents the program from finding or reporting new ships?

I used the latest commit 6310c8e6562075303b41c9374f5db7435a97a05c compiled on ubuntu 20.04 linux
Frank Everdij

User avatar
cgoler2
Posts: 224
Joined: March 10th, 2021, 2:32 pm
Location: Living in a half-bakery

Re: ikpx 2.2

Post by cgoler2 » May 27th, 2021, 8:40 am

Why does ikpx2 output the dart instead of the turtle on a search for the turtle?

User avatar
wwei47
Posts: 1648
Joined: February 18th, 2021, 11:18 am

Re: ikpx 2.2

Post by wwei47 » May 27th, 2021, 9:05 am

Does ikpx2 support B0?
Help me find high-period c/2 technology!
My guide: https://bit.ly/3uJtzu9
My c/2 tech collection: https://bit.ly/3qUJg0u
Overview of periods: https://bit.ly/3LwE0I5
Most wanted periods: 76,116

User avatar
calcyman
Moderator
Posts: 2932
Joined: June 1st, 2009, 4:32 pm

Re: ikpx 2.2

Post by calcyman » May 28th, 2021, 8:39 pm

dexter1 wrote:
May 27th, 2021, 8:22 am
The program warns with:

Code: Select all

Instruction set SSE4.2 detected
ikpx2 has been compiled for the rule b3s23  (330 prime implicants).

Checking SAT solver...
...check complete!

sizeof(workitem) = 32
sizeof(iterator) = 8
# Valid velocity: (1,1)c/6
# Jacobian: [(-1, 3), (1, 3), (0, 1)]
# lookahead = 26; jumpahead = 3
total rows: [0, 306]; valid rows: [0, 306].
Warning: overfull hbox (badness 2) at line 5
Warning: overfull hbox (badness 2) at line 6
Warning: overfull hbox (badness 2) at line 7
Warning: overfull hbox (badness 2) at line 8
Warning: overfull hbox (badness 2) at line 9
Warning: overfull hbox (badness 2) at line 10
Warning: overfull hbox (badness 2) at line 11
Warning: overfull hbox (badness 2) at line 12
Warning: overfull hbox (badness 2) at line 13
Warning: overfull hbox (badness 2) at line 14
Warning: overfull hbox (badness 2) at line 15
Warning: overfull hbox (badness 2) at line 16
Warning: overfull hbox (badness 2) at line 17
Warning: overfull hbox (badness 2) at line 18
Warning: overfull hbox (badness 2) at line 19
Warning: overfull hbox (badness 2) at line 20
Warning: overfull hbox (badness 2) at line 21
Warning: overfull hbox (badness 2) at line 22
Warning: overfull hbox (badness 2) at line 23
Warning: overfull hbox (badness 2) at line 24
Warning: overfull hbox (badness 2) at line 25
Warning: overfull hbox (badness 2) at line 26
Warning: overfull hbox (badness 2) at line 27
and continues execution but all partials reported have their first few diagonal lines of cells missing.
Yes, ikpx2 has an internal width limit of approximately 64 because it uses 64-bit integers to represent rows of partials. This means that this particular spaceship can't even be represented in ikpx2.

I've personally never needed to explore above width 34, and the search tree size tends to be exponential in the width, so I didn't foresee that this width-64 limitation would be encountered during a search.
What do you do with ill crystallographers? Take them to the mono-clinic!

User avatar
wwei47
Posts: 1648
Joined: February 18th, 2021, 11:18 am

Re: ikpx 2.2

Post by wwei47 » June 19th, 2021, 11:34 pm

Is ikpx2 supposed to spit out a spaceship, then spit out its mirror image?

Code: Select all

# 21248 iterations (10824 problems, 39224 subproblems, 10424 solutions) completed: queuesize = 79; heapsize = 3677; treesize = 15156

#C completed spaceship: xq4_y0hjhz0kiqsg42zkn2aaze2v61z0c32m8zcjqi94z105bzw6a5v3cgzy13ecgzy121hv1q4zy21747os
#C Catagolue URL: https://catagolue.hatsya.com/object/xq4_y0hjhz0kiqsg42zkn2aaze2v61z0c32m8zcjqi94z105bzw6a5v3cgzy13ecgzy121hv1q4zy21747os/b3-k4y5y6ins23-q4t6k
#C breadth = 6
#CLL state-numbering golly
x = 13, y = 57, rule = B3-k4y5y6in/S23-q4t6k
6bo$6bo$5bobo3$6bo$5b3o$5b5o$5bobo2bo$7bobo$6bo$6bo2b2o$11bo$7b2o$
10b2o$7bo$10bo$7b3o$10bobo$12bo$8bobo$8bo2$7b2obo$7b4o$7b2o2$8b4o$
6b3o$6b2o2bo$7b2obobo$6bo4bo$8bo$7bobo$9bo$6bo$8bo$5b2obo$4bo2bobo
$4bo4bo$3b4o$5b2o2$4bo2bo$4b2o2$3b3o$b2o3bo$bo3bo$b3o$2bobo$3b2o$
2bobo$bobo$2obo2$o!

# 21504 iterations (10932 problems, 39548 subproblems, 10572 solutions) completed: queuesize = 80; heapsize = 3806; treesize = 15395
# 21760 iterations (11021 problems, 39960 subproblems, 10739 solutions) completed: queuesize = 80; heapsize = 3910; treesize = 15588
# 22016 iterations (11131 problems, 40483 subproblems, 10885 solutions) completed: queuesize = 79; heapsize = 4016; treesize = 15803
# 22272 iterations (11258 problems, 41079 subproblems, 11014 solutions) completed: queuesize = 79; heapsize = 4033; treesize = 15951
# 22528 iterations (11388 problems, 41653 subproblems, 11140 solutions) completed: queuesize = 80; heapsize = 4043; treesize = 16100

#C depth = 246
#C breadth = 5
#CLL state-numbering golly
x = 15, y = 70, rule = B3-k4y5y6in/S23-q4t6k
8bo$8bo$7bobo3$8bo$7b3o$7b5o$7bobo2bo$9bobo$8bo$8bo2b2o$13bo$9b2o$
12b2o$9bo$12bo$9b3o$12bobo$14bo$10bobo$10bo2$9b2obo$9b4o$9b2o2$10b
4o$8b3o$8b2o2bo$9b2obobo$8bo4bo$10bo$9bobo$11bo$8bo$10bo$7b2obo$6b
o2bobo$6bo4bo$5b4o$7b2o2$6bo2bo$6b2o2$5b3o$3b2o3bo$3bo3bo$3b3o$4bo
bo$5b2o$4bobo$3bobo$2b2obo2$2bo$3bo$3bo$4b2o$3b2o$2ob3o$o2b4o$3bo$
2bo$bob3o$2bo$3o3bo$3bob2o$3bobo!


#C depth = 247
#C breadth = 5
#CLL state-numbering golly
x = 15, y = 70, rule = B3-k4y5y6in/S23-q4t6k
8bo$8bo$7bobo3$8bo$7b3o$7b5o$7bobo2bo$9bobo$8bo$8bo2b2o$13bo$9b2o$
12b2o$9bo$12bo$9b3o$12bobo$14bo$10bobo$10bo2$9b2obo$9b4o$9b2o2$10b
4o$8b3o$8b2o2bo$9b2obobo$8bo4bo$10bo$9bobo$11bo$8bo$10bo$7b2obo$6b
o2bobo$6bo4bo$5b4o$7b2o2$6bo2bo$6b2o2$5b3o$3b2o3bo$3bo3bo$3b3o$4bo
bo$5b2o$4bobo$3bobo$2b2obo2$2bo$3bo$3bo$4b2o$3b2o$2ob3o$o2b4o$3bo$
2bo$3b3o$2bo$b2o3bo$b3ob2o$2o!

# 22784 iterations (11523 problems, 42166 subproblems, 11261 solutions) completed: queuesize = 79; heapsize = 4053; treesize = 16245

#C completed spaceship: xq4_y0hjhz0kiqsg42zkn2aaze2v61z0c32m8zcjqi94z105bzw6a5v3cgzy13ecgzy121hv1q4zy21747os
#C Catagolue URL: https://catagolue.hatsya.com/object/xq4_y0hjhz0kiqsg42zkn2aaze2v61z0c32m8zcjqi94z105bzw6a5v3cgzy13ecgzy121hv1q4zy21747os/b3-k4y5y6ins23-q4t6k
#C breadth = 5
#CLL state-numbering golly
x = 13, y = 57, rule = B3-k4y5y6in/S23-q4t6k
6bo$6bo$5bobo3$6bo$5b3o$3b5o$2bo2bobo$3bobo$6bo$2b2o2bo$bo$4b2o$b
2o$5bo$2bo$3b3o$obo$o$2bobo$4bo2$2bob2o$2b4o$4b2o2$b4o$4b3o$2bo2b
2o$obob2o$bo4bo$4bo$3bobo$3bo$6bo$4bo$4bob2o$3bobo2bo$3bo4bo$6b4o$
6b2o2$5bo2bo$7b2o2$7b3o$6bo3b2o$7bo3bo$9b3o$8bobo$8b2o$8bobo$9bobo
$9bob2o2$12bo!

Code: Select all

x = 33, y = 57, rule = B3-k4y5y6in/S23-q4t6k
6bo19bo$6bo19bo$5bobo17bobo3$6bo19bo$5b3o17b3o$5b5o13b5o$5bobo2bo11bo
2bobo$7bobo13bobo$6bo19bo$6bo2b2o11b2o2bo$11bo9bo$7b2o15b2o$10b2o9b2o$
7bo17bo$10bo11bo$7b3o13b3o$10bobo7bobo$12bo7bo$8bobo11bobo$8bo15bo2$7b
2obo11bob2o$7b4o11b4o$7b2o15b2o2$8b4o9b4o$6b3o15b3o$6b2o2bo11bo2b2o$7b
2obobo7bobob2o$6bo4bo9bo4bo$8bo15bo$7bobo13bobo$9bo13bo$6bo19bo$8bo15b
o$5b2obo15bob2o$4bo2bobo13bobo2bo$4bo4bo13bo4bo$3b4o19b4o$5b2o19b2o2$
4bo2bo17bo2bo$4b2o21b2o2$3b3o21b3o$b2o3bo19bo3b2o$bo3bo21bo3bo$b3o25b
3o$2bobo23bobo$3b2o23b2o$2bobo23bobo$bobo25bobo$2obo25bob2o2$o31bo!
Help me find high-period c/2 technology!
My guide: https://bit.ly/3uJtzu9
My c/2 tech collection: https://bit.ly/3qUJg0u
Overview of periods: https://bit.ly/3LwE0I5
Most wanted periods: 76,116

User avatar
pzq_alex
Posts: 792
Joined: May 1st, 2021, 9:00 pm
Location: tell me if you know

Re: ikpx 2.2

Post by pzq_alex » June 23rd, 2021, 11:23 pm

wwei47 wrote:
June 19th, 2021, 11:34 pm
Is ikpx2 supposed to spit out a spaceship, then spit out its mirror image?

Code: Select all

# 21248 iterations (10824 problems, 39224 subproblems, 10424 solutions) completed: queuesize = 79; heapsize = 3677; treesize = 15156

#C completed spaceship: xq4_y0hjhz0kiqsg42zkn2aaze2v61z0c32m8zcjqi94z105bzw6a5v3cgzy13ecgzy121hv1q4zy21747os
#C Catagolue URL: https://catagolue.hatsya.com/object/xq4_y0hjhz0kiqsg42zkn2aaze2v61z0c32m8zcjqi94z105bzw6a5v3cgzy13ecgzy121hv1q4zy21747os/b3-k4y5y6ins23-q4t6k
#C breadth = 6
#CLL state-numbering golly
x = 13, y = 57, rule = B3-k4y5y6in/S23-q4t6k
6bo$6bo$5bobo3$6bo$5b3o$5b5o$5bobo2bo$7bobo$6bo$6bo2b2o$11bo$7b2o$
10b2o$7bo$10bo$7b3o$10bobo$12bo$8bobo$8bo2$7b2obo$7b4o$7b2o2$8b4o$
6b3o$6b2o2bo$7b2obobo$6bo4bo$8bo$7bobo$9bo$6bo$8bo$5b2obo$4bo2bobo
$4bo4bo$3b4o$5b2o2$4bo2bo$4b2o2$3b3o$b2o3bo$bo3bo$b3o$2bobo$3b2o$
2bobo$bobo$2obo2$o!

# 21504 iterations (10932 problems, 39548 subproblems, 10572 solutions) completed: queuesize = 80; heapsize = 3806; treesize = 15395
# 21760 iterations (11021 problems, 39960 subproblems, 10739 solutions) completed: queuesize = 80; heapsize = 3910; treesize = 15588
# 22016 iterations (11131 problems, 40483 subproblems, 10885 solutions) completed: queuesize = 79; heapsize = 4016; treesize = 15803
# 22272 iterations (11258 problems, 41079 subproblems, 11014 solutions) completed: queuesize = 79; heapsize = 4033; treesize = 15951
# 22528 iterations (11388 problems, 41653 subproblems, 11140 solutions) completed: queuesize = 80; heapsize = 4043; treesize = 16100

#C depth = 246
#C breadth = 5
#CLL state-numbering golly
x = 15, y = 70, rule = B3-k4y5y6in/S23-q4t6k
8bo$8bo$7bobo3$8bo$7b3o$7b5o$7bobo2bo$9bobo$8bo$8bo2b2o$13bo$9b2o$
12b2o$9bo$12bo$9b3o$12bobo$14bo$10bobo$10bo2$9b2obo$9b4o$9b2o2$10b
4o$8b3o$8b2o2bo$9b2obobo$8bo4bo$10bo$9bobo$11bo$8bo$10bo$7b2obo$6b
o2bobo$6bo4bo$5b4o$7b2o2$6bo2bo$6b2o2$5b3o$3b2o3bo$3bo3bo$3b3o$4bo
bo$5b2o$4bobo$3bobo$2b2obo2$2bo$3bo$3bo$4b2o$3b2o$2ob3o$o2b4o$3bo$
2bo$bob3o$2bo$3o3bo$3bob2o$3bobo!


#C depth = 247
#C breadth = 5
#CLL state-numbering golly
x = 15, y = 70, rule = B3-k4y5y6in/S23-q4t6k
8bo$8bo$7bobo3$8bo$7b3o$7b5o$7bobo2bo$9bobo$8bo$8bo2b2o$13bo$9b2o$
12b2o$9bo$12bo$9b3o$12bobo$14bo$10bobo$10bo2$9b2obo$9b4o$9b2o2$10b
4o$8b3o$8b2o2bo$9b2obobo$8bo4bo$10bo$9bobo$11bo$8bo$10bo$7b2obo$6b
o2bobo$6bo4bo$5b4o$7b2o2$6bo2bo$6b2o2$5b3o$3b2o3bo$3bo3bo$3b3o$4bo
bo$5b2o$4bobo$3bobo$2b2obo2$2bo$3bo$3bo$4b2o$3b2o$2ob3o$o2b4o$3bo$
2bo$3b3o$2bo$b2o3bo$b3ob2o$2o!

# 22784 iterations (11523 problems, 42166 subproblems, 11261 solutions) completed: queuesize = 79; heapsize = 4053; treesize = 16245

#C completed spaceship: xq4_y0hjhz0kiqsg42zkn2aaze2v61z0c32m8zcjqi94z105bzw6a5v3cgzy13ecgzy121hv1q4zy21747os
#C Catagolue URL: https://catagolue.hatsya.com/object/xq4_y0hjhz0kiqsg42zkn2aaze2v61z0c32m8zcjqi94z105bzw6a5v3cgzy13ecgzy121hv1q4zy21747os/b3-k4y5y6ins23-q4t6k
#C breadth = 5
#CLL state-numbering golly
x = 13, y = 57, rule = B3-k4y5y6in/S23-q4t6k
6bo$6bo$5bobo3$6bo$5b3o$3b5o$2bo2bobo$3bobo$6bo$2b2o2bo$bo$4b2o$b
2o$5bo$2bo$3b3o$obo$o$2bobo$4bo2$2bob2o$2b4o$4b2o2$b4o$4b3o$2bo2b
2o$obob2o$bo4bo$4bo$3bobo$3bo$6bo$4bo$4bob2o$3bobo2bo$3bo4bo$6b4o$
6b2o2$5bo2bo$7b2o2$7b3o$6bo3b2o$7bo3bo$9b3o$8bobo$8b2o$8bobo$9bobo
$9bob2o2$12bo!

Code: Select all

x = 33, y = 57, rule = B3-k4y5y6in/S23-q4t6k
6bo19bo$6bo19bo$5bobo17bobo3$6bo19bo$5b3o17b3o$5b5o13b5o$5bobo2bo11bo
2bobo$7bobo13bobo$6bo19bo$6bo2b2o11b2o2bo$11bo9bo$7b2o15b2o$10b2o9b2o$
7bo17bo$10bo11bo$7b3o13b3o$10bobo7bobo$12bo7bo$8bobo11bobo$8bo15bo2$7b
2obo11bob2o$7b4o11b4o$7b2o15b2o2$8b4o9b4o$6b3o15b3o$6b2o2bo11bo2b2o$7b
2obobo7bobob2o$6bo4bo9bo4bo$8bo15bo$7bobo13bobo$9bo13bo$6bo19bo$8bo15b
o$5b2obo15bob2o$4bo2bobo13bobo2bo$4bo4bo13bo4bo$3b4o19b4o$5b2o19b2o2$
4bo2bo17bo2bo$4b2o21b2o2$3b3o21b3o$b2o3bo19bo3b2o$bo3bo21bo3bo$b3o25b
3o$2bobo23bobo$3b2o23b2o$2bobo23bobo$bobo25bobo$2obo25bob2o2$o31bo!
ikpx2 searches for symmetrical spaceships first, to reduce the search space size.
\sum_{n=1}^\infty H_n/n^2 = \zeta(3)

How much of current CA technology can I redevelop "on a desert island"?

erictom333
Posts: 171
Joined: January 9th, 2019, 2:44 am

Re: ikpx 2.2

Post by erictom333 » October 29th, 2021, 4:39 am

How do I get this running?

GUYTU6J
Posts: 2200
Joined: August 5th, 2016, 10:27 am
Location: 拆哪!I repeat, CHINA! (a.k.a. 种花家)
Contact:

Re: ikpx 2.2

Post by GUYTU6J » October 29th, 2021, 5:47 am

erictom333 wrote:
October 29th, 2021, 4:39 am
How do I get this running?
First you'd need to get Cygwin working on your computer, then

Code: Select all

git clone https://gitlab.com/apgoucher/ikpx2.git

User avatar
yujh
Posts: 3066
Joined: February 27th, 2020, 11:23 pm
Location: I'm not sure where I am, so please tell me if you know
Contact:

Re: ikpx 2.2

Post by yujh » October 29th, 2021, 8:38 am

erictom333 wrote:
October 29th, 2021, 4:39 am
How do I get this running?
You will probably want Ubuntu because it is 40% faster, but if you are on windows remember to use WSL1 not 2
Rule modifier

B34kz5e7c8/S23-a4ityz5k
b2n3-q5y6cn7s23-k4c8
B3-kq6cn8/S2-i3-a4ciyz8
B3-kq4z5e7c8/S2-ci3-a4ciq5ek6eik7

Bored of Conway's Game of Life? Try Pedestrian Life -- not pedestrian at all!

GUYTU6J
Posts: 2200
Joined: August 5th, 2016, 10:27 am
Location: 拆哪!I repeat, CHINA! (a.k.a. 种花家)
Contact:

Re: ikpx 2.2

Post by GUYTU6J » October 29th, 2021, 8:45 am

yujh wrote:
October 29th, 2021, 8:38 am
...but if you are on windows remember to use WSL1 not 2
Why? I don't see any ikpx2 documentation that says so.

User avatar
yujh
Posts: 3066
Joined: February 27th, 2020, 11:23 pm
Location: I'm not sure where I am, so please tell me if you know
Contact:

Re: ikpx 2.2

Post by yujh » October 29th, 2021, 3:27 pm

GUYTU6J wrote:
October 29th, 2021, 8:45 am
yujh wrote:
October 29th, 2021, 8:38 am
...but if you are on windows remember to use WSL1 not 2
Why? I don't see any ikpx2 documentation that says so.
That’s window’s own problem, because at least in Qi does 10 you can’t use WSL2
Rule modifier

B34kz5e7c8/S23-a4ityz5k
b2n3-q5y6cn7s23-k4c8
B3-kq6cn8/S2-i3-a4ciyz8
B3-kq4z5e7c8/S2-ci3-a4ciq5ek6eik7

Bored of Conway's Game of Life? Try Pedestrian Life -- not pedestrian at all!

Post Reply