Yes, it's a bug in Jannis Harder's incremental version of kissat that causes segfaults sometimes. Commit 27bc3beb shouldn't segfault.
ikpx 2.2
Re: ikpx 2.2
What do you do with ill crystallographers? Take them to the monoclinic!
 LaundryPizza03
 Posts: 2261
 Joined: December 15th, 2017, 12:05 am
 Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"
Re: ikpx 2.2
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. [Wdeprecateddeclarations]
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. [Wdeprecateddeclarations]
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. [Wdeprecateddeclarations]
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 ****
Code: Select all
x = 4, y = 3, rule = B3q4z5y/S234k5j
2b2o$b2o$2o!
The latest edition of newgliders.db.txt and oscillators.db.txt have 35296 spaceships and 1451 oscillators from outertotalistic rules. You are invited to help!
Re: ikpx 2.2
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, noncommercial 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 "Wdeprecateddeclarations" switch.
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, noncommercial 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 "Wdeprecateddeclarations" switch.
 LaundryPizza03
 Posts: 2261
 Joined: December 15th, 2017, 12:05 am
 Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"
Re: ikpx 2.2
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
Code: Select all
x = 4, y = 3, rule = B3q4z5y/S234k5j
2b2o$b2o$2o!
The latest edition of newgliders.db.txt and oscillators.db.txt have 35296 spaceships and 1451 oscillators from outertotalistic rules. You are invited to help!
 LaundryPizza03
 Posts: 2261
 Joined: December 15th, 2017, 12:05 am
 Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"
Re: ikpx 2.2
I cannot revert to this commit because there are local changes to recompile.sh, but git reset does nothing.
Code: Select all
x = 4, y = 3, rule = B3q4z5y/S234k5j
2b2o$b2o$2o!
The latest edition of newgliders.db.txt and oscillators.db.txt have 35296 spaceships and 1451 oscillators from outertotalistic rules. You are invited to help!
Re: ikpx 2.2
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)
"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)
Code: Select all
x = 5, y = 3, rule = B3/S23
obobo$2ob2o$obobo!
Code: Select all
x = 5, y = 4, rule = B35/S234i8
2bo$bobo$2ob2o$5o!
 MEisSCAMMER
 Posts: 96
 Joined: September 20th, 2022, 5:12 pm
 Location: Yes
 Contact:
Re: ikpx 2.2
It's to be entered in a commandline 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.
THE TRILOGY HAS BEEN COMPLETED
next: quadrilogy??? Is that even a word
next: quadrilogy??? Is that even a word
Re: ikpx 2.2
It is windows 10 on this computer, but I can't find Command Prompt.MEisSCAMMER wrote: ↑September 2nd, 2023, 12:27 pmIt's to be entered in a commandline 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.
Also, can I use Windows PowerShell ?
Code: Select all
x = 5, y = 3, rule = B3/S23
obobo$2ob2o$obobo!
Code: Select all
x = 5, y = 4, rule = B35/S234i8
2bo$bobo$2ob2o$5o!
 MEisSCAMMER
 Posts: 96
 Joined: September 20th, 2022, 5:12 pm
 Location: Yes
 Contact:
Re: ikpx 2.2
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 wrote: ↑September 2nd, 2023, 12:33 pmIt is windows 10 on this computer, but I can't find Command Prompt.MEisSCAMMER wrote: ↑September 2nd, 2023, 12:27 pmIt's to be entered in a commandline 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.
Also, can I use Windows PowerShell ?
THE TRILOGY HAS BEEN COMPLETED
next: quadrilogy??? Is that even a word
next: quadrilogy??? Is that even a word
Re: ikpx 2.2
Am I suppose to press enter after entering ./recompile.sh?MEisSCAMMER wrote: ↑September 2nd, 2023, 1:49 pmActually, 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 wrote: ↑September 2nd, 2023, 12:33 pmIt is windows 10 on this computer, but I can't find Command Prompt.MEisSCAMMER wrote: ↑September 2nd, 2023, 12:27 pm
It's to be entered in a commandline 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.
Also, can I use Windows PowerShell ?
 Attachments

 Screenshot 20230902 192748.jpg (41.72 KiB) Viewed 1723 times
Code: Select all
x = 5, y = 3, rule = B3/S23
obobo$2ob2o$obobo!
Code: Select all
x = 5, y = 4, rule = B35/S234i8
2bo$bobo$2ob2o$5o!

 Posts: 2182
 Joined: August 5th, 2016, 10:27 am
 Location: 拆哪！I repeat, CHINA! (a.k.a. 种花家)
 Contact:
Re: ikpx 2.2
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 'nostatistics': 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
 Posts: 1602
 Joined: February 8th, 2022, 3:15 pm
Re: ikpx 2.2
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:
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.
Edit: the file "kissat_extras/configure" contains line:
Code: Select all
if which jq &> /dev/null
127:1 B3/S234c User:Confocal/R (incomplete table of INT rules)
Unlikely events happen.
My silence does not imply agreement, nor indifference. If I disagreed with something in the past, then please do not construe my silence as something that could change that.
Unlikely events happen.
My silence does not imply agreement, nor indifference. If I disagreed with something in the past, then please do not construe my silence as something that could change that.
Re: ikpx 2.2
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...
\sum_{n=1}^\infty H_n/n^2 = \zeta(3)
How much of current CA technology can I redevelop "on a desert island"?
How much of current CA technology can I redevelop "on a desert island"?
 confocaloid
 Posts: 1602
 Joined: February 8th, 2022, 3:15 pm
Re: ikpx 2.2
Update: the search resumed after several hours. The culprit was a zz_LINEAR:
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:
The following search appears to continue correctly past that point:
Code: Select all
#C https://catagolue.hatsya.com/hashsoup/ikpx2_stdin/k_vXqJiUpbxD4k3b3o4b3o$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!
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 statenumbering golly
x = 11, y = 9, rule = B34tw/S23
2bo5bo$bobo3bobo$2ob2ob2ob2o$4bobo$2b3ob3o$b2obobob2o$b2o5b2o$o9bo
$obobobobobo!
#C depth = 2
#C breadth = 1
#CLL statenumbering golly
x = 9, y = 8, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$b3ob3o$bo5bo$o2bobo2bo!
#C depth = 3
#C breadth = 3
#CLL statenumbering golly
x = 9, y = 10, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$bobobobo$2o5b2o2$3bobo$4ob4o!
#C depth = 4
#C breadth = 3
#CLL statenumbering 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 statenumbering golly
x = 9, y = 10, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$b3ob3o$bo5bo$o2bobo2bo2$bob3obo!
#C depth = 6
#C breadth = 3
#CLL statenumbering golly
x = 9, y = 10, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$bobobobo$2o5b2o2$2o5b2o$3o3b3o!
#C depth = 7
#C breadth = 3
#CLL statenumbering golly
x = 7, y = 10, rule = B34tw/S23
3bo$2bobo$bo3bo$bo3bo$3ob3o$3ob3o$o5bo$obobobo2$bo3bo!
#C depth = 8
#C breadth = 3
#CLL statenumbering 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 statenumbering golly
x = 9, y = 11, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$bobobobo$2o5b2o3$b2o3b2o$ob2ob2obo!
#C depth = 10
#C breadth = 5
#CLL statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering golly
x = 6, y = 9, rule = B34tw/S23
3bo$2bobo$b2ob2o$bo2b2o$2o2bo$bob2o$b2o$ob3o$obob2o!
#C depth = 2
#C breadth = 1
#CLL statenumbering golly
x = 6, y = 9, rule = B34tw/S23
3bo$2bobo$b2ob2o$bo2b2o$2o2bo$bob2o$b2o$b4o$b2ob2o!
#C depth = 3
#C breadth = 3
#CLL statenumbering 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 statenumbering golly
x = 7, y = 9, rule = B34tw/S23
3bo$2bobo$bo3bo$bo3bo$3ob3o$3ob3o$o5bo$obobobo$2bobo!
#C depth = 5
#C breadth = 3
#CLL statenumbering 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 statenumbering 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 statenumbering golly
x = 9, y = 10, rule = B34tw/S23
4bo$3bobo$2bo3bo$2bo3bo$b3ob3o$bobobobo$3o3b3o3$9o!
#C depth = 8
#C breadth = 3
#CLL statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering golly
x = 11, y = 16, rule = B34tw/S23
5bo$4bobo$3bo3bo$3bo3bo$2b3ob3o$2b3ob3o$bo7bo$o3bobo3bo$o3bobo3bo$
4bobo$b2o2bo2b2o$b2o5b2o$2b2o3b2o$bo2bobo2bo$5bo$2b2obob2o!
Lineargrowth pattern detected: yl52_1_8_89bcb9f80a267bcc866d0440e6e6901f
Lineargrowth pattern detected: yl52_1_8_89bcb9f80a267bcc866d0440e6e6901f
Lineargrowth pattern detected: yl52_1_8_89bcb9f80a267bcc866d0440e6e6901f
Lineargrowth pattern detected: yl52_1_8_89bcb9f80a267bcc866d0440e6e6901f
Lineargrowth pattern detected: yl52_1_8_89bcb9f80a267bcc866d0440e6e6901f
Lineargrowth pattern detected: yl52_1_8_89bcb9f80a267bcc866d0440e6e6901f
Lineargrowth pattern detected: yl52_1_8_89bcb9f80a267bcc866d0440e6e6901f
#C depth = 38
#C breadth = 13
#CLL statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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!
Lineargrowth pattern detected: yl52_1_8_89bcb9f80a267bcc866d0440e6e6901f
Lineargrowth pattern detected: yl52_1_8_89bcb9f80a267bcc866d0440e6e6901f
Lineargrowth pattern detected: yl52_1_8_89bcb9f80a267bcc866d0440e6e6901f
#C depth = 42
#C breadth = 13
#CLL statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering golly
x = 11, y = 9, rule = B34tw/S23
5bo$3b5o$2b2o3b2o$bo3bo3bo$2b3ob3o$b2o5b2o$5bo$o3b3o3bo$2b2obob2o!
#C depth = 2
#C breadth = 1
#CLL statenumbering golly
x = 11, y = 9, rule = B34tw/S23
5bo$3b5o$2b2o3b2o$bo3bo3bo$2b3ob3o$b2o5b2o$5bo$o3b3o3bo$3b5o!
#C depth = 3
#C breadth = 3
#CLL statenumbering 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 statenumbering 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 statenumbering 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 statenumbering golly
x = 7, y = 10, rule = B34tw/S23
4bo$3bobo$2b2ob2o$2bo2b2o$b2o2bo$bo$2o2bo2$bob3o$b6o!
#C depth = 7
#C breadth = 3
#CLL statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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 statenumbering 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!
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 statenumbering 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 statenumbering 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 statenumbering 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)