ikpx 2.2

[silversmith]

I can't seem to get it working

What did you try? What errors did you get?

[CARuler]

I just couldn't find the download

[silversmith]

Well have you ever used git?

If you have git then run

Code: Select all

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

in whatever folder you want ikpx2 to be in.

If you don't have git, then try to install it. On Linux it's easy to install git and ikpx2, otherwise the process could get complex.

If you need help, tell us what operating system you have.

[CARuler]

Well have you ever used git?

If you have git then run

Code: Select all

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

in whatever folder you want ikpx2 to be in.

If you don't have git, then try to install it. On Linux it's easy to install git and ikpx2, otherwise the process could get complex.

If you need help, tell us what operating system you have.

alright, done all steps.
now how do I open it?
um... can't seem to find it

[silversmith]

um... can't seem to find it

Navigate to the ikpx2 folder. It should be made in the location where you ran "git clone". In it there should be a recompile.sh file, a README.md, and several other folders. Run:

Code: Select all

./recompile.sh

This will create the ikpx2 executable, which can be run like this:

Code: Select all

./ikpx2 --velocity c/3

The "--velocity c/3" can be replaced with other options you can use to customize the search. The README.md lists most of the options you can use, and some examples.

now how do I open it?

In summary, ikpx2 isn't a program you install like other applications. Rather you run the executables from within the ikpx2 folder.

[CARuler]

Ok, now how do I give it my commands? I typed in ./ikpx2 and it didn't work

[LaundryPizza03]

Ok, now how do I give it my commands? I typed in ./ikpx2 and it didn't work

Code: Select all

./recompile.sh --rule <RULE>

Code: Select all

./ikpx2 -v <speed>

Type in ./ikpx2 -h for more information.

[CARuler]

Ok, now how do I give it my commands? I typed in ./ikpx2 and it didn't work

Code: Select all

./recompile.sh --rule <RULE>

Code: Select all

./ikpx2 -v <speed>

Type in ./ikpx2 -h for more information.

I meant how do get it to execute commands in git

[silversmith]

I meant how do get it to execute commands in git

One executes commands in a command line. Git is one program you can use in a command line, like with:

Code: Select all

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

ikpx2 is another program you can use in a command line like with

Code: Select all

./ikpx2 --velocity c/3

What application are you typing in? What happened when you ran the recompile.sh program?

Code: Select all

./recompile.sh

[CARuler]

What application are you typing in? What happened when you ran the recompile.sh program?

Code: Select all

./recompile.sh

A window in git opened and closed nothing else happened

[confocaloid]

[...] A window in git opened and closed nothing else happened

Looks like essentially the same point was already answered, in a recent discussion about another CLI software tool:

it doesn't open upon me pressing the open button I can see it flash before it closes

qfind needs to be invoked from the command line, with appropriate parameters that depend on what kind of spaceships you want to find.
Similarly to many other search programs in existence, qfind is a CLI software tool ("command line interface").

[CARuler]

Looks like essentially the same point was already answered, in a recent discussion about another CLI software tool:

it doesn't open upon me pressing the open button I can see it flash before it closes

qfind needs to be invoked from the command line, with appropriate parameters that depend on what kind of spaceships you want to find.
Similarly to many other search programs in existence, qfind is a CLI software tool ("command line interface").

That was in the command terminal, not git

[silversmith]

I can't seem to get it working

alright, done all steps.
now how do I open it?
um... can't seem to find it

Ok, now how do I give it my commands? I typed in ./ikpx2 and it didn't work

That was in the command terminal, not git

In general, to get help on the internet, you need to be willing to share a lot of information. The basics include:

• What did you do?
• What were there results?
• What environment you are working in?

Without this kind of information, nobody will be able to help you with what you are dealing with. I don't even know if you are working on Windows, Linux, MacOS, or something else.

What operating system are you using? If you don't understand the question, what kind of computer are you using?
What is the exact name of the application you are working in?
What folder are you running commands in? If it's "ikpx2", type the command "ls" and check if a file named "ikpx2" is listed.
What errors are you getting? Ideally copy and paste whatever happens after you run a command. For example, if I try to run ikpx2 in the wrong folder, it looks like this.

Code: Select all

[user@computername ~]$ ./ikpx2
bash: ./ikpx2: No such file or directory
[user@computername ~]$

If I run the "ls" command in my ikpx2 folder, it looks like this:

Code: Select all

[user@computername ikpx2]$ ls
apgmera                                                                                         backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_7_width_21_even.bin   cqueue         README.md
backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_6_width_23_odd.bin    backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_7_width_21_final.bin  docs           recompile.sh
backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_7_width_18_even.bin   backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_7_width_21_odd.bin    ikpx2          solvers
backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_7_width_18_final.bin  backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_7_width_22_even.bin   kissat         src
backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_7_width_18_odd.bin    backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_7_width_22_odd.bin    kissat_extras
backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_7_width_19_odd.bin    cadical                                                                                         LICENCE.txt
[user@computername ikpx2]$

[CARuler]

i'm working on a windows thinkpad
also, there's nothing before the $

[CARuler]

oliver@oli-yoga MINGW64 ~/ikpx2 (master)
$ ./recompile.sh --rule b2cik3-i4-a5ys1e2aek3er5-a
Updating submodules...
Building kissat solver...
configure: reusing existing build directory 'build'
./configure: line 363: can not combine '--quiet' and '--no-statistics': command not found
./configure: line 562: gcc: command not found
configure: assuming GCC version uses C99 by default
configure: compiler 'gcc -W -Wall -O3 -ggdb3 -DCOMPACT -DNDEBUG -DNPROOFS -DQUIET'
configure: linker 'gcc' (no additional options)
configure: using default 'ar' (no cross compilation)
configure: no 'tissat' binary generated (without '--test')
configure: no 'libkissat.so' shared library generated (without '-shared')
configure: no 'kitten' binary generated (without '--kitten')
configure: install 'jq' to enable compile_commands.json generation
./recompile.sh: line 24: make: command not found

oliver@oli-yoga MINGW64 ~/ikpx2 (master)
$ ./ikpx2 --help
bash: ./ikpx2: No such file or directory

[Sokwe]

i'm working on a windows thinkpad

MINGW64 ~/ikpx2 (master)...

./configure: line 562: gcc: command not found

Years ago, I compiled Kissat under MinGW-w64, but I recall it being a tricky process. I don't know if the situation has improved since then for native Windows compilation, but you might have difficulty. You're especially going to have difficulty compiling if the compiler, gcc, can't be found.

I think the easiest way to compile ikpx2 on Windows would be to use Windows Subsystem for Linux (WSL). You should be able to find guides on how to install WSL on the internet.

[islptng]

How can I continue a stopped search?

[confocaloid]

How can I continue a stopped search?

Although I did not really use the backups feature enough to tell whether I'm using it correctly/whether it works correctly, here's an attempt to explain it.

If you just enter "./ikpx2" in the command line (without requesting any search), then it will print an "usage explainer":

Code: Select all

Incremental Knightship Partial Extender, version 2.2
====================================================

Usage: ./ikpx2 -v VELOCITY [OTHER_OPTIONS...] [INPUT_FILES...]

Minimal example: ./ikpx2 -v '(2,1)c/6'

Options:
   -v, --velocity          specify the velocity, e.g. '(2,1)c/6' or 'c/5d'
   -p, --threads           number of CPU threads to use (default 8)
   -n, --soups             number of soups to upload in each haul to Catagolue
   -k, --key               payosha256 key to upload non-anonymously to Catagolue
   -d, --directory         existing directory in which to save backup files
   -b, --backup            number of seconds between adjacent backups
   -m, --minimum-depth     only search from this position onwards
   -w, --width             initial search width in logical columns
   -x, --maximum-width     terminate the program when this width is exhausted
   -l, --lookahead         number of logical rows by which to extend partials
   -j, --jumpahead         number of logical rows to jump forward in the search
   -h, --help              show this message and exit

The input files can be either RLEs or ikpx2 backups (of the same velocity!).

To change the underlying rule, use:

    ./recompile.sh --rule RULE

where RULE can be any lifelike or isotropic rule in Hensel notation.

Error: zero command-line arguments were provided.

For backups, note in particular "-b" and "[INPUT_FILES...]"

I wanted to test the backup feature. To do that, I compiled ikpx2 for b2e3air4ijwzs12-in3k4r5i:

Code: Select all

# ./recompile.sh --rule b2e3air4ijwzs12-in3k4r5i

Then I requested a search for orthogonal c/13 spaceships, with 300 seconds (= 5 minutes) between backups:

Code: Select all

# ./ikpx2 -v c/13o -b 300

Note that you don't have to tell "-b 300". If unspecified, it defaults to 1800 seconds if I remember correctly, which is a reasonable choice for long-running searches.

Then I waited several minutes, until the following message was printed:

Code: Select all

#C depth = 20
#C breadth = 6
#CLL state-numbering golly
x = 6, y = 10, rule = B2e3air4ijwz/S12-in3k4r5i
2b2o$2b2o$2o2b2o$bo2bo2$2b2o$bo2bo$o4bo2$bo2bo!

# Performing backup...
# ...saved backup file ./backup_b2e3air4ijwzs12-in3k4r5i_velocity_1_0_13_width_4_odd.bin successfully.

#C depth = 21
#C breadth = 6
#CLL state-numbering golly
x = 6, y = 10, rule = B2e3air4ijwz/S12-in3k4r5i
2b2o$2b2o$2o2b2o$bo2bo2$2b2o$bo2bo$o4bo2$ob2obo!

Then I interrupted the search (Ctrl+C). Now there is a file 'backup_b2e3air4ijwzs12-in3k4r5i_velocity_1_0_13_width_4_odd.bin' in the working directory in which ikpx2 was launched.

Then I requested the same search again, only this time specifying the backup file name:

Code: Select all

# ./ikpx2 -v c/13o -b 300 backup_b2e3air4ijwzs12-in3k4r5i_velocity_1_0_13_width_4_odd.bin

It prints the following, which I interpret as an indication that the program accepted and used the backup file:

Code: Select all

ikpx2 has been compiled for the rule b2e3air4ijwzs12-in3k4r5i  (235 prime implicants).

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

sizeof(workitem) = 32
sizeof(iterator) = 8
# Valid velocity: (1,0)c/13
# Jacobian: [(0, 13), (1, 0), (0, 1)]
# lookahead = 106; jumpahead = 13
# Profile: depth0 = 2/5 2/5 2/6 4/7 3/7 3/8 3/8 3/8 4/8 4/8 5/9 6/10 6/10 6/9 7/10 6/8 4/6 4/6 4/6 5/6 5/6 4 4 4 3 3 2 1 1 1 1 1 1 1 = depth33
# solvers invoked: trivial=63, cadical=62, kissat=36
# Adaptive widening to width 4 (treesize = 183)
# Profile: depth0 = 2/5 2/5 2/6 4/7 3/7 3/8 3/8 3/8 4/8 4/8 5/9 6/10 6/10 6/9 7/10 6/8 4/6 4/6 4/6 5/6 5/6 4 4 4 3 3 2 1 1 1 1 1 1 1 = depth33

[silversmith]

A search I was running kept crashing, and the issue seems to persist when resuming the backup from another computer. This is the command I ran, which crashed with a segmentation fault after about half an hour.

Code: Select all

./ikpx2 --velocity "(2,1)c/7" backup_b2cei3-eijr4ceirtw5ciqy6-e7cs1c2-c3-aiqy4ikntw5nqr6-a_velocity_2_1_7_width_24_odd.bin -w 24

Backup file:
https://drive.google.com/file/d/1gejnkF ... sp=sharing

ikpx2 version: commit 0753426bf46496d08eb0ab3540eddb93c1d4e193

Somewhat relatedly, what is the file size limit for this forum? It seems the 69MB compressed backup was too large.

I am mainly uploading this as a bug report, and to help anyone who may have a similar issue.

[R2INT]

How do I get ikpx 2.2 working on Windows?

[Sokwe]

How do I get ikpx 2.2 working on Windows?

You should compile and run it under WSL 2 (Windows Subsystem for Linux Version 2).

[islptng]

Who can precompile ikpx2 for windows? I tried to download Cygwin but failed, on my Windows 7 alter computer.
For BasiKnight(b2e3air4ijwzs12-in3k4r5i), c/5o. Thanks.