ikpx 2.2

[calcyman]

I ran into a problem when searching for a (2,1)c/7 knightship. Three times the program crashed due to some kind of error.

Yes, it's a bug in Jannis Harder's incremental version of kissat that causes segfaults sometimes. Commit 27bc3beb shouldn't segfault.

[LaundryPizza03]

Warning message generated while recompiling ikpx2 on macOS 12.6.6. I had previously reported a similar warning message for apgsearch v5.39.

Code: Select all

> ./recompile.sh --rule b35s034
Updating submodules...
libkissat.a already detected
Configuring lifelib...
Using /Library/Frameworks/Python.framework/Versions/3.9/bin/python3 to configure lifelib...
Valid symmetry: ikpx2_stdin
Success!
Gathering latest library versions...
Compiling ikpx2...
apgmera/includes/md5.cpp:342:5: warning: 'sprintf' is deprecated: This function is provided for compatibility reasons only.  Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
    sprintf(buf+i*2, "%02x", digest[i]);
    ^
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/stdio.h:188:1: note: 'sprintf' has been explicitly marked deprecated here
__deprecated_msg("This function is provided for compatibility reasons only.  Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead.")
^
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/sys/cdefs.h:215:48: note: expanded from macro '__deprecated_msg'
        #define __deprecated_msg(_msg) __attribute__((__deprecated__(_msg)))
                                                      ^
1 warning generated.
apgmera/includes/happyhttp.cpp:390:2: warning: 'sprintf' is deprecated: This function is provided for compatibility reasons only.  Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
        sprintf( buf, "%d", numericvalue );
        ^
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/stdio.h:188:1: note: 'sprintf' has been explicitly marked deprecated here
__deprecated_msg("This function is provided for compatibility reasons only.  Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead.")
^
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/sys/cdefs.h:215:48: note: expanded from macro '__deprecated_msg'
        #define __deprecated_msg(_msg) __attribute__((__deprecated__(_msg)))
                                                      ^
1 warning generated.
In file included from src/main.cpp:2:
In file included from src/apgluxe.hpp:4:
In file included from src/../apgmera/includes/base.h:20:
In file included from src/../apgmera/includes/payosha256.h:7:
src/../apgmera/includes/../lifelib/soup/sha256.h:201:9: warning: 'sprintf' is deprecated: This function is provided for compatibility reasons only.  Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead. [-Wdeprecated-declarations]
        sprintf(buf+i*2, "%02x", digest[i]);
        ^
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/stdio.h:188:1: note: 'sprintf' has been explicitly marked deprecated here
__deprecated_msg("This function is provided for compatibility reasons only.  Due to security concerns inherent in the design of sprintf(3), it is highly recommended that you use snprintf(3) instead.")
^
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/sys/cdefs.h:215:48: note: expanded from macro '__deprecated_msg'
        #define __deprecated_msg(_msg) __attribute__((__deprecated__(_msg)))
                                                      ^
1 warning generated.

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

[hkoenig]

I thought I posted a response on the other thread, but I don't see it.

That's a warning that "sprintf()" is considered a security risk, and a warning that it's deprecated and someday it might even disappear. Security isn't much of an issue here, so don't worry about it too much. The program will run as intended.

If it wasn't in a standard UNIX library and in one of their own libraries, Apple would've removed sprintf long ago. But there's too much old code out there, especially academic, non-commercial and open source, that depends on it, as you've discovered. If it really bothers you to have warnings (and it should), then it would be good programming to replace with it "snprintf()" so the code doesn't suddenly and inconveniently break if they do remove it.

If you prefer to live dangerously, you can also turn off deprecation warnings by overriding the implied "-Wdeprecated-declarations" switch.

[LaundryPizza03]

I cannot read in any backup files.

Code: Select all

./ikpx2 -v 2,1c/5 -p 4 -n 10000 -k [your payosha256 key] -b "backup_b35s03478_velocity_2_1_5_width_24_even.bin"

           :'',
          ,: '' '' ,,
         :     : ,, ' ,
        :    ,:   : : :
         : , : , ', ,
              ,,' ' ':  ,,
                  ,  :'''',
                 ,: :,'' ,,
                    :, :',
                  ,, :  '' :
                   '''','': ,
                          ',:
                   '''     '  :
                   ,    :'  , '
                   ''', ',:,
          *---*   *---*  '*---------*   *---*   *---*
         /   /|  /   /'   |\         \   \   \ /   /
        /   / * /   *---*:* \   v2.2  \   \   v   /
       /   / / /         \ \ \         *   *     *
      /   / / /       *---* \ \   *---*   /       \
     /   / / /   / \   \  ,,,\ \   \,    /   / \   \
    *---* / *---* | *---* : ,:\ *---*   *---* | *---*
    |   |/  |   |/ \|   | '   :\|   |'' |   |/ \|   |
    *---*   *---*   *---*  '''  *---*   *---*   *---*
                           ,''',
                            ' ::,
                         ::' , ,:'
                           '',  '
                         ,''''':'',
                          , ,:  :,:
                                ''' ,,
                              ':  , :
                            ':,  ': :'
                             ':',,' :
                              ' ' :   ,
                               ::,, '
                                  :::
                                ,,,''
                                ',,

Instruction set AVX2 detected
ikpx2 has been compiled for the rule b35s03478  (779 prime implicants).

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

sizeof(workitem) = 32
sizeof(iterator) = 8
libc++abi: terminating with uncaught exception of type std::invalid_argument: stoll: no conversion

[LaundryPizza03]

I ran into a problem when searching for a (2,1)c/7 knightship. Three times the program crashed due to some kind of error.

Yes, it's a bug in Jannis Harder's incremental version of kissat that causes segfaults sometimes. Commit 27bc3beb shouldn't segfault.

I cannot revert to this commit because there are local changes to recompile.sh, but git reset does nothing.

[TYCF]

The "Quick start" in README.md says:
"To build ikpx2 for the default rule (B3/S23), simply run: ./recompile.sh"

Where am I suppose to run the code ?

(I am new to using programs so I don't really know how to use them)

[MEisSCAMMER]

Where am I suppose to run the code ?

It's to be entered in a command-line interface. In Mac the app's called Terminal, on Windows it's Command Prompt. (Not sure what it's called on Linux.) It's the one where you type commands to the little > prompt, with white text on a black background.

[TYCF]

Where am I suppose to run the code ?

It's to be entered in a command-line interface. In Mac the app's called Terminal, on Windows it's Command Prompt. (Not sure what it's called on Linux.) It's the one where you type commands to the little > prompt, with white text on a black background.

It is windows 10 on this computer, but I can't find Command Prompt.
Also, can I use Windows PowerShell ?

[MEisSCAMMER]

Where am I suppose to run the code ?

It's to be entered in a command-line interface. In Mac the app's called Terminal, on Windows it's Command Prompt. (Not sure what it's called on Linux.) It's the one where you type commands to the little > prompt, with white text on a black background.

It is windows 10 on this computer, but I can't find Command Prompt.
Also, can I use Windows PowerShell ?

Actually, that's what it's called. It seems I was mistaken about calling it Command Prompt (I don't use Windows and was relying on memory, which failed me).

[TYCF]

It's to be entered in a command-line interface. In Mac the app's called Terminal, on Windows it's Command Prompt. (Not sure what it's called on Linux.) It's the one where you type commands to the little > prompt, with white text on a black background.

It is windows 10 on this computer, but I can't find Command Prompt.
Also, can I use Windows PowerShell ?

Actually, that's what it's called. It seems I was mistaken about calling it Command Prompt (I don't use Windows and was relying on memory, which failed me).

Am I suppose to press enter after entering ./recompile.sh?

[GUYTU6J]

Is anyone else experiencing this issue recently? Even a freshly cloned ikpx2 fails to compile B3/S23.

Code: Select all

:~/ikpx2$ ./recompile.sh --rule B3/S23
Updating submodules...
Building kissat solver...
configure: reusing existing build directory 'build'
./configure: 363: can not combine '--quiet' and '--no-statistics': not found
configure: assuming GCC version 9.4.0 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: generating compile_commands.json
./configure: 704: jq: not found
./configure: 708: jq: not found

[confocaloid]

IIRC I was able to "solve" that (a few months ago) by removing a line related to "jq" somewhere in the source code.

Edit: the file "kissat_extras/configure" contains line:

Code: Select all

if which jq &> /dev/null

I just tried to inserted line "exit 0" before that line. Then recompiling seemed to work, and running "ikpx2 -v c/3o" found the turtle.

[pzq_alex]

Just do sudo apt install jq if you're on Linux (or WSL). Otherwise try to get jq installed (on the PATH) on your computer. I have no idea what ikpx2 would use jq to do though...

[confocaloid]

Update: the search resumed after several hours. The culprit was a zz_LINEAR:

Code: Select all

#C https://catagolue.hatsya.com/hashsoup/ikpx2_stdin/k_vXqJiUpbxD4k-3b3o4b3o$3bobo4bobo$2bo2bo4bo2bo$3b2o6b2o$3bobo4bobo$2bo3bo2bo3bo$-2bo10bo$o5bo2bo5bo$3bo8bo$ob2ob2o2b2ob2obo!/b34tws23
x = 0, y = 0, rule = B34tw/S23
3b3o4b3o$3bobo4bobo$2bo2bo4bo2bo$3b2o6b2o$3bobo4bobo$2bo3bo2bo3bo$
2bo10bo$o5bo2bo5bo$3bo8bo$ob2ob2o2b2ob2obo!

Old post:

Is this a known issue? The difference between invocations is that "-n 10000" is specified in the first case (which hangs) but not in second case (which works). ikpx2 is compiled for the rule b34tws23 in both cases.

The following search appears to hang after printing this output:

Code: Select all

# ./ikpx2 -v 2c/5o -n 10000 -p 1

           :'',
          ,: '' '' ,,
         :     : ,, ' ,
        :    ,:   : : :
         : , : , ', ,
              ,,' ' ':  ,,
                  ,  :'''',
                 ,: :,'' ,,
                    :, :',
                  ,, :  '' :
                   '''','': ,
                          ',:
                   '''     '  :
                   ,    :'  , '
                   ''', ',:,
          *---*   *---*  '*---------*   *---*   *---*
         /   /|  /   /'   |\         \   \   \ /   /
        /   / * /   *---*:* \   v2.2  \   \   v   /
       /   / / /         \ \ \         *   *     *
      /   / / /       *---* \ \   *---*   /       \
     /   / / /   / \   \  ,,,\ \   \,    /   / \   \
    *---* / *---* | *---* : ,:\ *---*   *---* | *---*
    |   |/  |   |/ \|   | '   :\|   |'' |   |/ \|   |
    *---*   *---*   *---*  '''  *---*   *---*   *---*
                           ,''',
                            ' ::,
                         ::' , ,:'
                           '',  '
                         ,''''':'',
                          , ,:  :,:
                                ''' ,,
                              ':  , :
                            ':,  ': :'
                             ':',,' :
                              ' ' :   ,
                               ::,, '
                                  :::
                                ,,,''
                                ',,

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

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

sizeof(workitem) = 32
sizeof(iterator) = 8
# Valid velocity: (2,0)c/5
# Jacobian: [(0, 5), (1, 0), (0, 2)]
# lookahead = 42; jumpahead = 5
# Profile: depth0 = 1 = depth0
# solvers invoked: trivial=0, kissat=5
# Adaptive widening to width 4 (treesize = 1)
# Profile: depth0 = 1 = depth0
# solvers invoked: trivial=0, kissat=10
# Adaptive widening to width 5 (treesize = 1)
# Profile: depth0 = 1 = depth0

#C depth = 1
#C breadth = 7
#CLL state-numbering golly
x = 11, y = 9, rule = B34tw/S23
2bo5bo$bobo3bobo$2ob2ob2ob2o$4bobo$2b3ob3o$b2obobob2o$b2o5b2o$o9bo
$obobobobobo!


#C depth = 2
#C breadth = 1
#CLL state-numbering golly
x = 9, y = 8, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$b3ob3o$bo5bo$o2bobo2bo!


#C depth = 3
#C breadth = 3
#CLL state-numbering golly
x = 9, y = 10, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$bobobobo$2o5b2o2$3bobo$4ob4o!


#C depth = 4
#C breadth = 3
#CLL state-numbering golly
x = 9, y = 10, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$b3ob3o$bo5bo$o2bobo2bo$3bobo$bobobo
bo!


#C depth = 5
#C breadth = 3
#CLL state-numbering golly
x = 9, y = 10, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$b3ob3o$bo5bo$o2bobo2bo2$bob3obo!


#C depth = 6
#C breadth = 3
#CLL state-numbering golly
x = 9, y = 10, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$bobobobo$2o5b2o2$2o5b2o$3o3b3o!


#C depth = 7
#C breadth = 3
#CLL state-numbering golly
x = 7, y = 10, rule = B34tw/S23
3bo$2bobo$bo3bo$bo3bo$3ob3o$3ob3o$o5bo$obobobo2$bo3bo!


#C depth = 8
#C breadth = 3
#CLL state-numbering golly
x = 9, y = 11, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$b3ob3o$bo5bo$bobobobo$3bobo$o3bo3bo
$3o3b3o!


#C depth = 9
#C breadth = 5
#CLL state-numbering golly
x = 9, y = 11, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$bobobobo$2o5b2o3$b2o3b2o$ob2ob2obo!


#C depth = 10
#C breadth = 5
#CLL state-numbering golly
x = 9, y = 11, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$b3ob3o$bo5bo$bobobobo$3bobo$o7bo$ob
o3bobo!


#C depth = 11
#C breadth = 5
#CLL state-numbering golly
x = 7, y = 11, rule = B34tw/S23
3bo$2bobo$bo3bo$bo3bo$3ob3o$3ob3o$o5bo$obobobo2$bo3bo$b5o!


#C depth = 12
#C breadth = 5
#CLL state-numbering golly
x = 7, y = 11, rule = B34tw/S23
3bo$2bobo$bo3bo$bo3bo$3ob3o$3ob3o$o5bo$obobobo$2bobo2$3ob3o!


#C depth = 13
#C breadth = 5
#CLL state-numbering golly
x = 9, y = 11, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$b3ob3o$bo5bo$bobobobo$3bobo2$o2b3o
2bo!


#C depth = 14
#C breadth = 5
#CLL state-numbering golly
x = 9, y = 12, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$bobobobo$2o5b2o2$3bobo$4bo$3obob3o$
bobobobo!


#C depth = 15
#C breadth = 5
#CLL state-numbering golly
x = 7, y = 12, rule = B34tw/S23
3bo$2bobo$bo3bo$bo3bo$3ob3o$3ob3o$o5bo$obobobo$2bobo2$3bo$bobobo!


#C depth = 16
#C breadth = 5
#CLL state-numbering golly
x = 9, y = 12, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$bobobobo$2o5b2o3$2bo3bo$b3ob3o$2bob
obo!


#C depth = 17
#C breadth = 5
#CLL state-numbering golly
x = 9, y = 12, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$bobobobo$2o5b2o3$2bo3bo$b3ob3o$2bob
obo!


#C depth = 18
#C breadth = 5
#CLL state-numbering golly
x = 11, y = 12, rule = B34tw/S23
5bo$4bobo$3bo3bo$3bo3bo$2b3ob3o$2b3ob3o$bo7bo$o3bobo3bo$o3bobo3bo$
4bobo$b2o5b2o$obo5bobo!


#C depth = 19
#C breadth = 5
#CLL state-numbering golly
x = 9, y = 13, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$bobobobo$2o5b2o3$2bo3bo$b3ob3o$2bob
obo$4bo!


#C depth = 20
#C breadth = 7
#CLL state-numbering golly
x = 11, y = 13, rule = B34tw/S23
5bo$4bobo$3bo3bo$3bo3bo$2b3ob3o$2b3ob3o$2bo5bo$2bobobobo2$2bo5bo$
2b3ob3o$o2bo3bo2bo$o9bo!


#C depth = 21
#C breadth = 7
#CLL state-numbering golly
x = 9, y = 12, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$bobobobo$2o5b2o3$2bo3bo$b3ob3o$2bob
obo!


#C depth = 22
#C breadth = 7
#CLL state-numbering golly
x = 9, y = 12, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$bobobobo$2o5b2o3$2bo3bo$b3ob3o$2bob
obo!


#C depth = 23
#C breadth = 7
#CLL state-numbering golly
x = 11, y = 14, rule = B34tw/S23
5bo$4bobo$3bo3bo$3bo3bo$2b3ob3o$2b3ob3o$2bo5bo$2bobobobo2$2bo5bo$
2b3ob3o$o2bo3bo2bo$o9bo$2b3ob3o!


#C depth = 24
#C breadth = 7
#CLL state-numbering golly
x = 9, y = 14, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$bobobobo$2o5b2o3$2bo3bo$b3ob3o$2bob
obo2$ob2ob2obo!


#C depth = 25
#C breadth = 7
#CLL state-numbering golly
x = 9, y = 14, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$bobobobo$2o5b2o3$2bo3bo$b3ob3o$2bob
obo2$b7o!


#C depth = 26
#C breadth = 7
#CLL state-numbering golly
x = 9, y = 14, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$bobobobo$2o5b2o3$2bo3bo$b3ob3o$2bob
obo2$b7o!


#C depth = 27
#C breadth = 7
#CLL state-numbering golly
x = 9, y = 14, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$bobobobo$2o5b2o3$2bo3bo$b3ob3o$2bob
obo2$b7o!

# solvers invoked: trivial=13, kissat=131
# Adaptive widening to width 6 (treesize = 52)
# Profile: depth0 = 3 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 1 1 1 = depth32

#C depth = 1
#C breadth = 1
#CLL state-numbering golly
x = 6, y = 9, rule = B34tw/S23
3bo$2bobo$b2ob2o$bo2b2o$2o2bo$bob2o$b2o$ob3o$obob2o!


#C depth = 2
#C breadth = 1
#CLL state-numbering golly
x = 6, y = 9, rule = B34tw/S23
3bo$2bobo$b2ob2o$bo2b2o$2o2bo$bob2o$b2o$b4o$b2ob2o!


#C depth = 3
#C breadth = 3
#CLL state-numbering golly
x = 6, y = 10, rule = B34tw/S23
3bo$2bobo$b2ob2o$bo2b2o$2o2bo$bob2o$b2o$b4o$obob2o$5bo!


#C depth = 4
#C breadth = 3
#CLL state-numbering golly
x = 7, y = 9, rule = B34tw/S23
3bo$2bobo$bo3bo$bo3bo$3ob3o$3ob3o$o5bo$obobobo$2bobo!


#C depth = 5
#C breadth = 3
#CLL state-numbering golly
x = 9, y = 10, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$b3ob3o$bo5bo$o2bobo2bo$3bobo$bo5bo!


#C depth = 6
#C breadth = 3
#CLL state-numbering golly
x = 11, y = 10, rule = B34tw/S23
5bo$4bobo$3bo3bo$3bo3bo$2b3ob3o$2bobobobo$b3o3b3o$o3bobo3bo$ob7obo
$5bo!


#C depth = 7
#C breadth = 3
#CLL state-numbering golly
x = 9, y = 10, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$bobobobo$3o3b3o3$9o!


#C depth = 8
#C breadth = 3
#CLL state-numbering golly
x = 9, y = 11, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$b3ob3o$bo5bo$o2bobo2bo2$bobobobo$2o
5b2o!


#C depth = 24
#C breadth = 7
#CLL state-numbering golly
x = 13, y = 14, rule = B34tw/S23
6bo$5bobo$4bo3bo$4bo3bo$3b3ob3o$3b3ob3o$2bo7bo$bo3bobo3bo$bo3bobo
3bo$5bobo$2b2o5b2o$3bo5bo$bob3ob3obo$2ob2o3b2ob2o!


#C depth = 26
#C breadth = 7
#CLL state-numbering golly
x = 13, y = 14, rule = B34tw/S23
6bo$5bobo$4bo3bo$4bo3bo$3b3ob3o$3b3ob3o$2bo7bo$bo3bobo3bo$bo3bobo
3bo$5bobo$2b2o5b2o$3bo5bo$bob3ob3obo$2ob3ob3ob2o!


#C depth = 28
#C breadth = 9
#CLL state-numbering golly
x = 11, y = 15, rule = B34tw/S23
5bo$4bobo$3bo3bo$3bo3bo$2b3ob3o$2b3ob3o$bo7bo$o3bobo3bo$o3bobo3bo$
4bobo$obo5bobo$3o5b3o$o9bo$o9bo$2b2o3b2o!


#C depth = 29
#C breadth = 9
#CLL state-numbering golly
x = 11, y = 15, rule = B34tw/S23
5bo$4bobo$3bo3bo$3bo3bo$2b3ob3o$2b3ob3o$bo7bo$o3bobo3bo$o3bobo3bo$
4bobo$obo5bobo$3o5b3o$o9bo$o9bo$2bo5bo!


#C depth = 30
#C breadth = 9
#CLL state-numbering golly
x = 9, y = 15, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$bobobobo$2o5b2o3$2bo3bo$b3ob3o$2bob
obo$4bo$ob2ob2obo$4bo!


#C depth = 31
#C breadth = 9
#CLL state-numbering golly
x = 13, y = 15, rule = B34tw/S23
6bo$5bobo$4bo3bo$4bo3bo$3b3ob3o$3b3ob3o$2bo7bo$bo3bobo3bo$bo3bobo
3bo$5bobo$b2o2bobo2b2o$3ob2ob2ob3o$3bo5bo$2ob3ob3ob2o$3bo5bo!


#C depth = 32
#C breadth = 9
#CLL state-numbering golly
x = 13, y = 15, rule = B34tw/S23
6bo$5bobo$4bo3bo$4bo3bo$3b3ob3o$3b3ob3o$2bo7bo$bo3bobo3bo$bo3bobo
3bo$5bobo$b2obo3bob2o$3o7b3o$3ob2ob2ob3o2$2b3o3b3o!


#C depth = 33
#C breadth = 9
#CLL state-numbering golly
x = 13, y = 16, rule = B34tw/S23
6bo$5bobo$4bo3bo$4bo3bo$3b3ob3o$3b3ob3o$2bo7bo$bo3bobo3bo$bo3bobo
3bo$5bobo$bobo5bobo$b3o5b3o$bo9bo$bo9bo$3bobobobo$obob2ob2obobo!


#C depth = 34
#C breadth = 9
#CLL state-numbering golly
x = 13, y = 16, rule = B34tw/S23
6bo$5bobo$4bo3bo$4bo3bo$3b3ob3o$3b3ob3o$2bo7bo$bo3bobo3bo$bo3bobo
3bo$5bobo$b2ob2ob2ob2o$b3obobob3o$3obo3bob3o$b2ob2ob2ob2o$5bobo$ob
o7bobo!

# 256 iterations (110 problems, 285 subproblems, 146 solutions) completed: queuesize = 34; heapsize = 1; treesize = 145

#C depth = 35
#C breadth = 11
#CLL state-numbering golly
x = 13, y = 16, rule = B34tw/S23
6bo$5bobo$4bo3bo$4bo3bo$3b3ob3o$3b3ob3o$2bo7bo$bo3bobo3bo$bo3bobo
3bo$5bobo$b2ob2ob2ob2o$b3obobob3o$3obo3bob3o$b2ob2ob2ob2o$5bobo$b
2o7b2o!


#C depth = 36
#C breadth = 11
#CLL state-numbering golly
x = 11, y = 16, rule = B34tw/S23
5bo$4bobo$3bo3bo$3bo3bo$2b3ob3o$2b3ob3o$bo7bo$o3bobo3bo$o3bobo3bo$
4bobo$b2o2bo2b2o$b2o5b2o$2b2o3b2o$bo7bo$4b3o$b2obobob2o!


#C depth = 37
#C breadth = 11
#CLL state-numbering golly
x = 11, y = 16, rule = B34tw/S23
5bo$4bobo$3bo3bo$3bo3bo$2b3ob3o$2b3ob3o$bo7bo$o3bobo3bo$o3bobo3bo$
4bobo$b2o2bo2b2o$b2o5b2o$2b2o3b2o$bo2bobo2bo$5bo$2b2obob2o!

Linear-growth pattern detected: yl52_1_8_89bcb9f80a267bcc866d0440e6e6901f
Linear-growth pattern detected: yl52_1_8_89bcb9f80a267bcc866d0440e6e6901f
Linear-growth pattern detected: yl52_1_8_89bcb9f80a267bcc866d0440e6e6901f
Linear-growth pattern detected: yl52_1_8_89bcb9f80a267bcc866d0440e6e6901f
Linear-growth pattern detected: yl52_1_8_89bcb9f80a267bcc866d0440e6e6901f
Linear-growth pattern detected: yl52_1_8_89bcb9f80a267bcc866d0440e6e6901f
Linear-growth pattern detected: yl52_1_8_89bcb9f80a267bcc866d0440e6e6901f

#C depth = 38
#C breadth = 13
#CLL state-numbering golly
x = 13, y = 17, rule = B34tw/S23
3bo5bo$2bobo3bobo$b2ob2ob2ob2o$4b2ob2o$3b3ob3o$2b3o3b3o$b2o7b2o$2o
9b2o$bo9bo$obo7bobo$2b2o5b2o$3b2o3b2o$4b2ob2o$bo2bo3bo2bo2$2b2obob
ob2o$2o3bobo3b2o!


#C depth = 39
#C breadth = 13
#CLL state-numbering golly
x = 13, y = 17, rule = B34tw/S23
3bo5bo$2bobo3bobo$b2ob2ob2ob2o$4b2ob2o$3b3ob3o$2b3o3b3o$b2o7b2o$2o
9b2o$bo9bo$obo7bobo$2b2o5b2o$3b2o3b2o$4b2ob2o$bo2bo3bo2bo2$2b2obob
ob2o$2o3bobo3b2o!


#C depth = 40
#C breadth = 13
#CLL state-numbering golly
x = 13, y = 17, rule = B34tw/S23
3bo5bo$2bobo3bobo$b2ob2ob2ob2o$4b2ob2o$3b3ob3o$2b3o3b3o$b2o7b2o$2o
9b2o$bo9bo$obo7bobo$2b2o5b2o$3b2o3b2o$4b2ob2o$bo2bo3bo2bo2$2b2obob
ob2o$5bobo!


#C depth = 41
#C breadth = 13
#CLL state-numbering golly
x = 13, y = 17, rule = B34tw/S23
3bo5bo$2bobo3bobo$b2ob2ob2ob2o$4b2ob2o$3b3ob3o$2b3o3b3o$b2o7b2o$2o
9b2o$bo9bo$obo7bobo$2b2o5b2o$3b2o3b2o$4b2ob2o$bo2bo3bo2bo2$2b2obob
ob2o$2b4ob4o!

Linear-growth pattern detected: yl52_1_8_89bcb9f80a267bcc866d0440e6e6901f
Linear-growth pattern detected: yl52_1_8_89bcb9f80a267bcc866d0440e6e6901f
Linear-growth pattern detected: yl52_1_8_89bcb9f80a267bcc866d0440e6e6901f

#C depth = 42
#C breadth = 13
#CLL state-numbering golly
x = 13, y = 17, rule = B34tw/S23
3bo5bo$2bobo3bobo$b2ob2ob2ob2o$4b2ob2o$3b3ob3o$2b3o3b3o$b2o7b2o$2o
9b2o$bo9bo$obo7bobo$2b2o5b2o$3b2o3b2o$4b2ob2o$bo2bo3bo2bo2$2b2obob
ob2o$5bobo!


#C depth = 43
#C breadth = 13
#CLL state-numbering golly
x = 13, y = 18, rule = B34tw/S23
3bo5bo$2bobo3bobo$b2ob2ob2ob2o$4b2ob2o$3b3ob3o$2b3o3b3o$b2o7b2o$2o
9b2o$bo9bo$obo7bobo$2b2o5b2o$3b2o3b2o$4b2ob2o$bo2bo3bo2bo2$2b2obob
ob2o$5bobo$o4bobo4bo!


#C depth = 44
#C breadth = 13
#CLL state-numbering golly
x = 13, y = 18, rule = B34tw/S23
3bo5bo$2bobo3bobo$b2ob2ob2ob2o$4b2ob2o$3b3ob3o$2b3o3b3o$b2o7b2o$2o
9b2o$bo9bo$obo7bobo$2b2o5b2o$3b2o3b2o$4b2ob2o$bo2bo3bo2bo2$2b2obob
ob2o$2b4ob4o$o11bo!


#C depth = 45
#C breadth = 13
#CLL state-numbering golly
x = 13, y = 18, rule = B34tw/S23
3bo5bo$2bobo3bobo$b2ob2ob2ob2o$4b2ob2o$3b3ob3o$2b3o3b3o$b2o7b2o$2o
9b2o$bo9bo$obo7bobo$2b2o5b2o$3b2o3b2o$4b2ob2o$bo2bo3bo2bo2$2b2obob
ob2o$2b4ob4o$o11bo!


#C depth = 46
#C breadth = 13
#CLL state-numbering golly
x = 13, y = 17, rule = B34tw/S23
3bo5bo$2bobo3bobo$b2ob2ob2ob2o$4b2ob2o$3b3ob3o$2b3o3b3o$b2o7b2o$2o
9b2o$bo9bo$obo7bobo$2b2o5b2o$3b2o3b2o$4b2ob2o$bo2bo3bo2bo2$2b2obob
ob2o$5bobo!


#C depth = 47
#C breadth = 13
#CLL state-numbering golly
x = 13, y = 18, rule = B34tw/S23
3bo5bo$2bobo3bobo$b2ob2ob2ob2o$4b2ob2o$3b3ob3o$2b3o3b3o$b2o7b2o$2o
9b2o$bo9bo$obo7bobo$2b2o5b2o$3b2o3b2o$4b2ob2o$bo2bo3bo2bo2$2b2obob
ob2o$5bobo$o4bobo4bo!


#C depth = 48
#C breadth = 13
#CLL state-numbering golly
x = 13, y = 19, rule = B34tw/S23
3bo5bo$2bobo3bobo$b2ob2ob2ob2o$4b2ob2o$3b3ob3o$2b3o3b3o$b2o7b2o$2o
9b2o$bo9bo$obo7bobo$2b2o5b2o$3b2o3b2o$4b2ob2o$bo2bo3bo2bo2$2b2obob
ob2o$5bobo2$4o5b4o!


#C depth = 49
#C breadth = 13
#CLL state-numbering golly
x = 13, y = 19, rule = B34tw/S23
3bo5bo$2bobo3bobo$b2ob2ob2ob2o$4b2ob2o$3b3ob3o$2b3o3b3o$b2o7b2o$2o
9b2o$bo9bo$obo7bobo$2b2o5b2o$3b2o3b2o$4b2ob2o$bo2bo3bo2bo2$2b2obob
ob2o$5bobo$4obobob4o$o4bobo4bo!


#C depth = 50
#C breadth = 13
#CLL state-numbering golly
x = 13, y = 19, rule = B34tw/S23
3bo5bo$2bobo3bobo$b2ob2ob2ob2o$4b2ob2o$3b3ob3o$2b3o3b3o$b2o7b2o$2o
9b2o$bo9bo$obo7bobo$2b2o5b2o$3b2o3b2o$4b2ob2o$bo2bo3bo2bo2$2b2obob
ob2o$5bobo2$b3o5b3o!


#C depth = 51
#C breadth = 13
#CLL state-numbering golly
x = 13, y = 19, rule = B34tw/S23
3bo5bo$2bobo3bobo$b2ob2ob2ob2o$4b2ob2o$3b3ob3o$2b3o3b3o$b2o7b2o$2o
9b2o$bo9bo$obo7bobo$2b2o5b2o$3b2o3b2o$4b2ob2o$bo2bo3bo2bo2$2b2obob
ob2o$5bobo2$6ob6o!


#C depth = 52
#C breadth = 13
#CLL state-numbering golly
x = 13, y = 19, rule = B34tw/S23
3bo5bo$2bobo3bobo$b2ob2ob2ob2o$4b2ob2o$3b3ob3o$2b3o3b3o$b2o7b2o$2o
9b2o$bo9bo$obo7bobo$2b2o5b2o$3b2o3b2o$4b2ob2o$bo2bo3bo2bo2$2b2obob
ob2o$5bobo$5bobo$b3o5b3o!


#C depth = 53
#C breadth = 13
#CLL state-numbering golly
x = 13, y = 20, rule = B34tw/S23
3bo5bo$2bobo3bobo$b2ob2ob2ob2o$4b2ob2o$3b3ob3o$2b3o3b3o$b2o7b2o$2o
9b2o$bo9bo$obo7bobo$2b2o5b2o$3b2o3b2o$4b2ob2o$bo2bo3bo2bo2$2b2obob
ob2o$5bobo$5bobo$4o5b4o$bob2o3b2obo!


#C depth = 54
#C breadth = 13
#CLL state-numbering golly
x = 13, y = 20, rule = B34tw/S23
3bo5bo$2bobo3bobo$b2ob2ob2ob2o$4b2ob2o$3b3ob3o$2b3o3b3o$b2o7b2o$2o
9b2o$bo9bo$obo7bobo$2b2o5b2o$3b2o3b2o$4b2ob2o$bo2bo3bo2bo2$2b2obob
ob2o$5bobo$b4o3b4o$2o9b2o$3b2o3b2o!


#C depth = 55
#C breadth = 13
#CLL state-numbering golly
x = 13, y = 20, rule = B34tw/S23
2bo7bo$bobo5bobo$2ob2o3b2ob2o$2o2bo3bo2b2o$3bobobobo$3bobobobo$2ob
obobobob2o$bobobobobobo$2b2obobob2o$3bobobobo$5bobo$bo2bo3bo2bo2$
3b2o3b2o$4bo3bo$bo3bobo3bo$b4o3b4o$bobo5bobo$4bo3bo$b5ob5o!


#C depth = 56
#C breadth = 11
#CLL state-numbering golly
x = 13, y = 20, rule = B34tw/S23
2bo7bo$bobo5bobo$2ob2o3b2ob2o$2o2bo3bo2b2o$3bobobobo$3bobobobo$2ob
obobobob2o$bobobobobobo$2b2obobob2o$3bobobobo$5bobo$bo2bo3bo2bo2$
3b2o3b2o$4bo3bo$5bobo$3o7b3o$2ob2o3b2ob2o$b3o5b3o$b2o7b2o!


#C depth = 57
#C breadth = 11
#CLL state-numbering golly
x = 13, y = 20, rule = B34tw/S23
2bo7bo$bobo5bobo$2ob2o3b2ob2o$2o2bo3bo2b2o$3bobobobo$3bobobobo$2ob
obobobob2o$bobobobobobo$2b2obobob2o$3bobobobo$5bobo$bo2bo3bo2bo2$
3b2o3b2o$4bo3bo$4bo3bo$5b3o$4b5o$3bo2bo2bo$b2o7b2o!

# 512 iterations (254 problems, 481 subproblems, 258 solutions) completed: queuesize = 5; heapsize = 1; treesize = 260

#C depth = 58
#C breadth = 11
#CLL state-numbering golly
x = 13, y = 21, rule = B34tw/S23
2bo7bo$bobo5bobo$2ob2o3b2ob2o$2o2bo3bo2b2o$3bobobobo$3bobobobo$2ob
obobobob2o$bobobobobobo$2b2obobob2o$3bobobobo$5bobo$bo2bo3bo2bo2$
3b2o3b2o$4bo3bo$4bo3bo$5b3o$4b5o2$2bo2bobo2bo$b3obobob3o!


#C depth = 59
#C breadth = 11
#CLL state-numbering golly
x = 13, y = 21, rule = B34tw/S23
2bo7bo$bobo5bobo$2ob2o3b2ob2o$2o2bo3bo2b2o$3bobobobo$3bobobobo$2ob
obobobob2o$bobobobobobo$2b2obobob2o$3bobobobo$5bobo$bo2bo3bo2bo2$
3b2o3b2o$4bo3bo$4bo3bo$5b3o$3b7o$6bo$2bo7bo$b2o2bobo2b2o!


#C depth = 60
#C breadth = 11
#CLL state-numbering golly
x = 13, y = 21, rule = B34tw/S23
2bo7bo$bobo5bobo$2ob2o3b2ob2o$2o2bo3bo2b2o$3bobobobo$3bobobobo$2ob
obobobob2o$bobobobobobo$2b2obobob2o$3bobobobo$5bobo$bo2bo3bo2bo2$
3b2o3b2o$4bo3bo$4bo3bo$5b3o$3b7o$6bo$2bo7bo$b2o2bobo2b2o!


#C depth = 61
#C breadth = 11
#CLL state-numbering golly
x = 13, y = 21, rule = B34tw/S23
2bo7bo$bobo5bobo$2ob2o3b2ob2o$2o2bo3bo2b2o$3bobobobo$3bobobobo$2ob
obobobob2o$bobobobobobo$2b2obobob2o$3bobobobo$5bobo$bo2bo3bo2bo2$
3b2o3b2o$4bo3bo$4bo3bo$5b3o$4b5o$3bo5bo$2b2o2bo2b2o$4bo3bo!


#C depth = 62
#C breadth = 11
#CLL state-numbering golly
x = 13, y = 21, rule = B34tw/S23
2bo7bo$bobo5bobo$2ob2o3b2ob2o$2o2bo3bo2b2o$3bobobobo$3bobobobo$2ob
obobobob2o$bobobobobobo$2b2obobob2o$3bobobobo$5bobo$bo2bo3bo2bo2$
3b2o3b2o$4bo3bo$4bo3bo$5b3o$4b5o$3bo5bo$2b2o2bo2b2o$3bo5bo!


#C depth = 63
#C breadth = 11
#CLL state-numbering golly
x = 13, y = 22, rule = B34tw/S23
2bo7bo$bobo5bobo$2ob2o3b2ob2o$2o2bo3bo2b2o$3bobobobo$3bobobobo$2ob
obobobob2o$bobobobobobo$2b2obobob2o$3bobobobo$5bobo$bo2bo3bo2bo2$
3b2o3b2o$4bo3bo$4bo3bo$5b3o$4b5o$3bo5bo$2b2o2bo2b2o$3bo5bo$b4o3b4o!


#C depth = 64
#C breadth = 11
#CLL state-numbering golly
x = 13, y = 22, rule = B34tw/S23
2bo7bo$bobo5bobo$2ob2o3b2ob2o$2o2bo3bo2b2o$3bobobobo$3bobobobo$2ob
obobobob2o$bobobobobobo$2b2obobob2o$3bobobobo$5bobo$bo2bo3bo2bo2$
3b2o3b2o$4bo3bo$4bo3bo$5b3o$4b5o$3bo5bo$2b2o2bo2b2o$3bo5bo$b4o3b4o!


#C depth = 65
#C breadth = 9
#CLL state-numbering golly
x = 13, y = 22, rule = B34tw/S23
2bo7bo$bobo5bobo$2ob2o3b2ob2o$2o2bo3bo2b2o$3bobobobo$3bobobobo$2ob
obobobob2o$bobobobobobo$2b2obobob2o$3bobobobo$5bobo$bo2bo3bo2bo2$
3b2o3b2o$4bo3bo$4bo3bo$5b3o$4b5o$3bo5bo$2b2o2bo2b2o$4bo3bo$2bo7bo!

# solvers invoked: trivial=47, kissat=606
# Adaptive widening to width 7 (treesize = 268)
# Profile: depth0 = 6 6 6 6 6 6 5 6 6 5 5 7 7 7 7 6 6 5 4 5 5 5 5 5 5 5 5 5 5 5 6 6 6 6 4 4 3 3 4 4 4 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 = depth70

#C depth = 1
#C breadth = 1
#CLL state-numbering golly
x = 11, y = 9, rule = B34tw/S23
5bo$3b5o$2b2o3b2o$bo3bo3bo$2b3ob3o$b2o5b2o$5bo$o3b3o3bo$2b2obob2o!


#C depth = 2
#C breadth = 1
#CLL state-numbering golly
x = 11, y = 9, rule = B34tw/S23
5bo$3b5o$2b2o3b2o$bo3bo3bo$2b3ob3o$b2o5b2o$5bo$o3b3o3bo$3b5o!


#C depth = 3
#C breadth = 3
#CLL state-numbering golly
x = 13, y = 10, rule = B34tw/S23
6bo$4b5o$3b2o3b2o$2bo3bo3bo$3b3ob3o$2b2o5b2o$6bo$bo3b3o3bo$o2b2obo
b2o2bo$2o3bobo3b2o!


#C depth = 4
#C breadth = 3
#CLL state-numbering golly
x = 13, y = 10, rule = B34tw/S23
6bo$4b5o$3b2o3b2o$2bo3bo3bo$3b3ob3o$2b2o5b2o$6bo$bo3b3o3bo$3b2obob
2o$2o2b5o2b2o!


#C depth = 5
#C breadth = 3
#CLL state-numbering golly
x = 7, y = 10, rule = B34tw/S23
4bo$3bobo$2b2ob2o$2bo2b2o$b2ob2o$4bo$obob2o$b3o$2bobo$o4b2o!


#C depth = 6
#C breadth = 3
#CLL state-numbering golly
x = 7, y = 10, rule = B34tw/S23
4bo$3bobo$2b2ob2o$2bo2b2o$b2o2bo$bo$2o2bo2$bob3o$b6o!


#C depth = 7
#C breadth = 3
#CLL state-numbering golly
x = 11, y = 10, rule = B34tw/S23
5bo$4bobo$3bo3bo$3bo3bo$2b3ob3o$2o7b2o$ob2o3b2obo$obobobobobo$bobo
bobobo$obo2bo2bobo!


#C depth = 8
#C breadth = 3
#CLL state-numbering golly
x = 13, y = 11, rule = B34tw/S23
6bo$5bobo$4bo3bo$4bo3bo$3b3ob3o$3b3ob3o$2bo7bo$2bo2bobo2bo2$ob4ob
4obo$b4obob4o!


#C depth = 24
#C breadth = 7
#CLL state-numbering golly
x = 13, y = 14, rule = B34tw/S23
6bo$5bobo$4bo3bo$4bo3bo$3b3ob3o$3b3ob3o$2bo7bo$bo3bobo3bo$bo3bobo
3bo$5bobo$b2obo3bob2o$2bobo3bobo$2b3o3b3o$ob2obobob2obo!


#C depth = 26
#C breadth = 7
#CLL state-numbering golly
x = 13, y = 14, rule = B34tw/S23
6bo$5bobo$4bo3bo$4bo3bo$3b3ob3o$3b3ob3o$2bo7bo$bo3bobo3bo$bo3bobo
3bo$5bobo$b2o2bobo2b2o$ob2o5b2obo$2bo7bo$2bob2ob2obo!


#C depth = 28
#C breadth = 9
#CLL state-numbering golly
x = 15, y = 15, rule = B34tw/S23
7bo$6bobo$5bo3bo$5bo3bo$4b3ob3o$4b3ob3o$3bo7bo$2bo3bobo3bo$2bo3bob
o3bo$6bobo$2b2o2bobo2b2o$bo2b3ob3o2bo$o2bo2bobo2bo2bo$5b2ob2o$2bob
obobobobo!


#C depth = 30
#C breadth = 9
#CLL state-numbering golly
x = 15, y = 15, rule = B34tw/S23
7bo$6bobo$5bo3bo$5bo3bo$4b3ob3o$4b3ob3o$3bo7bo$2bo3bobo3bo$2bo3bob
o3bo$6bobo$2b2o2bobo2b2o$bob2o5b2obo$3bo7bo$3bob2ob2obo$2o3bo3bo3b
2o!


#C depth = 66
#C breadth = 9
#CLL state-numbering golly
x = 15, y = 22, rule = B34tw/S23
3bo7bo$2bobo5bobo$b2ob2o3b2ob2o$b2o2bo3bo2b2o$4bobobobo$4bobobobo$
b2obobobobob2o$2bobobobobobo$3b2obobob2o$4bobobobo$6bobo$2bo2bo3bo
2bo2$4b2o3b2o$5bo3bo$2bo3bobo3bo$b5o3b5o$bo11bo$3o9b3o$2ob2o5b2ob
2o$4b2o3b2o$2bo2bo3bo2bo!


#C depth = 67
#C breadth = 9
#CLL state-numbering golly
x = 15, y = 22, rule = B34tw/S23
3bo7bo$2bobo5bobo$b2ob2o3b2ob2o$b2o2bo3bo2b2o$4bobobobo$4bobobobo$
b2obobobobob2o$2bobobobobobo$3b2obobob2o$4bobobobo$6bobo$2bo2bo3bo
2bo2$4b2o3b2o$5bo3bo$6bobo$b3o7b3o$b2ob2o3b2ob2o$2b3o5b3o$bobob2ob
2obobo$b2ob3ob3ob2o$o3bobobobo3bo!

# 256 iterations (84 problems, 282 subproblems, 172 solutions) completed: queuesize = 252; heapsize = 0; treesize = 336

#C depth = 68
#C breadth = 7
#CLL state-numbering golly
x = 15, y = 23, rule = B34tw/S23
3bo7bo$2bobo5bobo$b2ob2o3b2ob2o$b2o2bo3bo2b2o$4bobobobo$4bobobobo$
b2obobobobob2o$2bobobobobobo$3b2obobob2o$4bobobobo$6bobo$2bo2bo3bo
2bo2$4b2o3b2o$5bo3bo$6bobo$b3o7b3o$b2ob2o3b2ob2o$2b3o5b3o$bo3b2ob
2o3bo$b3o7b3o$o13bo$bo2b2o3b2o2bo!

The following search appears to continue correctly past that point:

Code: Select all

# ./ikpx2 -v 2c/5o -p 1

(output trimmed)
# 256 iterations (84 problems, 282 subproblems, 172 solutions) completed: queuesize = 252; heapsize = 0; treesize = 336

#C depth = 68
#C breadth = 7
#CLL state-numbering golly
x = 15, y = 23, rule = B34tw/S23
3bo7bo$2bobo5bobo$b2ob2o3b2ob2o$b2o2bo3bo2b2o$4bobobobo$4bobobobo$
b2obobobobob2o$2bobobobobobo$3b2obobob2o$4bobobobo$6bobo$2bo2bo3bo
2bo2$4b2o3b2o$5bo3bo$6bobo$b3o7b3o$b2ob2o3b2ob2o$2b3o5b3o$bo3b2ob
2o3bo$b3o7b3o$o13bo$bo2b2o3b2o2bo!

# 512 iterations (177 problems, 460 subproblems, 335 solutions) completed: queuesize = 214; heapsize = 0; treesize = 391
# 768 iterations (266 problems, 638 subproblems, 502 solutions) completed: queuesize = 180; heapsize = 0; treesize = 447

#C depth = 69
#C breadth = 9
#CLL state-numbering golly
x = 13, y = 23, rule = B34tw/S23
2bo7bo$bobo5bobo$2ob2o3b2ob2o$2o2bo3bo2b2o$3bobobobo$3bobobobo$2ob
obobobob2o$bobobobobobo$2b2obobob2o$3bobobobo$5bobo$bo2bo3bo2bo2$
3b2o3b2o$4bo3bo$5bobo$3o7b3o$2ob2o3b2ob2o$b3o5b3o$obob2ob2obobo$o
3b2ob2o3bo$obob2ob2obobo$bo9bo!

# 1024 iterations (406 problems, 934 subproblems, 618 solutions) completed: queuesize = 189; heapsize = 0; treesize = 599
# 1280 iterations (559 problems, 1227 subproblems, 721 solutions) completed: queuesize = 150; heapsize = 0; treesize = 714
# 1536 iterations (718 problems, 1505 subproblems, 818 solutions) completed: queuesize = 94; heapsize = 1; treesize = 819

#C depth = 70
#C breadth = 11
#CLL state-numbering golly
x = 15, y = 23, rule = B34tw/S23
3bo7bo$2bobo5bobo$b2ob2o3b2ob2o$b2o2bo3bo2b2o$4bobobobo$4bobobobo$
b2obobobobob2o$2bobobobobobo$3b2obobob2o$4bobobobo$6bobo$3bo2bobo
2bo2$4b3ob3o$2b2ob2ob2ob2o$b6ob6o$3bo7bo$o2b4ob4o2bo$o13bo$2b2o7b
2o$o5bobo5bo$o2b3o3b3o2bo$bo11bo!

(output trimmed)