Ikpx and grills

For scripts to aid with computation or simulation in cellular automata.
User avatar
calcyman
Moderator
Posts: 2932
Joined: June 1st, 2009, 4:32 pm

Re: Ikpx

Post by calcyman » March 12th, 2018, 7:35 pm

googleplex wrote:how to make it print partials?
It does so automatically whenever it finds a partial longer than the current longest partial. They're in ikpx format, so you need to copy them into Golly and run ikpx2golly to convert them into a list of phases.
What do you do with ill crystallographers? Take them to the mono-clinic!

Hooloovoo
Posts: 38
Joined: July 11th, 2015, 8:59 pm

Re: Ikpx

Post by Hooloovoo » March 12th, 2018, 9:17 pm

From what I can tell from looking at the source, k is the number of unknown rows after the current partial.

How should it be chosen?

I'm not entirely clear on what jumpahead does. Is it important to set it as well?

googleplex
Posts: 308
Joined: January 24th, 2018, 4:36 pm
Location: The hertzsprung gap

Re: Ikpx

Post by googleplex » March 12th, 2018, 10:13 pm

I have found the trick to quickly searching!
Using a raspberry pi 3, I can use ikpx blazingly fast!
Currently running a (3,1)c/8 search, 4 cores.
Look at me! I make patterns in golly and go on the forums! I wanna be Famous!

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

Re: Ikpx

Post by calcyman » March 12th, 2018, 10:58 pm

Hooloovoo wrote:From what I can tell from looking at the source, k is the number of unknown rows after the current partial.

How should it be chosen?

I'm not entirely clear on what jumpahead does. Is it important to set it as well?
The jumpahead parameter is, when receiving a result from a SAT solver, the maximum number of further rows to include into the search tree (it should be less than the lookahead k, and defaults to k/2). I've always left it at the default value, which seems to work well.

As for lookahead, trial-and-error is the best approach; set it high, but not sufficiently high that the SAT solvers take forever to run.
What do you do with ill crystallographers? Take them to the mono-clinic!

googleplex
Posts: 308
Joined: January 24th, 2018, 4:36 pm
Location: The hertzsprung gap

Re: Ikpx

Post by googleplex » March 13th, 2018, 11:26 am

Checked on my raspberry pi I was running Ikpx on, and there was a problem:
It was overheating from cpu use!
Raspberry pis use unix, so It was faster than a $1200 gaming computer!
Calcyman, can you add a feature to change cpu usage?
Look at me! I make patterns in golly and go on the forums! I wanna be Famous!

Hooloovoo
Posts: 38
Joined: July 11th, 2015, 8:59 pm

Re: Ikpx

Post by Hooloovoo » March 13th, 2018, 3:58 pm

1. If a raspberry pi is faster than a gaming computer, it seems likely to me that there is a configuration issue somewhere.
2. There /are/ options to change cpu use. Did you run "ikpx.py -h"?

googleplex
Posts: 308
Joined: January 24th, 2018, 4:36 pm
Location: The hertzsprung gap

Re: Ikpx and grills

Post by googleplex » March 20th, 2018, 8:04 pm

how is grills used?
Look at me! I make patterns in golly and go on the forums! I wanna be Famous!

googleplex
Posts: 308
Joined: January 24th, 2018, 4:36 pm
Location: The hertzsprung gap

Re: Ikpx and grills

Post by googleplex » March 21st, 2018, 10:53 pm

a good ikpx resault:

Code: Select all

ython ikpx.py -d 216/4core/week -f p4k5 -v 2,1c/6

****************************************************************

Incremental Knightship Partial Extend (ikpx)

****************************************************************

Parsing velocity...
Parameters: {'dudy': -1, 'dudx': 2, 'dvdx': 0, 'dvdy': 3, 'a': 1, 'p': 6, 'b': 2, 'dudt': 0, 'dvdt': 1}
Directory 216/4core/week already exists.
Ensuring iglucose is installed and operational:

****************************************************************

c
c This is glucose 3.0 --  based on MiniSAT (Many thanks to MiniSAT team)
c
c USAGE: compiled/iglucose [options] <input-file> <result-output-file>

  where input may be either in plain or gzipped DIMACS.

CORE OPTIONS:

  -incremental, -no-incremental           (default: off)
  -rnd-init, -no-rnd-init                 (default: off)

  -gc-frac      = <double> (   0 ..  inf) (default: 0.2)
  -rnd-seed     = <double> (   0 ..  inf) (default: 9.16483e+07)
  -rnd-freq     = <double> [   0 ..    1] (default: 0)
  -cla-decay    = <double> (   0 ..    1) (default: 0.999)
  -var-decay    = <double> (   0 ..    1) (default: 0.8)

  -phase-saving = <int32>  [   0 ..    2] (default: 2)
  -ccmin-mode   = <int32>  [   0 ..    2] (default: 2)

CORE -- CERTIFIED UNSAT OPTIONS:

  -vbyte, -no-vbyte                       (default: off)
  -certified, -no-certified               (default: off)

  -certified-output = <string>

CORE -- MINIMIZE OPTIONS:

  -minLBDMinimizingClause = <int32>  [   3 .. imax] (default: 6)
  -minSizeMinimizingClause = <int32>  [   3 .. imax] (default: 30)

CORE -- REDUCE OPTIONS:

  -firstReduceDB = <int32>  [   0 .. imax] (default: 2000)
  -minLBDFrozenClause = <int32>  [   0 .. imax] (default: 30)
  -specialIncReduceDB = <int32>  [   0 .. imax] (default: 1000)
  -incReduceDB  = <int32>  [   0 .. imax] (default: 300)

CORE -- RESTART OPTIONS:

  -K            = <double> (   0 ..    1) (default: 0.8)
  -R            = <double> (   1 ..    5) (default: 1.4)

  -szLBDQueue   = <int32>  [  10 .. imax] (default: 50)
  -szTrailQueue = <int32>  [  10 .. imax] (default: 5000)

MAIN OPTIONS:

  -stop-at-unsat, -no-stop-at-unsat       (default: off)
  -model, -no-model                       (default: off)
  -stop-at-sat, -no-stop-at-sat           (default: off)

  -inc-bound    = <int32>  [   1 .. imax] (default: 1)
  -to-bound     = <int32>  [   0 .. imax] (default: 2147483647)
  -from-bound   = <int32>  [   0 .. imax] (default: 0)
  -mem-lim      = <int32>  [   0 .. imax] (default: 2147483647)
  -cpu-lim      = <int32>  [   0 .. imax] (default: 2147483647)
  -vv           = <int32>  [   1 .. imax] (default: 10000)
  -verb         = <int32>  [   0 ..    2] (default: 1)

HELP OPTIONS:

  --help        Print help message.
  --help-verb   Print verbose help message.

Exit status: 0

****************************************************************

Commencing search with the following parameters:
head search: {'a': 999999, 'd': 0.9, 'i': (0, 0, 0, 0, 0, 1), 'k': 5, 'j': 2, 'p': 4, 't': 600, 'w': 5}
Directory 216/4core/week/backup already exists.
Backup file 216/4core/week/backup/backup_head_location.txt found
To quit the program, either Ctrl+C or run the command:
 kill -SIGINT -6725 
Increasing head search width to 6...
...adaptive widening completed.
Increasing head search width to 7...
...adaptive widening completed.
Increasing head search width to 8...
...adaptive widening completed.
Increasing head search width to 9...
...adaptive widening completed.
Increasing head search width to 10...
...adaptive widening completed.
Increasing head search width to 11...
...adaptive widening completed.
Increasing head search width to 12...
...adaptive widening completed.
Increasing head search width to 13...
...adaptive widening completed.
Found partial head of length 11.
As integer list: (128, 224, 496, 1528, 1208, 662, 902, 1293, 3233, 1922, 1994, 6212, 70, 3791, 39, 6919)
As plaintext:
.......*
.....***
....*****
...******.*
...***.*..*
.**.*..*.*
.**....***
*.**....*.*
*....*.*..**
.*.....****
.*.*..*****
..*...*....**
.**...*
****..**.***
***..*
***.....**.**
Found partial head of length 12.
As integer list: (128, 224, 496, 1528, 1208, 662, 902, 3341, 3233, 898, 1994, 68, 582, 2671, 1127, 4935, 1921)
As plaintext:
.......*
.....***
....*****
...******.*
...***.*..*
.**.*..*.*
.**....***
*.**....*.**
*....*.*..**
.*.....***
.*.*..*****
..*...*
.**...*..*
****.**..*.*
***..**...*
***...*.**..*
*......****
900 head edges traversed (head queue size ~= 481).
1000 head edges traversed (head queue size ~= 449).
1100 head edges traversed (head queue size ~= 412).
Found partial head of length 13.
As integer list: (128, 224, 496, 1528, 1208, 662, 902, 3341, 3233, 898, 1994, 4164, 4678, 719, 3661, 295, 6272, 5427)
As plaintext:
.......*
.....***
....*****
...******.*
...***.*..*
.**.*..*.*
.**....***
*.**....*.**
*....*.*..**
.*.....***
.*.*..*****
..*...*.....*
.**...*..*..*
****..**.*
*.**..*..***
***..*..*
.......*...**
**..**..*.*.*
1200 head edges traversed (head queue size ~= 232).
Found partial head of length 14.
As integer list: (128, 224, 496, 1528, 1208, 662, 902, 3341, 3233, 898, 1994, 4164, 4678, 1999, 3663, 7431, 4097, 2906, 2234)
As plaintext:
.......*
.....***
....*****
...******.*
...***.*..*
.**.*..*.*
.**....***
*.**....*.**
*....*.*..**
.*.....***
.*.*..*****
..*...*.....*
.**...*..*..*
****..*****
****..*..***
***.....*.***
*...........*
.*.**.*.**.*
.*.***.*...*
Increasing head search width to 14...
...adaptive widening completed.
1300 head edges traversed (head queue size ~= 1259).
1400 head edges traversed (head queue size ~= 1279).
1500 head edges traversed (head queue size ~= 1295).
1600 head edges traversed (head queue size ~= 1318).
1700 head edges traversed (head queue size ~= 1358).
1800 head edges traversed (head queue size ~= 1424).
1900 head edges traversed (head queue size ~= 1509).
2000 head edges traversed (head queue size ~= 1527).
2100 head edges traversed (head queue size ~= 1537).
2200 head edges traversed (head queue size ~= 1514).
2300 head edges traversed (head queue size ~= 1550).
2400 head edges traversed (head queue size ~= 1583).
2500 head edges traversed (head queue size ~= 1579).
2600 head edges traversed (head queue size ~= 1567).
2700 head edges traversed (head queue size ~= 1579).
2800 head edges traversed (head queue size ~= 1584).
2900 head edges traversed (head queue size ~= 1338).
3000 head edges traversed (head queue size ~= 957).
3100 head edges traversed (head queue size ~= 444).
Increasing head search width to 15...
...adaptive widening completed.
3200 head edges traversed (head queue size ~= 3191).
3300 head edges traversed (head queue size ~= 3225).
3400 head edges traversed (head queue size ~= 3217).
3500 head edges traversed (head queue size ~= 3297).
Found partial head of length 15.
As integer list: (512, 896, 1984, 6112, 4832, 2648, 3608, 13364, 12932, 3592, 7976, 16656, 18712, 7996, 14652, 29724, 16385, 11602, 8938, 29276)
As plaintext:
.........*
.......***
......*****
.....******.*
.....***.*..*
...**.*..*.*
...**....***
..*.**....*.**
..*....*.*..**
...*.....***
...*.*..*****
....*...*.....*
...**...*..*..*
..****..*****
..****..*..***
..***.....*.***
*.............*
.*..*.*.*.**.*
.*.*.***.*...*
..***.*..*..***
3600 head edges traversed (head queue size ~= 3283).
3700 head edges traversed (head queue size ~= 3272).
3800 head edges traversed (head queue size ~= 3287).
Found partial head of length 16.
As integer list: (512, 896, 1984, 6112, 4832, 2648, 3608, 13364, 12932, 3592, 7976, 16656, 18712, 7996, 14652, 29724, 16385, 11602, 10474, 26201, 834)
As plaintext:
.........*
.......***
......*****
.....******.*
.....***.*..*
...**.*..*.*
...**....***
..*.**....*.**
..*....*.*..**
...*.....***
...*.*..*****
....*...*.....*
...**...*..*..*
..****..*****
..****..*..***
..***.....*.***
*.............*
.*..*.*.*.**.*
.*.*.***...*.*
*..**.*..**..**
.*....*.**
3900 head edges traversed (head queue size ~= 3344).
4000 head edges traversed (head queue size ~= 3381).
4100 head edges traversed (head queue size ~= 3404).
4200 head edges traversed (head queue size ~= 3430).
4300 head edges traversed (head queue size ~= 3452).
4400 head edges traversed (head queue size ~= 3450).
4500 head edges traversed (head queue size ~= 3464).
4600 head edges traversed (head queue size ~= 3497).
4700 head edges traversed (head queue size ~= 3521).
4800 head edges traversed (head queue size ~= 3525).
4900 head edges traversed (head queue size ~= 3553).
5000 head edges traversed (head queue size ~= 3578).
5100 head edges traversed (head queue size ~= 3556).
5200 head edges traversed (head queue size ~= 3545).
5300 head edges traversed (head queue size ~= 3571).
5400 head edges traversed (head queue size ~= 3612).
5500 head edges traversed (head queue size ~= 3706).
5600 head edges traversed (head queue size ~= 3796).
5700 head edges traversed (head queue size ~= 3869).
5800 head edges traversed (head queue size ~= 3838).
5900 head edges traversed (head queue size ~= 3861).
6000 head edges traversed (head queue size ~= 3882).
6100 head edges traversed (head queue size ~= 3865).
6200 head edges traversed (head queue size ~= 3873).
6300 head edges traversed (head queue size ~= 3894).
6400 head edges traversed (head queue size ~= 3873).
6500 head edges traversed (head queue size ~= 3856).
6600 head edges traversed (head queue size ~= 3867).
6700 head edges traversed (head queue size ~= 3899).
6800 head edges traversed (head queue size ~= 3863).
6900 head edges traversed (head queue size ~= 3871).
7000 head edges traversed (head queue size ~= 3630).
7100 head edges traversed (head queue size ~= 3464).
7200 head edges traversed (head queue size ~= 3069).
7300 head edges traversed (head queue size ~= 2477).
7400 head edges traversed (head queue size ~= 1861).
7500 head edges traversed (head queue size ~= 1192).
7600 head edges traversed (head queue size ~= 910).
Found partial head of length 17.
As integer list: (8192, 14336, 31744, 97792, 28160, 58752, 17152, 115136, 28800, 58752, 1440, 4896, 29504, 8448, 3888, 3384, 18844, 17438, 11790, 9735, 29740, 12947)
As plaintext:
.............*
...........***
..........*****
.........******.*
.........***.**
.......**.*..***
........**....*
......***.....***
.......*....***
.......**.*..***
.....*.**.*
.....*..**..*
......*.**..***
........*....*
....**..****
...***..*.**
..***..**..*..*
.****.....*...*
.***.....***.*
***......**..*
..**.*....*.***
**..*..*.*..**
7700 head edges traversed (head queue size ~= 446).
Found partial head of length 18.
As integer list: (8192, 14336, 31744, 97792, 28160, 58752, 17152, 115136, 28800, 58752, 1440, 4896, 29504, 8448, 3888, 3384, 18844, 25630, 27790, 27655, 27747, 14966, 10810)
As plaintext:
.............*
...........***
..........*****
.........******.*
.........***.**
.......**.*..***
........**....*
......***.....***
.......*....***
.......**.*..***
.....*.**.*
.....*..**..*
......*.**..***
........*....*
....**..****
...***..*.**
..***..**..*..*
.****.....*..**
.***...*..**.**
***.......**.**
**...**...**.**
.**.***..*.***
.*.***...*.*.*
7800 head edges traversed (head queue size ~= 99).
Found partial head of length 19.
As integer list: (8192, 14336, 31744, 97792, 28160, 58752, 17152, 115136, 28800, 58752, 1440, 4896, 29504, 8448, 3888, 3384, 18844, 25630, 27790, 27655, 27747, 11347, 10286, 648)
As plaintext:
.............*
...........***
..........*****
.........******.*
.........***.**
.......**.*..***
........**....*
......***.....***
.......*....***
.......**.*..***
.....*.**.*
.....*..**..*
......*.**..***
........*....*
....**..****
...***..*.**
..***..**..*..*
.****.....*..**
.***...*..**.**
***.......**.**
**...**...**.**
**..*.*...**.*
.***.*.....*.*
...*...*.*
Increasing head search width to 16...
...adaptive widening completed.
7900 head edges traversed (head queue size ~= 7800).
8000 head edges traversed (head queue size ~= 7799).
8100 head edges traversed (head queue size ~= 7782).
8200 head edges traversed (head queue size ~= 7845).
8300 head edges traversed (head queue size ~= 7902).
8400 head edges traversed (head queue size ~= 7869).
8500 head edges traversed (head queue size ~= 7840).
8600 head edges traversed (head queue size ~= 7868).
8700 head edges traversed (head queue size ~= 7900).
8800 head edges traversed (head queue size ~= 7882).
8900 head edges traversed (head queue size ~= 7897).
9000 head edges traversed (head queue size ~= 7949).
9100 head edges traversed (head queue size ~= 7952).
9200 head edges traversed (head queue size ~= 7970).
9300 head edges traversed (head queue size ~= 7943).
9400 head edges traversed (head queue size ~= 7975).
Saving backup backup_head_odd.pkl.gz
Saved backup backup_head_odd.pkl.gz
Backup process took 0.6 seconds.
9500 head edges traversed (head queue size ~= 7978).
9600 head edges traversed (head queue size ~= 7979).
9700 head edges traversed (head queue size ~= 7978).
9800 head edges traversed (head queue size ~= 7987).
9900 head edges traversed (head queue size ~= 8008).
10000 head edges traversed (head queue size ~= 8050).
10100 head edges traversed (head queue size ~= 8018).
10200 head edges traversed (head queue size ~= 8066).
10300 head edges traversed (head queue size ~= 8128).
10400 head edges traversed (head queue size ~= 8191).
10500 head edges traversed (head queue size ~= 8164).
10600 head edges traversed (head queue size ~= 8174).
10700 head edges traversed (head queue size ~= 8209).
10800 head edges traversed (head queue size ~= 8271).
10900 head edges traversed (head queue size ~= 8293).
11000 head edges traversed (head queue size ~= 8346).
11100 head edges traversed (head queue size ~= 8426).
11200 head edges traversed (head queue size ~= 8524).
11300 head edges traversed (head queue size ~= 8617).
11400 head edges traversed (head queue size ~= 8710).
11500 head edges traversed (head queue size ~= 8800).
11600 head edges traversed (head queue size ~= 8872).
11700 head edges traversed (head queue size ~= 8828).
11800 head edges traversed (head queue size ~= 8788).
11900 head edges traversed (head queue size ~= 8837).
12000 head edges traversed (head queue size ~= 8835).
12100 head edges traversed (head queue size ~= 8819).
12200 head edges traversed (head queue size ~= 8841).
12300 head edges traversed (head queue size ~= 8869).
12400 head edges traversed (head queue size ~= 8913).
12500 head edges traversed (head queue size ~= 8906).
12600 head edges traversed (head queue size ~= 8930).
12700 head edges traversed (head queue size ~= 8923).
12800 head edges traversed (head queue size ~= 8966).
12900 head edges traversed (head queue size ~= 8971).
13000 head edges traversed (head queue size ~= 9002).
13100 head edges traversed (head queue size ~= 9018).
13200 head edges traversed (head queue size ~= 9075).
13300 head edges traversed (head queue size ~= 9089).
13400 head edges traversed (head queue size ~= 9063).
13500 head edges traversed (head queue size ~= 9071).
13600 head edges traversed (head queue size ~= 9075).
13700 head edges traversed (head queue size ~= 9062).
13800 head edges traversed (head queue size ~= 9102).
13900 head edges traversed (head queue size ~= 9073).
14000 head edges traversed (head queue size ~= 9072).
14100 head edges traversed (head queue size ~= 9076).
14200 head edges traversed (head queue size ~= 9045).
14300 head edges traversed (head queue size ~= 9033).
14400 head edges traversed (head queue size ~= 9026).
14500 head edges traversed (head queue size ~= 9054).
14600 head edges traversed (head queue size ~= 9060).
14700 head edges traversed (head queue size ~= 9073).
14800 head edges traversed (head queue size ~= 9090).
14900 head edges traversed (head queue size ~= 9099).
15000 head edges traversed (head queue size ~= 9042).
15100 head edges traversed (head queue size ~= 9047).
15200 head edges traversed (head queue size ~= 9053).
15300 head edges traversed (head queue size ~= 9062).
15400 head edges traversed (head queue size ~= 9067).
15500 head edges traversed (head queue size ~= 9092).
15600 head edges traversed (head queue size ~= 9029).
15700 head edges traversed (head queue size ~= 9033).
15800 head edges traversed (head queue size ~= 9004).
15900 head edges traversed (head queue size ~= 9039).
16000 head edges traversed (head queue size ~= 9032).
16100 head edges traversed (head queue size ~= 9070).
16200 head edges traversed (head queue size ~= 9061).
16300 head edges traversed (head queue size ~= 9050).
16400 head edges traversed (head queue size ~= 9043).
16500 head edges traversed (head queue size ~= 9073).
16600 head edges traversed (head queue size ~= 8992).
16700 head edges traversed (head queue size ~= 8341).
16800 head edges traversed (head queue size ~= 7677).
16900 head edges traversed (head queue size ~= 7197).
17000 head edges traversed (head queue size ~= 6694).
17100 head edges traversed (head queue size ~= 6426).
17200 head edges traversed (head queue size ~= 6147).
17300 head edges traversed (head queue size ~= 5982).
17400 head edges traversed (head queue size ~= 5934).
17500 head edges traversed (head queue size ~= 5697).
17600 head edges traversed (head queue size ~= 5313).
17700 head edges traversed (head queue size ~= 4814).
17800 head edges traversed (head queue size ~= 4046).
17900 head edges traversed (head queue size ~= 3473).
														```````````````````````````````````````````````````````````18000 head edges traversed (head queue size ~= 2810).
18100 head edges traversed (head queue size ~= 2063).
18200 head edges traversed (head queue size ~= 1757).
Saving backup backup_head_even.pkl.gz
Saved backup backup_head_even.pkl.gz
Backup process took 1.2 seconds.
18300 head edges traversed (head queue size ~= 1479).
18400 head edges traversed (head queue size ~= 1195).
18500 head edges traversed (head queue size ~= 866).
18600 head edges traversed (head queue size ~= 544).
18700 head edges traversed (head queue size ~= 187).
Increasing head search width to 17...
...adaptive widening completed.
18800 head edges traversed (head queue size ~= 18698).
18900 head edges traversed (head queue size ~= 18735).
19000 head edges traversed (head queue size ~= 18732).
19100 head edges traversed (head queue size ~= 18763).
19200 head edges traversed (head queue size ~= 18732).
19300 head edges traversed (head queue size ~= 18791).
19400 head edges traversed (head queue size ~= 18826).
19500 head edges traversed (head queue size ~= 18817).
19600 head edges traversed (head queue size ~= 18837).
19700 head edges traversed (head queue size ~= 18906).
19800 head edges traversed (head queue size ~= 18925).
19900 head edges traversed (head queue size ~= 18974).
20000 head edges traversed (head queue size ~= 19019).
20100 head edges traversed (head queue size ~= 19010).
20200 head edges traversed (head queue size ~= 18971).
20300 head edges traversed (head queue size ~= 18972).
20400 head edges traversed (head queue size ~= 18995).
Found partial head of length 20.
As integer list: (8192, 14336, 31744, 15872, 27392, 17792, 25280, 13664, 14512, 5208, 20536, 64092, 49804, 94232, 78448, 45920, 110920, 4426, 47378, 14774, 80164, 8493, 41385, 1964, 93610)
As plaintext:
.............*
...........***
..........*****
.........*****
........**.*.**
.......**.*...*
......**.*...**
.....**.*.*.**
....**.*...***
...**.*...*.*
...***......*.*
..***.*..*.*****
..**...*.*....**
...**.......***.*
....***..*..**..*
.....**.**..**.*
...*..*.*...**.**
.*.*..*.*...*
.*..*...*..***.*
.**.**.**..***
..*..*..*..***..*
*.**.*..*....*
*..*.*.**....*.*
..**.*.****
.*.*.*.**.**.**.*
20500 head edges traversed (head queue size ~= 19013).
20600 head edges traversed (head queue size ~= 19002).
20700 head edges traversed (head queue size ~= 19051).
20800 head edges traversed (head queue size ~= 19085).
20900 head edges traversed (head queue size ~= 19117).
21000 head edges traversed (head queue size ~= 19083).
21100 head edges traversed (head queue size ~= 19065).
21200 head edges traversed (head queue size ~= 19108).
21300 head edges traversed (head queue size ~= 19101).
21400 head edges traversed (head queue size ~= 19139).
21500 head edges traversed (head queue size ~= 19174).
21600 head edges traversed (head queue size ~= 19195).
21700 head edges traversed (head queue size ~= 19226).
21800 head edges traversed (head queue size ~= 19299).
21900 head edges traversed (head queue size ~= 19305).
22000 head edges traversed (head queue size ~= 19301).
22100 head edges traversed (head queue size ~= 19334).
22200 head edges traversed (head queue size ~= 19395).
22300 head edges traversed (head queue size ~= 19396).
22400 head edges traversed (head queue size ~= 19416).
22500 head edges traversed (head queue size ~= 19439).
22600 head edges traversed (head queue size ~= 19464).
22700 head edges traversed (head queue size ~= 19493).
22800 head edges traversed (head queue size ~= 19504).
22900 head edges traversed (head queue size ~= 19571).
23000 head edges traversed (head queue size ~= 19596).
23100 head edges traversed (head queue size ~= 19590).
23200 head edges traversed (head queue size ~= 19575).
23300 head edges traversed (head queue size ~= 19571).
23400 head edges traversed (head queue size ~= 19601).
23500 head edges traversed (head queue size ~= 19616).
23600 head edges traversed (head queue size ~= 19630).
23700 head edges traversed (head queue size ~= 19620).
23800 head edges traversed (head queue size ~= 19629).
23900 head edges traversed (head queue size ~= 19629).
24000 head edges traversed (head queue size ~= 19658).
24100 head edges traversed (head queue size ~= 19700).
24200 head edges traversed (head queue size ~= 19707).
24300 head edges traversed (head queue size ~= 19775).
24400 head edges traversed (head queue size ~= 19861).
24500 head edges traversed (head queue size ~= 19897).
24600 head edges traversed (head queue size ~= 19838).
24700 head edges traversed (head queue size ~= 19862).
24800 head edges traversed (head queue size ~= 19893).
24900 head edges traversed (head queue size ~= 19943).
25000 head edges traversed (head queue size ~= 19965).
25100 head edges traversed (head queue size ~= 20048).
25200 head edges traversed (head queue size ~= 20110).
25300 head edges traversed (head queue size ~= 20183).
25400 head edges traversed (head queue size ~= 20234).
25500 head edges traversed (head queue size ~= 20223).
25600 head edges traversed (head queue size ~= 20250).
25700 head edges traversed (head queue size ~= 20207).
25800 head edges traversed (head queue size ~= 20181).
25900 head edges traversed (head queue size ~= 20203).
26000 head edges traversed (head queue size ~= 20213).
26100 head edges traversed (head queue size ~= 20247).
26200 head edges traversed (head queue size ~= 20293).
26300 head edges traversed (head queue size ~= 20307).
26400 head edges traversed (head queue size ~= 20332).
26500 head edges traversed (head queue size ~= 20364).
26600 head edges traversed (head queue size ~= 20438).
26700 head edges traversed (head queue size ~= 20515).
26800 head edges traversed (head queue size ~= 20608).
26900 head edges traversed (head queue size ~= 20705).
27000 head edges traversed (head queue size ~= 20802).
27100 head edges traversed (head queue size ~= 20897).
27200 head edges traversed (head queue size ~= 20990).
27300 head edges traversed (head queue size ~= 21084).
27400 head edges traversed (head queue size ~= 21176).
27500 head edges traversed (head queue size ~= 21274).
27600 head edges traversed (head queue size ~= 21370).
27700 head edges traversed (head queue size ~= 21462).
27800 head edges traversed (head queue size ~= 21443).
27900 head edges traversed (head queue size ~= 21455).
28000 head edges traversed (head queue size ~= 21449).
28100 head edges traversed (head queue size ~= 21419).
28200 head edges traversed (head queue size ~= 21451).
28300 head edges traversed (head queue size ~= 21415).
28400 head edges traversed (head queue size ~= 21422).
28500 head edges traversed (head queue size ~= 21460).
28600 head edges traversed (head queue size ~= 21525).
28700 head edges traversed (head queue size ~= 21588).
28800 head edges traversed (head queue size ~= 21565).
28900 head edges traversed (head queue size ~= 21535).
29000 head edges traversed (head queue size ~= 21543).
29100 head edges traversed (head queue size ~= 21561).
29200 head edges traversed (head queue size ~= 21598).
29300 head edges traversed (head queue size ~= 21650).
29400 head edges traversed (head queue size ~= 21704).
29500 head edges traversed (head queue size ~= 21721).
29600 head edges traversed (head queue size ~= 21750).
29700 head edges traversed (head queue size ~= 21787).
29800 head edges traversed (head queue size ~= 21843).
29900 head edges traversed (head queue size ~= 21864).
30000 head edges traversed (head queue size ~= 21942).
30100 head edges traversed (head queue size ~= 21884).
30200 head edges traversed (head queue size ~= 21881).
30300 head edges traversed (head queue size ~= 21914).
30400 head edges traversed (head queue size ~= 21952).
30500 head edges traversed (head queue size ~= 21962).
30600 head edges traversed (head queue size ~= 21960).
30700 head edges traversed (head queue size ~= 22008).
30800 head edges traversed (head queue size ~= 22063).
30900 head edges traversed (head queue size ~= 22082).
31000 head edges traversed (head queue size ~= 22045).
31100 head edges traversed (head queue size ~= 22087).
31200 head edges traversed (head queue size ~= 22137).
31300 head edges traversed (head queue size ~= 22149).
31400 head edges traversed (head queue size ~= 22227).
31500 head edges traversed (head queue size ~= 22300).
31600 head edges traversed (head queue size ~= 22279).
31700 head edges traversed (head queue size ~= 22311).
31800 head edges traversed (head queue size ~= 22324).
31900 head edges traversed (head queue size ~= 22403).
32000 head edges traversed (head queue size ~= 22440).
Saving backup backup_head_odd.pkl.gz
Saved backup backup_head_odd.pkl.gz
Backup process took 2.0 seconds.
32100 head edges traversed (head queue size ~= 22442).
32200 head edges traversed (head queue size ~= 22457).
32300 head edges traversed (head queue size ~= 22426).
32400 head edges traversed (head queue size ~= 22428).
32500 head edges traversed (head queue size ~= 22410).
32600 head edges traversed (head queue size ~= 22429).
32700 head edges traversed (head queue size ~= 22450).
32800 head edges traversed (head queue size ~= 22476).
32900 head edges traversed (head queue size ~= 22523).
33000 head edges traversed (head queue size ~= 22517).
33100 head edges traversed (head queue size ~= 22543).
33200 head edges traversed (head queue size ~= 22533).
33300 head edges traversed (head queue size ~= 22580).
33400 head edges traversed (head queue size ~= 22605).
33500 head edges traversed (head queue size ~= 22577).
33600 head edges traversed (head queue size ~= 22562).
33700 head edges traversed (head queue size ~= 22609).
33800 head edges traversed (head queue size ~= 22601).
33900 head edges traversed (head queue size ~= 22619).
34000 head edges traversed (head queue size ~= 22681).
34100 head edges traversed (head queue size ~= 22698).
34200 head edges traversed (head queue size ~= 22719).
34300 head edges traversed (head queue size ~= 22731).
34400 head edges traversed (head queue size ~= 22734).
34500 head edges traversed (head queue size ~= 22686).
34600 head edges traversed (head queue size ~= 22685).
34700 head edges traversed (head queue size ~= 22679).
34800 head edges traversed (head queue size ~= 22708).
34900 head edges traversed (head queue size ~= 22717).
35000 head edges traversed (head queue size ~= 22728).
35100 head edges traversed (head queue size ~= 22730).
35200 head edges traversed (head queue size ~= 22767).
35300 head edges traversed (head queue size ~= 22820).
35400 head edges traversed (head queue size ~= 22785).
35500 head edges traversed (head queue size ~= 22832).
35600 head edges traversed (head queue size ~= 22807).
35700 head edges traversed (head queue size ~= 22831).
35800 head edges traversed (head queue size ~= 22866).
35900 head edges traversed (head queue size ~= 22907).
36000 head edges traversed (head queue size ~= 22919).
36100 head edges traversed (head queue size ~= 22961).
36200 head edges traversed (head queue size ~= 22903).
36300 head edges traversed (head queue size ~= 22935).
36400 head edges traversed (head queue size ~= 22948).
36500 head edges traversed (head queue size ~= 22985).
36600 head edges traversed (head queue size ~= 23015).
36700 head edges traversed (head queue size ~= 23003).
36800 head edges traversed (head queue size ~= 23044).
36900 head edges traversed (head queue size ~= 23015).
37000 head edges traversed (head queue size ~= 23074).
37100 head edges traversed (head queue size ~= 23171).
37200 head edges traversed (head queue size ~= 23128).
37300 head edges traversed (head queue size ~= 23145).
37400 head edges traversed (head queue size ~= 23190).
37500 head edges traversed (head queue size ~= 23129).
37600 head edges traversed (head queue size ~= 23170).
37700 head edges traversed (head queue size ~= 23182).
37800 head edges traversed (head queue size ~= 23175).
37900 head edges traversed (head queue size ~= 23187).
38000 head edges traversed (head queue size ~= 23206).
38100 head edges traversed (head queue size ~= 23221).
38200 head edges traversed (head queue size ~= 23243).
38300 head edges traversed (head queue size ~= 23254).
38400 head edges traversed (head queue size ~= 23218).
38500 head edges traversed (head queue size ~= 23288).
38600 head edges traversed (head queue size ~= 23313).
38700 head edges traversed (head queue size ~= 23287).
38800 head edges traversed (head queue size ~= 23303).
38900 head edges traversed (head queue size ~= 23306).
39000 head edges traversed (head queue size ~= 23273).
39100 head edges traversed (head queue size ~= 23288).
39200 head edges traversed (head queue size ~= 23261).
39300 head edges traversed (head queue size ~= 23300).
39400 head edges traversed (head queue size ~= 23309).
39500 head edges traversed (head queue size ~= 23326).
39600 head edges traversed (head queue size ~= 23303).
39700 head edges traversed (head queue size ~= 23304).
39800 head edges traversed (head queue size ~= 23326).
39900 head edges traversed (head queue size ~= 23360).
40000 head edges traversed (head queue size ~= 23386).
40100 head edges traversed (head queue size ~= 23408).
40200 head edges traversed (head queue size ~= 23398).
40300 head edges traversed (head queue size ~= 23408).
40400 head edges traversed (head queue size ~= 23452).
40500 head edges traversed (head queue size ~= 23414).
40600 head edges traversed (head queue size ~= 23500).
40700 head edges traversed (head queue size ~= 23501).
40800 head edges traversed (head queue size ~= 22872).
40900 head edges traversed (head queue size ~= 22714).
41000 head edges traversed (head queue size ~= 22481).
Found partial head of length 21.
As integer list: (8192, 14336, 31744, 15872, 27392, 17792, 25280, 13664, 14512, 5208, 20536, 64092, 49804, 94232, 78448, 45920, 110920, 4426, 47378, 39734, 104740, 24621, 123113, 8257, 92074, 42343)
As plaintext:
.............*
...........***
..........*****
.........*****
........**.*.**
.......**.*...*
......**.*...**
.....**.*.*.**
....**.*...***
...**.*...*.*
...***......*.*
..***.*..*.*****
..**...*.*....**
...**.......***.*
....***..*..**..*
.....**.**..**.*
...*..*.*...**.**
.*.*..*.*...*
.*..*...*..***.*
.**.**..**.**..*
..*..*..*..**..**
*.**.*.......**
*..*.***.....****
*.....*......*
.*.*.*.****..**.*
***..**.*.*..*.*
41100 head edges traversed (head queue size ~= 21854).
41200 head edges traversed (head queue size ~= 21090).
41300 head edges traversed (head queue size ~= 20703).
41400 head edges traversed (head queue size ~= 20609).
41500 head edges traversed (head queue size ~= 20358).
41600 head edges traversed (head queue size ~= 20221).
Saving backup backup_head_even.pkl.gz
Saved backup backup_head_even.pkl.gz
Backup process took 2.6 seconds.
41700 head edges traversed (head queue size ~= 19814).
41800 head edges traversed (head queue size ~= 19437).
41900 head edges traversed (head queue size ~= 19236).
42000 head edges traversed (head queue size ~= 18547).
42100 head edges traversed (head queue size ~= 18197).
42200 head edges traversed (head queue size ~= 18006).
42300 head edges traversed (head queue size ~= 17678).
42400 head edges traversed (head queue size ~= 17666).
42500 head edges traversed (head queue size ~= 17161).
42600 head edges traversed (head queue size ~= 17022).
42700 head edges traversed (head queue size ~= 16797).
42800 head edges traversed (head queue size ~= 16309).
42900 head edges traversed (head queue size ~= 15740).
43000 head edges traversed (head queue size ~= 15221).
43100 head edges traversed (head queue size ~= 14734).
43200 head edges traversed (head queue size ~= 14554).
43300 head edges traversed (head queue size ~= 14400).
43400 head edges traversed (head queue size ~= 14397).
43500 head edges traversed (head queue size ~= 13714).
43600 head edges traversed (head queue size ~= 13067).
43700 head edges traversed (head queue size ~= 12415).
43800 head edges traversed (head queue size ~= 12205).
43900 head edges traversed (head queue size ~= 11933).
44000 head edges traversed (head queue size ~= 11688).
44100 head edges traversed (head queue size ~= 11257).
44200 head edges traversed (head queue size ~= 10768).
44300 head edges traversed (head queue size ~= 10450).
44400 head edges traversed (head queue size ~= 10201).
44500 head edges traversed (head queue size ~= 10024).
44600 head edges traversed (head queue size ~= 9587).
44700 head edges traversed (head queue size ~= 9237).
44800 head edges traversed (head queue size ~= 8574).
44900 head edges traversed (head queue size ~= 7826).
45000 head edges traversed (head queue size ~= 7232).
45100 head edges traversed (head queue size ~= 6785).
45200 head edges traversed (head queue size ~= 6369).
45300 head edges traversed (head queue size ~= 6042).
45400 head edges traversed (head queue size ~= 5733).
45500 head edges traversed (head queue size ~= 5432).
45600 head edges traversed (head queue size ~= 5285).
45700 head edges traversed (head queue size ~= 4955).
45800 head edges traversed (head queue size ~= 4926).
Saving backup backup_head_odd.pkl.gz
Saved backup backup_head_odd.pkl.gz
Backup process took 2.2 seconds.
45900 head edges traversed (head queue size ~= 4578).
46000 head edges traversed (head queue size ~= 4167).
46100 head edges traversed (head queue size ~= 3897).
46200 head edges traversed (head queue size ~= 3448).
46300 head edges traversed (head queue size ~= 3032).
46400 head edges traversed (head queue size ~= 2783).
46500 head edges traversed (head queue size ~= 2254).
46600 head edges traversed (head queue size ~= 2146).
46700 head edges traversed (head queue size ~= 1793).
46800 head edges traversed (head queue size ~= 1412).
46900 head edges traversed (head queue size ~= 1251).
47000 head edges traversed (head queue size ~= 936).
47100 head edges traversed (head queue size ~= 507).
47200 head edges traversed (head queue size ~= 200).
Increasing head search width to 18...
...adaptive widening completed.
47300 head edges traversed (head queue size ~= 47246).
47400 head edges traversed (head queue size ~= 47301).
47500 head edges traversed (head queue size ~= 47342).
47600 head edges traversed (head queue size ~= 47344).
47700 head edges traversed (head queue size ~= 47347).
47800 head edges traversed (head queue size ~= 47403).
47900 head edges traversed (head queue size ~= 47458).
48000 head edges traversed (head queue size ~= 47543).
48100 head edges traversed (head queue size ~= 47621).
48200 head edges traversed (head queue size ~= 47593).
48300 head edges traversed (head queue size ~= 47646).
48400 head edges traversed (head queue size ~= 47709).
48500 head edges traversed (head queue size ~= 47754).
48600 head edges traversed (head queue size ~= 47806).
48700 head edges traversed (head queue size ~= 47827).
48800 head edges traversed (head queue size ~= 47870).
48900 head edges traversed (head queue size ~= 47833).
49000 head edges traversed (head queue size ~= 47897).
49100 head edges traversed (head queue size ~= 47886).
49200 head edges traversed (head queue size ~= 47836).
49300 head edges traversed (head queue size ~= 47834).
49400 head edges traversed (head queue size ~= 47800).
49500 head edges traversed (head queue size ~= 47811).
49600 head edges traversed (head queue size ~= 47844).
49700 head edges traversed (head queue size ~= 47820).
49800 head edges traversed (head queue size ~= 47889).
49900 head edges traversed (head queue size ~= 47931).
50000 head edges traversed (head queue size ~= 47984).
50100 head edges traversed (head queue size ~= 48045).
50200 head edges traversed (head queue size ~= 48042).
50300 head edges traversed (head queue size ~= 48000).
50400 head edges traversed (head queue size ~= 48031).
50500 head edges traversed (head queue size ~= 48093).
50600 head edges traversed (head queue size ~= 48122).
50700 head edges traversed (head queue size ~= 48167).
50800 head edges traversed (head queue size ~= 48184).
50900 head edges traversed (head queue size ~= 48244).
51000 head edges traversed (head queue size ~= 48279).
51100 head edges traversed (head queue size ~= 48307).
51200 head edges traversed (head queue size ~= 48308).
51300 head edges traversed (head queue size ~= 48389).
51400 head edges traversed (head queue size ~= 48409).
51500 head edges traversed (head queue size ~= 48369).
51600 head edges traversed (head queue size ~= 48405).
51700 head edges traversed (head queue size ~= 48365).
51800 head edges traversed (head queue size ~= 48327).
51900 head edges traversed (head queue size ~= 48386).
52000 head edges traversed (head queue size ~= 48387).
52100 head edges traversed (head queue size ~= 48430).
52200 head edges traversed (head queue size ~= 48420).
52300 head edges traversed (head queue size ~= 48412).
52400 head edges traversed (head queue size ~= 48417).
52500 head edges traversed (head queue size ~= 48428).
52600 head edges traversed (head queue size ~= 48396).
52700 head edges traversed (head queue size ~= 48446).
52800 head edges traversed (head queue size ~= 48463).
52900 head edges traversed (head queue size ~= 48489).
53000 head edges traversed (head queue size ~= 48516).
53100 head edges traversed (head queue size ~= 48526).
53200 head edges traversed (head queue size ~= 48518).
53300 head edges traversed (head queue size ~= 48597).
53400 head edges traversed (head queue size ~= 48678).
53500 head edges traversed (head queue size ~= 48760).
53600 head edges traversed (head queue size ~= 48850).
53700 head edges traversed (head queue size ~= 48787).
53800 head edges traversed (head queue size ~= 48856).
53900 head edges traversed (head queue size ~= 48903).
54000 head edges traversed (head queue size ~= 48911).
54100 head edges traversed (head queue size ~= 48932).
54200 head edges traversed (head queue size ~= 49007).
54300 head edges traversed (head queue size ~= 48990).
54400 head edges traversed (head queue size ~= 48974).
54500 head edges traversed (head queue size ~= 49025).
54600 head edges traversed (head queue size ~= 49034).
54700 head edges traversed (head queue size ~= 49060).
54800 head edges traversed (head queue size ~= 49108).
54900 head edges traversed (head queue size ~= 49151).
55000 head edges traversed (head queue size ~= 49118).
55100 head edges traversed (head queue size ~= 49085).
55200 head edges traversed (head queue size ~= 49118).
55300 head edges traversed (head queue size ~= 49096).
55400 head edges traversed (head queue size ~= 49124).
55500 head edges traversed (head queue size ~= 49093).
55600 head edges traversed (head queue size ~= 49166).
55700 head edges traversed (head queue size ~= 49193).
55800 head edges traversed (head queue size ~= 49177).
55900 head edges traversed (head queue size ~= 49195).
56000 head edges traversed (head queue size ~= 49227).
56100 head edges traversed (head queue size ~= 49224).
56200 head edges traversed (head queue size ~= 49253).
56300 head edges traversed (head queue size ~= 49270).
56400 head edges traversed (head queue size ~= 49328).
56500 head edges traversed (head queue size ~= 49368).
56600 head edges traversed (head queue size ~= 49390).
56700 head edges traversed (head queue size ~= 49413).
56800 head edges traversed (head queue size ~= 49423).
56900 head edges traversed (head queue size ~= 49444).
57000 head edges traversed (head queue size ~= 49452).
57100 head edges traversed (head queue size ~= 49541).
57200 head edges traversed (head queue size ~= 49568).
57300 head edges traversed (head queue size ~= 49605).
57400 head edges traversed (head queue size ~= 49613).
57500 head edges traversed (head queue size ~= 49691).
57600 head edges traversed (head queue size ~= 49760).
57700 head edges traversed (head queue size ~= 49809).
57800 head edges traversed (head queue size ~= 49845).
Saving backup backup_head_even.pkl.gz
Saved backup backup_head_even.pkl.gz
Backup process took 3.7 seconds.
57900 head edges traversed (head queue size ~= 49844).
58000 head edges traversed (head queue size ~= 49875).
58100 head edges traversed (head queue size ~= 49907).
58200 head edges traversed (head queue size ~= 49911).
58300 head edges traversed (head queue size ~= 49896).
58400 head edges traversed (head queue size ~= 49926).
58500 head edges traversed (head queue size ~= 49877).
58600 head edges traversed (head queue size ~= 49950).
58700 head edges traversed (head queue size ~= 49953).
58800 head edges traversed (head queue size ~= 50041).
58900 head edges traversed (head queue size ~= 50077).
59000 head edges traversed (head queue size ~= 50107).
59100 head edges traversed (head queue size ~= 50147).
59200 head edges traversed (head queue size ~= 50171).
59300 head edges traversed (head queue size ~= 50187).
59400 head edges traversed (head queue size ~= 50234).
59500 head edges traversed (head queue size ~= 50331).
59600 head edges traversed (head queue size ~= 50426).
59700 head edges traversed (head queue size ~= 50521).
59800 head edges traversed (head queue size ~= 50617).
59900 head edges traversed (head queue size ~= 50712).
60000 head edges traversed (head queue size ~= 50805).
60100 head edges traversed (head queue size ~= 50900).
60200 head edges traversed (head queue size ~= 50989).
60300 head edges traversed (head queue size ~= 51085).
60400 head edges traversed (head queue size ~= 51182).
60500 head edges traversed (head queue size ~= 51271).
60600 head edges traversed (head queue size ~= 51365).
60700 head edges traversed (head queue size ~= 51460).
60800 head edges traversed (head queue size ~= 51554).
60900 head edges traversed (head queue size ~= 51651).
61000 head edges traversed (head queue size ~= 51747).
61100 head edges traversed (head queue size ~= 51842).
61200 head edges traversed (head queue size ~= 51927).
61300 head edges traversed (head queue size ~= 51885).
61400 head edges traversed (head queue size ~= 51935).
61500 head edges traversed (head queue size ~= 52026).
61600 head edges traversed (head queue size ~= 52061).
61700 head edges traversed (head queue size ~= 52130).
61800 head edges traversed (head queue size ~= 52150).
61900 head edges traversed (head queue size ~= 52108).
62000 head edges traversed (head queue size ~= 52149).
62100 head edges traversed (head queue size ~= 52117).
62200 head edges traversed (head queue size ~= 52121).
62300 head edges traversed (head queue size ~= 52112).
62400 head edges traversed (head queue size ~= 52125).
62500 head edges traversed (head queue size ~= 52138).
62600 head edges traversed (head queue size ~= 52150).
62700 head edges traversed (head queue size ~= 52182).
62800 head edges traversed (head queue size ~= 52213).
62900 head edges traversed (head queue size ~= 52225).
63000 head edges traversed (head queue size ~= 52204).
63100 head edges traversed (head queue size ~= 52259).
63200 head edges traversed (head queue size ~= 52248).
63300 head edges traversed (head queue size ~= 52276).
63400 head edges traversed (head queue size ~= 52254).
63500 head edges traversed (head queue size ~= 52292).
63600 head edges traversed (head queue size ~= 52337).
63700 head edges traversed (head queue size ~= 52357).
63800 head edges traversed (head queue size ~= 52331).
63900 head edges traversed (head queue size ~= 52357).
64000 head edges traversed (head queue size ~= 52349).
64100 head edges traversed (head queue size ~= 52436).
64200 head edges traversed (head queue size ~= 52455).
64300 head edges traversed (head queue size ~= 52448).
64400 head edges traversed (head queue size ~= 52451).
64500 head edges traversed (head queue size ~= 52442).
64600 head edges traversed (head queue size ~= 52477).
64700 head edges traversed (head queue size ~= 52470).
64800 head edges traversed (head queue size ~= 52487).
64900 head edges traversed (head queue size ~= 52499).
65000 head edges traversed (head queue size ~= 52451).
65100 head edges traversed (head queue size ~= 52496).
65200 head edges traversed (head queue size ~= 52505).
65300 head edges traversed (head queue size ~= 52490).
65400 head edges traversed (head queue size ~= 52445).
65500 head edges traversed (head queue size ~= 52448).
65600 head edges traversed (head queue size ~= 52528).
65700 head edges traversed (head queue size ~= 52536).
65800 head edges traversed (head queue size ~= 52562).
65900 head edges traversed (head queue size ~= 52589).
66000 head edges traversed (head queue size ~= 52644).
66100 head edges traversed (head queue size ~= 52684).
66200 head edges traversed (head queue size ~= 52735).
66300 head edges traversed (head queue size ~= 52705).
66400 head edges traversed (head queue size ~= 52749).
66500 head edges traversed (head queue size ~= 52755).
66600 head edges traversed (head queue size ~= 52776).
66700 head edges traversed (head queue size ~= 52733).
66800 head edges traversed (head queue size ~= 52746).
66900 head edges traversed (head queue size ~= 52691).
67000 head edges traversed (head queue size ~= 52650).
67100 head edges traversed (head queue size ~= 52699).
67200 head edges traversed (head queue size ~= 52792).
67300 head edges traversed (head queue size ~= 52882).
67400 head edges traversed (head queue size ~= 52909).
67500 head edges traversed (head queue size ~= 52926).
67600 head edges traversed (head queue size ~= 52969).
67700 head edges traversed (head queue size ~= 53054).
67800 head edges traversed (head queue size ~= 53067).
67900 head edges traversed (head queue size ~= 53056).
68000 head edges traversed (head queue size ~= 53095).
68100 head edges traversed (head queue size ~= 53108).
68200 head edges traversed (head queue size ~= 53116).
68300 head edges traversed (head queue size ~= 53143).
68400 head edges traversed (head queue size ~= 53195).
68500 head edges traversed (head queue size ~= 53238).
68600 head edges traversed (head queue size ~= 53280).
68700 head edges traversed (head queue size ~= 53312).
68800 head edges traversed (head queue size ~= 53341).
68900 head edges traversed (head queue size ~= 53310).
69000 head edges traversed (head queue size ~= 53315).
69100 head edges traversed (head queue size ~= 53317).
69200 head edges traversed (head queue size ~= 53325).
69300 head edges traversed (head queue size ~= 53392).
69400 head edges traversed (head queue size ~= 53406).
69500 head edges traversed (head queue size ~= 53421).
69600 head edges traversed (head queue size ~= 53460).
69700 head edges traversed (head queue size ~= 53457).
69800 head edges traversed (head queue size ~= 53451).
69900 head edges traversed (head queue size ~= 53450).
70000 head edges traversed (head queue size ~= 53456).
70100 head edges traversed (head queue size ~= 53492).
70200 head edges traversed (head queue size ~= 53524).
70300 head edges traversed (head queue size ~= 53565).
70400 head edges traversed (head queue size ~= 53573).
70500 head edges traversed (head queue size ~= 53619).
70600 head edges traversed (head queue size ~= 53642).
70700 head edges traversed (head queue size ~= 53725).
70800 head edges traversed (head queue size ~= 53745).
70900 head edges traversed (head queue size ~= 53686).
71000 head edges traversed (head queue size ~= 53688).
71100 head edges traversed (head queue size ~= 53672).
71200 head edges traversed (head queue size ~= 53683).
71300 head edges traversed (head queue size ~= 53722).
71400 head edges traversed (head queue size ~= 53759).
71500 head edges traversed (head queue size ~= 53844).
71600 head edges traversed (head queue size ~= 53859).
Saving backup backup_head_odd.pkl.gz
Saved backup backup_head_odd.pkl.gz
Backup process took 4.2 seconds.
71700 head edges traversed (head queue size ~= 53847).
71800 head edges traversed (head queue size ~= 53928).
71900 head edges traversed (head queue size ~= 53923).
72000 head edges traversed (head queue size ~= 53834).
72100 head edges traversed (head queue size ~= 53909).
72200 head edges traversed (head queue size ~= 53908).
72300 head edges traversed (head queue size ~= 53945).
72400 head edges traversed (head queue size ~= 53944).
72500 head edges traversed (head queue size ~= 53994).
72600 head edges traversed (head queue size ~= 54006).
72700 head edges traversed (head queue size ~= 53995).
72800 head edges traversed (head queue size ~= 54053).
72900 head edges traversed (head queue size ~= 54008).
73000 head edges traversed (head queue size ~= 53961).
73100 head edges traversed (head queue size ~= 54023).
73200 head edges traversed (head queue size ~= 54009).
73300 head edges traversed (head queue size ~= 54021).
73400 head edges traversed (head queue size ~= 54059).
73500 head edges traversed (head queue size ~= 54098).
73600 head edges traversed (head queue size ~= 54111).
73700 head edges traversed (head queue size ~= 54086).
73800 head edges traversed (head queue size ~= 54082).
73900 head edges traversed (head queue size ~= 54111).
74000 head edges traversed (head queue size ~= 54109).
74100 head edges traversed (head queue size ~= 54177).
74200 head edges traversed (head queue size ~= 54153).
74300 head edges traversed (head queue size ~= 54153).
74400 head edges traversed (head queue size ~= 54132).
74500 head edges traversed (head queue size ~= 54177).
74600 head edges traversed (head queue size ~= 54180).
74700 head edges traversed (head queue size ~= 54204).
74800 head edges traversed (head queue size ~= 54245).
74900 head edges traversed (head queue size ~= 54195).
75000 head edges traversed (head queue size ~= 54221).
75100 head edges traversed (head queue size ~= 54275).
75200 head edges traversed (head queue size ~= 54328).
75300 head edges traversed (head queue size ~= 54398).
75400 head edges traversed (head queue size ~= 54409).
75500 head edges traversed (head queue size ~= 54367).
75600 head edges traversed (head queue size ~= 54400).
75700 head edges traversed (head queue size ~= 54392).
75800 head edges traversed (head queue size ~= 54399).
75900 head edges traversed (head queue size ~= 54443).
76000 head edges traversed (head queue size ~= 54422).
76100 head edges traversed (head queue size ~= 54431).
76200 head edges traversed (head queue size ~= 54450).
76300 head edges traversed (head queue size ~= 54397).
76400 head edges traversed (head queue size ~= 54457).
76500 head edges traversed (head queue size ~= 54522).
76600 head edges traversed (head queue size ~= 54550).
76700 head edges traversed (head queue size ~= 54600).
76800 head edges traversed (head queue size ~= 54631).
76900 head edges traversed (head queue size ~= 54640).
77000 head edges traversed (head queue size ~= 54655).
77100 head edges traversed (head queue size ~= 54669).
77200 head edges traversed (head queue size ~= 54728).
77300 head edges traversed (head queue size ~= 54772).
77400 head edges traversed (head queue size ~= 54813).
77500 head edges traversed (head queue size ~= 54830).
77600 head edges traversed (head queue size ~= 54816).
77700 head edges traversed (head queue size ~= 54828).
77800 head edges traversed (head queue size ~= 54885).
77900 head edges traversed (head queue size ~= 54884).
78000 head edges traversed (head queue size ~= 54903).
78100 head edges traversed (head queue size ~= 54895).
78200 head edges traversed (head queue size ~= 54912).
78300 head edges traversed (head queue size ~= 54969).
78400 head edges traversed (head queue size ~= 55057).
78500 head edges traversed (head queue size ~= 55151).
78600 head edges traversed (head queue size ~= 55189).
78700 head edges traversed (head queue size ~= 55236).
78800 head edges traversed (head queue size ~= 55242).
78900 head edges traversed (head queue size ~= 55273).
79000 head edges traversed (head queue size ~= 55328).
79100 head edges traversed (head queue size ~= 55400).
79200 head edges traversed (head queue size ~= 55438).
79300 head edges traversed (head queue size ~= 55412).
79400 head edges traversed (head queue size ~= 55457).
79500 head edges traversed (head queue size ~= 55452).
79600 head edges traversed (head queue size ~= 55461).
79700 head edges traversed (head queue size ~= 55469).
79800 head edges traversed (head queue size ~= 55484).
79900 head edges traversed (head queue size ~= 55514).
80000 head edges traversed (head queue size ~= 55496).
80100 head edges traversed (head queue size ~= 55519).
80200 head edges traversed (head queue size ~= 55517).
80300 head edges traversed (head queue size ~= 55460).
80400 head edges traversed (head queue size ~= 55434).
80500 head edges traversed (head queue size ~= 55453).
80600 head edges traversed (head queue size ~= 55444).
80700 head edges traversed (head queue size ~= 55501).
80800 head edges traversed (head queue size ~= 55576).
80900 head edges traversed (head queue size ~= 55610).
81000 head edges traversed (head queue size ~= 55689).
81100 head edges traversed (head queue size ~= 55768).
81200 head edges traversed (head queue size ~= 55821).
81300 head edges traversed (head queue size ~= 55876).
81400 head edges traversed (head queue size ~= 55955).
81500 head edges traversed (head queue size ~= 55974).
81600 head edges traversed (head queue size ~= 55963).
81700 head edges traversed (head queue size ~= 55961).
81800 head edges traversed (head queue size ~= 55994).
81900 head edges traversed (head queue size ~= 56050).
82000 head edges traversed (head queue size ~= 56065).
82100 head edges traversed (head queue size ~= 56031).
82200 head edges traversed (head queue size ~= 56036).
82300 head edges traversed (head queue size ~= 56055).
82400 head edges traversed (head queue size ~= 56086).
82500 head edges traversed (head queue size ~= 56068).
82600 head edges traversed (head queue size ~= 56061).
82700 head edges traversed (head queue size ~= 56116).
82800 head edges traversed (head queue size ~= 56112).
82900 head edges traversed (head queue size ~= 56130).
83000 head edges traversed (head queue size ~= 56166).
83100 head edges traversed (head queue size ~= 56143).
83200 head edges traversed (head queue size ~= 56135).
83300 head edges traversed (head queue size ~= 56136).
83400 head edges traversed (head queue size ~= 56190).
83500 head edges traversed (head queue size ~= 56212).
83600 head edges traversed (head queue size ~= 56241).
83700 head edges traversed (head queue size ~= 56216).
83800 head edges traversed (head queue size ~= 56239).
83900 head edges traversed (head queue size ~= 56255).
Saving backup backup_head_even.pkl.gz
Saved backup backup_head_even.pkl.gz
Backup process took 6.1 seconds.
84000 head edges traversed (head queue size ~= 56284).
84100 head edges traversed (head queue size ~= 56332).
84200 head edges traversed (head queue size ~= 56377).
84300 head edges traversed (head queue size ~= 56420).
84400 head edges traversed (head queue size ~= 56396).
84500 head edges traversed (head queue size ~= 56425).
84600 head edges traversed (head queue size ~= 56430).
84700 head edges traversed (head queue size ~= 56442).
84800 head edges traversed (head queue size ~= 56460).
84900 head edges traversed (head queue size ~= 56437).
85000 head edges traversed (head queue size ~= 56413).
85100 head edges traversed (head queue size ~= 56458).
85200 head edges traversed (head queue size ~= 56455).
85300 head edges traversed (head queue size ~= 56424).
85400 head edges traversed (head queue size ~= 56500).
85500 head edges traversed (head queue size ~= 56591).
85600 head edges traversed (head queue size ~= 56685).
85700 head edges traversed (head queue size ~= 56733).
85800 head edges traversed (head queue size ~= 56769).
85900 head edges traversed (head queue size ~= 56773).
86000 head edges traversed (head queue size ~= 56819).
86100 head edges traversed (head queue size ~= 56831).
86200 head edges traversed (head queue size ~= 56894).
86300 head edges traversed (head queue size ~= 56939).
86400 head edges traversed (head queue size ~= 56930).
Found partial head of length 22.
As integer list: (8192, 14336, 31744, 15872, 27392, 17792, 25280, 13664, 14512, 5208, 20536, 64092, 49804, 94232, 78448, 45920, 110920, 4426, 47378, 39222, 104740, 25645, 124329, 73921, 116010, 12166, 138757)
As plaintext:
.............*
...........***
..........*****
.........*****
........**.*.**
.......**.*...*
......**.*...**
.....**.*.*.**
....**.*...***
...**.*...*.*
...***......*.*
..***.*..*.*****
..**...*.*....**
...**.......***.*
....***..*..**..*
.....**.**..**.*
...*..*.*...**.**
.*.*..*.*...*
.*..*...*..***.*
.**.**..*..**..*
..*..*..*..**..**
*.**.*....*..**
*..*.*.**.*..****
*.....**.....*..*
.*.*.*..*.*...***
.**....*****.*
*.*......****....*
Look at me! I make patterns in golly and go on the forums! I wanna be Famous!

User avatar
77topaz
Posts: 1496
Joined: January 12th, 2018, 9:19 pm

Re: Ikpx and grills

Post by 77topaz » March 22nd, 2018, 12:30 am

Is that supposed to be a search for (2,1)c/6 partials in CGoL? Because, looking at the last partial in the list, I have no idea how it could possibly be such a partial in CGoL:

Code: Select all

x = 18, y = 27, rule = B3/S23
13bo$11b3o$10b5o$9b5o$8b2obob2o$7b2obo3bo$6b2obo3b2o$5b2obobob2o$4b2ob
o3b3o$3b2obo3bobo$3b3o6bobo$2b3obo2bob5o$2b2o3bobo4b2o$3b2o7b3obo$4b3o
2bo2b2o2bo$5b2ob2o2b2obo$3bo2bobo3b2ob2o$bobo2bobo3bo$bo2bo3bo2b3obo$b
2ob2o2bo2b2o2bo$2bo2bo2bo2b2o2b2o$ob2obo4bo2b2o$o2bobob2obo2b4o$o5b2o
5bo2bo$bobobo2bobo3b3o$b2o4b5obo$obo6b4o4bo!

googleplex
Posts: 308
Joined: January 24th, 2018, 4:36 pm
Location: The hertzsprung gap

Re: Ikpx and grills

Post by googleplex » March 22nd, 2018, 7:23 am

77topaz wrote:Is that supposed to be a search for (2,1)c/6 partials in CGoL? Because, looking at the last partial in the list, I have no idea how it could possibly be such a partial in CGoL:

Code: Select all

x = 18, y = 27, rule = B3/S23
13bo$11b3o$10b5o$9b5o$8b2obob2o$7b2obo3bo$6b2obo3b2o$5b2obobob2o$4b2ob
o3b3o$3b2obo3bobo$3b3o6bobo$2b3obo2bob5o$2b2o3bobo4b2o$3b2o7b3obo$4b3o
2bo2b2o2bo$5b2ob2o2b2obo$3bo2bobo3b2ob2o$bobo2bobo3bo$bo2bo3bo2b3obo$b
2ob2o2bo2b2o2bo$2bo2bo2bo2b2o2b2o$ob2obo4bo2b2o$o2bobob2obo2b4o$o5b2o
5bo2bo$bobobo2bobo3b3o$b2o4b5obo$obo6b4o4bo!
you have to put it through ikpx2golly to decode it.
Look at me! I make patterns in golly and go on the forums! I wanna be Famous!

User avatar
Saka
Posts: 3627
Joined: June 19th, 2015, 8:50 pm
Location: Indonesia
Contact:

Re: Ikpx and grills

Post by Saka » March 22nd, 2018, 8:41 am

Where is the ikpx2golly script?

googleplex
Posts: 308
Joined: January 24th, 2018, 4:36 pm
Location: The hertzsprung gap

Re: Ikpx and grills

Post by googleplex » March 22nd, 2018, 9:52 am

Saka wrote:Where is the ikpx2golly script?
in the Metasat folder, with grills, and ikpx.
Look at me! I make patterns in golly and go on the forums! I wanna be Famous!

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

Re: Ikpx and grills

Post by calcyman » March 22nd, 2018, 1:48 pm

Here's the longest minstrel (i.e. Sir Robin tagalong) partial I have so far:

Code: Select all

x = 50, y = 105, rule = B3/S23
3b3o$3bo2bo$3bob2ob2o$2b2o7b2o$bo5bo4bo$bo5bob2o3bo$o5bo3bobobo$o4b2o
3bobobo$bo3bo3bo$bobobobo2bobo$8bobob2o$6b2o5bo2b2o$13b5o$10bo2bo4bo$
10bobob2o$9b2ob2o3b2o$12bo2b2o$12b2obobo$13bo2b2obo$10b2obo5bo$11b4ob
3o$15bo2bobo$18bobo$19b2o$11b3o5bo2bo$22bo$16b2o4bo$11bo4bo3bo$11b3o2b
obo$14bo2b3o$11bo2bo2bo2bo$19b2o2bo$12b3o3bob3obo$12b2o6bobobo$17bo$
17bo3bo$23bob2o$20b4o$19bo3bo3bo$20b3ob4o$22bob4o$18b5ob5o$18bo2bo5bo$
18bob2o5b2o$18bo3bo4bob2o$22bo3bo$19b3o2$20b3o$19bo3bo$20bob2o$22b3o$
17b3o4b2o$17b2o2bob2o$19b2o3bo$21bo$18b8o$17bo5bo2bo$21bo2bobo$18bob2o
2b3o$24b3o$28b2o$22b2o4bo$23bo2bobo$20b2o3b2ob2o$21b2o3bobo$21b3o2bobo
$22bob2o2bo$22bobobo$26bo3bo$23b2o3bo$23b4o$26b3o$26b3o$27b2o$24b3o$
24bo$25b2o3b5o$30bob2o$30b3o$28b2o2bo$27bo3b2o$35b3o$27b4o2bob2o$29b2o
5bo$29bo5bo$35b2o$31b2ob2o$30b2o5b2o$37b2o$30bobo4b2o$30bo9b2o$33bo2b
2o2b3o$31bobo2b4obo$35bo3b2obo$36b2obobob2o$36bo4bob2o2$35b2o3bobo$43b
o$35b3ob2o2b4o$37bo3bob4o$37b2obo4bo$38bo2b4o$38b3ob2obob3o!
What do you do with ill crystallographers? Take them to the mono-clinic!

googleplex
Posts: 308
Joined: January 24th, 2018, 4:36 pm
Location: The hertzsprung gap

Re: Ikpx and grills

Post by googleplex » March 24th, 2018, 10:55 am

77topaz wrote:Is that supposed to be a search for (2,1)c/6 partials in CGoL? Because, looking at the last partial in the list, I have no idea how it could possibly be such a partial in CGoL:

Code: Select all

x = 18, y = 27, rule = B3/S23
13bo$11b3o$10b5o$9b5o$8b2obob2o$7b2obo3bo$6b2obo3b2o$5b2obobob2o$4b2ob
o3b3o$3b2obo3bobo$3b3o6bobo$2b3obo2bob5o$2b2o3bobo4b2o$3b2o7b3obo$4b3o
2bo2b2o2bo$5b2ob2o2b2obo$3bo2bobo3b2ob2o$bobo2bobo3bo$bo2bo3bo2b3obo$b
2ob2o2bo2b2o2bo$2bo2bo2bo2b2o2b2o$ob2obo4bo2b2o$o2bobob2obo2b4o$o5b2o
5bo2bo$bobobo2bobo3b3o$b2o4b5obo$obo6b4o4bo!
here's the actual head:

Code: Select all

x = 10, y = 8, rule = B3/S23
2b3o$bo3bo$o$o5bo$2bobob2o$2bobobo$2b2o3bo$5b2ob2o!
Funny, considering that it's a honeyfarm pusher!
Look at me! I make patterns in golly and go on the forums! I wanna be Famous!

googleplex
Posts: 308
Joined: January 24th, 2018, 4:36 pm
Location: The hertzsprung gap

Re: Ikpx and grills

Post by googleplex » March 24th, 2018, 11:34 am

I just realised (i think) why the raspberry pi is faster:
It has a really fast clock!

I'm not sure thpugh.
Look at me! I make patterns in golly and go on the forums! I wanna be Famous!

googleplex
Posts: 308
Joined: January 24th, 2018, 4:36 pm
Location: The hertzsprung gap

Re: Ikpx and grills

Post by googleplex » March 24th, 2018, 12:02 pm

multi-purpose tail, for all your fusing needs:

Code: Select all

x = 5, y = 7, rule = B3/S23
bo$2o$o$b2o$2b2o$2bobo$3bo!
Look at me! I make patterns in golly and go on the forums! I wanna be Famous!

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

Re: Ikpx and grills

Post by AforAmpere » March 25th, 2018, 9:56 am

Can someone give a fast search to test ikpx? I am not sure whether what I am doing is correct, so a quick-running example would help.
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

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

googleplex
Posts: 308
Joined: January 24th, 2018, 4:36 pm
Location: The hertzsprung gap

Re: Ikpx and grills

Post by googleplex » March 25th, 2018, 12:54 pm

AforAmpere wrote:Can someone give a fast search to test ikpx? I am not sure whether what I am doing is correct, so a quick-running example would help.
Try running (in the same folder as ikpx of course)

Code: Select all

python ikpx.py -d ikpxtest -f p4k5 -v c/4d
What it usually outputs (for me):

Code: Select all

pi@ikpx:~/metasat $ python ikpx.py -d ikpxtest -f p4k5 -v c/4d

****************************************************************

Incremental Knightship Partial Extend (ikpx)

****************************************************************

Parsing velocity...
Parameters: {'dudy': -1, 'dudx': 1, 'dvdx': 0, 'dvdy': 4, 'a': 1, 'p': 4, 'b': 1, 'dudt': 0, 'dvdt': 1}
Directory ikpxtest created.
Ensuring iglucose is installed and operational:

****************************************************************

c
c This is glucose 3.0 --  based on MiniSAT (Many thanks to MiniSAT team)
c
c USAGE: compiled/iglucose [options] <input-file> <result-output-file>

  where input may be either in plain or gzipped DIMACS.

CORE OPTIONS:

  -incremental, -no-incremental           (default: off)
  -rnd-init, -no-rnd-init                 (default: off)

  -gc-frac      = <double> (   0 ..  inf) (default: 0.2)
  -rnd-seed     = <double> (   0 ..  inf) (default: 9.16483e+07)
  -rnd-freq     = <double> [   0 ..    1] (default: 0)
  -cla-decay    = <double> (   0 ..    1) (default: 0.999)
  -var-decay    = <double> (   0 ..    1) (default: 0.8)

  -phase-saving = <int32>  [   0 ..    2] (default: 2)
  -ccmin-mode   = <int32>  [   0 ..    2] (default: 2)

CORE -- CERTIFIED UNSAT OPTIONS:

  -vbyte, -no-vbyte                       (default: off)
  -certified, -no-certified               (default: off)

  -certified-output = <string>

CORE -- MINIMIZE OPTIONS:

  -minLBDMinimizingClause = <int32>  [   3 .. imax] (default: 6)
  -minSizeMinimizingClause = <int32>  [   3 .. imax] (default: 30)

CORE -- REDUCE OPTIONS:

  -firstReduceDB = <int32>  [   0 .. imax] (default: 2000)
  -minLBDFrozenClause = <int32>  [   0 .. imax] (default: 30)
  -specialIncReduceDB = <int32>  [   0 .. imax] (default: 1000)
  -incReduceDB  = <int32>  [   0 .. imax] (default: 300)

CORE -- RESTART OPTIONS:

  -K            = <double> (   0 ..    1) (default: 0.8)
  -R            = <double> (   1 ..    5) (default: 1.4)

  -szLBDQueue   = <int32>  [  10 .. imax] (default: 50)
  -szTrailQueue = <int32>  [  10 .. imax] (default: 5000)

MAIN OPTIONS:

  -stop-at-unsat, -no-stop-at-unsat       (default: off)
  -model, -no-model                       (default: off)
  -stop-at-sat, -no-stop-at-sat           (default: off)

  -inc-bound    = <int32>  [   1 .. imax] (default: 1)
  -to-bound     = <int32>  [   0 .. imax] (default: 2147483647)
  -from-bound   = <int32>  [   0 .. imax] (default: 0)
  -mem-lim      = <int32>  [   0 .. imax] (default: 2147483647)
  -cpu-lim      = <int32>  [   0 .. imax] (default: 2147483647)
  -vv           = <int32>  [   1 .. imax] (default: 10000)
  -verb         = <int32>  [   0 ..    2] (default: 1)

HELP OPTIONS:

  --help        Print help message.
  --help-verb   Print verbose help message.

Exit status: 0

****************************************************************

Commencing search with the following parameters:
head search: {'a': 999999, 'd': 0.9, 'i': (0, 0, 0, 0, 0, 0, 0, 1), 'k': 5, 'j': 2, 'p': 4, 't': 600, 'w': 5}
Directory ikpxtest/backup created.
Backup file ikpxtest/backup/backup_head_location.txt not found
To quit the program, either Ctrl+C or run the command:
 kill -SIGINT -1396 
Found partial head of length 2.
As integer list: (8, 24, 12, 14, 12, 3, 3)
As plaintext:
...*
...**
..**
.***
..**
**
**
Found partial head of length 3.
As integer list: (8, 24, 12, 14, 12, 3, 11, 4)
As plaintext:
...*
...**
..**
.***
..**
**
**.*
..*
Found partial head of length 4.
As integer list: (8, 12, 12, 14, 6, 6, 3, 1)
As plaintext:
...*
..**
..**
.***
.**
.**
**
*
Found partial head of length 5.
As integer list: (8, 12, 12, 14, 6, 2, 3, 1, 13, 1)
As plaintext:
...*
..**
..**
.***
.**
.*
**
*
*.**
*
Found partial head of length 6.
As integer list: (8, 12, 12, 14, 6, 2, 3, 1, 6, 1, 1)
As plaintext:
...*
..**
..**
.***
.**
.*
**
*
.**
*
*
Found partial head of length 7.
As integer list: (8, 12, 12, 14, 6, 2, 3, 1, 13, 1, 2, 12)
As plaintext:
...*
..**
..**
.***
.**
.*
**
*
*.**
*
.*
..**
100 head edges traversed (head queue size ~= 24).
Found partial head of length 8.
As integer list: (8, 12, 12, 14, 6, 2, 3, 1, 13, 5, 2, 10)
As plaintext:
...*
..**
..**
.***
.**
.*
**
*
*.**
*.*
.*
.*.*
Found partial head of length 9.
As integer list: (8, 12, 12, 14, 6, 2, 3, 1, 13, 9, 3, 12, 3, 1)
As plaintext:
...*
..**
..**
.***
.**
.*
**
*
*.**
*..*
**
..**
**
*
Found partial head of length 10.
As integer list: (8, 12, 12, 14, 6, 2, 3, 1, 13, 1, 2, 10, 31, 6, 15)
As plaintext:
...*
..**
..**
.***
.**
.*
**
*
*.**
*
.*
.*.*
*****
.**
****
Found partial head of length 11.
As integer list: (8, 12, 12, 14, 6, 2, 3, 1, 13, 9, 14, 10, 5, 6, 5, 1)
As plaintext:
...*
..**
..**
.***
.**
.*
**
*
*.**
*..*
.***
.*.*
*.*
.**
*.*
*
200 head edges traversed (head queue size ~= 43).
Found partial head of length 12.
As integer list: (8, 12, 12, 14, 6, 2, 3, 1, 13, 5, 2, 10, 0, 0, 15)
As plaintext:
...*
..**
..**
.***
.**
.*
**
*
*.**
*.*
.*
.*.*
.
.
****
Found partial head of length 13.
As integer list: (8, 12, 12, 14, 6, 2, 11, 17, 13, 13, 14, 9, 8, 28, 18, 24, 24, 20)
As plaintext:
...*
..**
..**
.***
.**
.*
**.*
*...*
*.**
*.**
.***
*..*
...*
..***
.*..*
...**
...**
..*.*
Found partial head of length 14.
As integer list: (16, 24, 24, 28, 12, 20, 6, 2, 10, 2, 4, 4, 0, 0, 2, 0, 0, 3)
As plaintext:
....*
...**
...**
..***
..**
..*.*
.**
.*
.*.*
.*
..*
..*
.
.
.*
.
.
**
300 head edges traversed (head queue size ~= 70).
Found partial head of length 15.
As integer list: (8, 12, 12, 14, 6, 2, 11, 17, 13, 13, 14, 9, 8, 28, 18, 24, 24, 20, 21, 8)
As plaintext:
...*
..**
..**
.***
.**
.*
**.*
*...*
*.**
*.**
.***
*..*
...*
..***
.*..*
...**
...**
..*.*
*.*.*
...*
Spaceship completed by extending heads.
As integer list: (8, 12, 12, 14, 6, 10, 3, 1, 5, 1, 2, 1)
As plaintext:
...*
..**
..**
.***
.**
.*.*
**
*
*.*
*
.*
*
This search finds c/4 diagonal spaceships, and sure enough, in ~20 seconds, (on my device) it finds this:

Code: Select all

x = 4, y = 11, rule = B3/S23
2b2o$2b2o$b3o$b2o$bobo$2o$o$obo$o$bo$o!
Now before you say, "That's not a c/4 diagonal spaceship!", you have to put it through ikpx2golly.py and sure enough here's what it gives us:

Code: Select all

x = 41, y = 4, rule = B3/S23
26b2o11b2o$3o10b2o11bobo9b2o$o12bobo10bo13bo$bo11bo!
there it is, a fast test search.

Also. i accidentally left this running and got this:

Code: Select all

x = 20, y = 28, rule = B3/S23
$b3o$bo$2bo$b3o$b3ob2o3$4bo$3b2o$3bo$4b3o2$4b2obo$4b2o$6bobo2$8b3o2$
10bobobo$12b2obo$12bobo2$14bobo$17bo$15bo$16b2o$15bo2b2o!
Look at me! I make patterns in golly and go on the forums! I wanna be Famous!

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

Re: Ikpx and grills

Post by AforAmpere » March 25th, 2018, 3:15 pm

That search you posted has been like this, for a while, and not using any CPU, is it supposed to?

Code: Select all

$ python ikpx.py -d ikpxtest -f p4k5 -v c/4d

****************************************************************

Incremental Knightship Partial Extend (ikpx)

****************************************************************

Parsing velocity...
Parameters: {'dudy': -1, 'dudx': 1, 'dvdx': 0, 'dvdy': 4, 'a': 1, 'p': 4, 'b': 1, 'dudt': 0, 'dvdt': 1}
Directory ikpxtest already exists.
Ensuring iglucose is installed and operational:

****************************************************************

c
c This is glucose 3.0 --  based on MiniSAT (Many thanks to MiniSAT team)
c
c USAGE: compiled/iglucose [options] <input-file> <result-output-file>

  where input may be either in plain or gzipped DIMACS.

CORE OPTIONS:

  -incremental, -no-incremental           (default: off)
  -rnd-init, -no-rnd-init                 (default: off)

  -gc-frac      = <double> (   0 ..  inf) (default: 0.2)
  -rnd-seed     = <double> (   0 ..  inf) (default: 9.16483e+07)
  -rnd-freq     = <double> [   0 ..    1] (default: 0)
  -cla-decay    = <double> (   0 ..    1) (default: 0.999)
  -var-decay    = <double> (   0 ..    1) (default: 0.8)

  -phase-saving = <int32>  [   0 ..    2] (default: 2)
  -ccmin-mode   = <int32>  [   0 ..    2] (default: 2)

CORE -- CERTIFIED UNSAT OPTIONS:

  -vbyte, -no-vbyte                       (default: off)
  -certified, -no-certified               (default: off)

  -certified-output = <string>

CORE -- MINIMIZE OPTIONS:

  -minLBDMinimizingClause = <int32>  [   3 .. imax] (default: 6)
  -minSizeMinimizingClause = <int32>  [   3 .. imax] (default: 30)

CORE -- REDUCE OPTIONS:

  -firstReduceDB = <int32>  [   0 .. imax] (default: 2000)
  -minLBDFrozenClause = <int32>  [   0 .. imax] (default: 30)
  -specialIncReduceDB = <int32>  [   0 .. imax] (default: 1000)
  -incReduceDB  = <int32>  [   0 .. imax] (default: 300)

CORE -- RESTART OPTIONS:

  -K            = <double> (   0 ..    1) (default: 0.8)
  -R            = <double> (   1 ..    5) (default: 1.4)

  -szLBDQueue   = <int32>  [  10 .. imax] (default: 50)
  -szTrailQueue = <int32>  [  10 .. imax] (default: 5000)

MAIN OPTIONS:

  -stop-at-unsat, -no-stop-at-unsat       (default: off)
  -model, -no-model                       (default: off)
  -stop-at-sat, -no-stop-at-sat           (default: off)

  -inc-bound    = <int32>  [   1 .. imax] (default: 1)
  -to-bound     = <int32>  [   0 .. imax] (default: 2147483647)
  -from-bound   = <int32>  [   0 .. imax] (default: 0)
  -mem-lim      = <int32>  [   0 .. imax] (default: 2147483647)
  -cpu-lim      = <int32>  [   0 .. imax] (default: 2147483647)
  -vv           = <int32>  [   1 .. imax] (default: 10000)
  -verb         = <int32>  [   0 ..    2] (default: 1)

HELP OPTIONS:

  --help        Print help message.
  --help-verb   Print verbose help message.

Exit status: 0

****************************************************************

Commencing search with the following parameters:
head search: {'a': 999999, 'd': 0.9, 'i': (0, 0, 0, 0, 0, 0, 0, 1), 'k': 5, 'j': 2, 'p': 4, 't': 600, 'w': 5}
Directory ikpxtest/backup already exists.
Backup file ikpxtest/backup/backup_head_location.txt found
To quit the program, either Ctrl+C or run the command:
 kill -SIGINT -9028

I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

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

googleplex
Posts: 308
Joined: January 24th, 2018, 4:36 pm
Location: The hertzsprung gap

Re: Ikpx and grills

Post by googleplex » March 25th, 2018, 3:55 pm

AforAmpere wrote:That search you posted has been like this, for a while, and not using any CPU, is it supposed to?

Code: Select all

$ python ikpx.py -d ikpxtest -f p4k5 -v c/4d

****************************************************************

Incremental Knightship Partial Extend (ikpx)

****************************************************************

Parsing velocity...
Parameters: {'dudy': -1, 'dudx': 1, 'dvdx': 0, 'dvdy': 4, 'a': 1, 'p': 4, 'b': 1, 'dudt': 0, 'dvdt': 1}
Directory ikpxtest already exists.
Ensuring iglucose is installed and operational:

****************************************************************

c
c This is glucose 3.0 --  based on MiniSAT (Many thanks to MiniSAT team)
c
c USAGE: compiled/iglucose [options] <input-file> <result-output-file>

  where input may be either in plain or gzipped DIMACS.

CORE OPTIONS:

  -incremental, -no-incremental           (default: off)
  -rnd-init, -no-rnd-init                 (default: off)

  -gc-frac      = <double> (   0 ..  inf) (default: 0.2)
  -rnd-seed     = <double> (   0 ..  inf) (default: 9.16483e+07)
  -rnd-freq     = <double> [   0 ..    1] (default: 0)
  -cla-decay    = <double> (   0 ..    1) (default: 0.999)
  -var-decay    = <double> (   0 ..    1) (default: 0.8)

  -phase-saving = <int32>  [   0 ..    2] (default: 2)
  -ccmin-mode   = <int32>  [   0 ..    2] (default: 2)

CORE -- CERTIFIED UNSAT OPTIONS:

  -vbyte, -no-vbyte                       (default: off)
  -certified, -no-certified               (default: off)

  -certified-output = <string>

CORE -- MINIMIZE OPTIONS:

  -minLBDMinimizingClause = <int32>  [   3 .. imax] (default: 6)
  -minSizeMinimizingClause = <int32>  [   3 .. imax] (default: 30)

CORE -- REDUCE OPTIONS:

  -firstReduceDB = <int32>  [   0 .. imax] (default: 2000)
  -minLBDFrozenClause = <int32>  [   0 .. imax] (default: 30)
  -specialIncReduceDB = <int32>  [   0 .. imax] (default: 1000)
  -incReduceDB  = <int32>  [   0 .. imax] (default: 300)

CORE -- RESTART OPTIONS:

  -K            = <double> (   0 ..    1) (default: 0.8)
  -R            = <double> (   1 ..    5) (default: 1.4)

  -szLBDQueue   = <int32>  [  10 .. imax] (default: 50)
  -szTrailQueue = <int32>  [  10 .. imax] (default: 5000)

MAIN OPTIONS:

  -stop-at-unsat, -no-stop-at-unsat       (default: off)
  -model, -no-model                       (default: off)
  -stop-at-sat, -no-stop-at-sat           (default: off)

  -inc-bound    = <int32>  [   1 .. imax] (default: 1)
  -to-bound     = <int32>  [   0 .. imax] (default: 2147483647)
  -from-bound   = <int32>  [   0 .. imax] (default: 0)
  -mem-lim      = <int32>  [   0 .. imax] (default: 2147483647)
  -cpu-lim      = <int32>  [   0 .. imax] (default: 2147483647)
  -vv           = <int32>  [   1 .. imax] (default: 10000)
  -verb         = <int32>  [   0 ..    2] (default: 1)

HELP OPTIONS:

  --help        Print help message.
  --help-verb   Print verbose help message.

Exit status: 0

****************************************************************

Commencing search with the following parameters:
head search: {'a': 999999, 'd': 0.9, 'i': (0, 0, 0, 0, 0, 0, 0, 1), 'k': 5, 'j': 2, 'p': 4, 't': 600, 'w': 5}
Directory ikpxtest/backup already exists.
Backup file ikpxtest/backup/backup_head_location.txt found
To quit the program, either Ctrl+C or run the command:
 kill -SIGINT -9028


How many cores does your computer have?
Look at me! I make patterns in golly and go on the forums! I wanna be Famous!

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

Re: Ikpx and grills

Post by AforAmpere » March 25th, 2018, 4:00 pm

It is an i7.
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

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

googleplex
Posts: 308
Joined: January 24th, 2018, 4:36 pm
Location: The hertzsprung gap

Re: Ikpx and grills

Post by googleplex » March 25th, 2018, 4:32 pm

try running python ikpx.py -d ikpxtest -f p7k5 -v c/4d

If that doesn't work, buy a raspberry pi for $35.
Look at me! I make patterns in golly and go on the forums! I wanna be Famous!

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

Re: Ikpx and grills

Post by AforAmpere » March 25th, 2018, 4:35 pm

It doesn't use any CPU. How did you compile ikpx?
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

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

googleplex
Posts: 308
Joined: January 24th, 2018, 4:36 pm
Location: The hertzsprung gap

Re: Ikpx and grills

Post by googleplex » March 25th, 2018, 4:40 pm

It seems to have this problem with Cygwin, and windows in particular, but I can't figure anything out beyond that.
Look at me! I make patterns in golly and go on the forums! I wanna be Famous!

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

Re: Ikpx and grills

Post by AforAmpere » March 25th, 2018, 4:42 pm

Did you get it to work on Windows at all? Or is it just working on your Pi?
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

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

Post Reply