I am noticing a problem with ikpx2 when entering an rle of a particular c/6 diagonal spaceship:
Code: Select all
x = 66, y = 66, rule = B3/S23
32b2o$31bo2bo$30b2obo$30b2o$27bo2b2o$26b2obo$25bo$26bo$23b2ob2o$23bo2b
2o$23bo3bo$20b2o2bobo$20bo$20bobo$18bo2b2o$16b2o2bo$15bo4bo$15bo5bo$
16b2ob2o2$11b3o3bo$11b3o4b5o$11b3o6bob2o10bo$8b2ob3o7b2ob2o7b2o$8b2o2b
o9bo2bo6bobobo$6b2o4bo10bo2bo5b2o$5b2o4bo15b3o2bo3bo$8bo2$3b3o21b2o3b
4o$2b4o21bo2b3o2bo$bo23bobobob2o$o2bo20b2o3b3obob2o2b2o$b2o24bo2b4obob
3o$25bob3o4b2ob2o$24b3o2bo6b2o7bo$39bo5bo$33bob2o7bobo$32bob3o3b2obo$
33bobo2bob2o5bo$33b2o12bob2o$41b2o4b2o$38b2o2bo4bo4bo$37bo2b4o2b2o3bob
o$37b2obo4bobo3bo2bo$36bo5bo7bo3bo$37bo3b5o5b3o$39b2obo3b2obo2bo$40bo
2bo4b2o$46b2o$44b3o3b3obo$44bo5b6o3bo$51bo5b2o3b2o$44b4o4bo4b2o2bob2o$
45b3o3bobo5bobob2o$45b2o6bo$54bo$52bo2bo3b2o$52bo4b2ob2o$54bo5bo3b2o$
53bobo5bobobo$53bob4o4bo$59b2o2b2o$52b2o5bobo$60b5o$60b2o!
I start the program with:
Code: Select all
../ikpx2 -v '(1,1)c/6' -p 4 hammerhead.rle >& log &
The program warns with:
Code: Select all
Instruction set SSE4.2 detected
ikpx2 has been compiled for the rule b3s23 (330 prime implicants).
Checking SAT solver...
...check complete!
sizeof(workitem) = 32
sizeof(iterator) = 8
# Valid velocity: (1,1)c/6
# Jacobian: [(-1, 3), (1, 3), (0, 1)]
# lookahead = 26; jumpahead = 3
total rows: [0, 306]; valid rows: [0, 306].
Warning: overfull hbox (badness 2) at line 5
Warning: overfull hbox (badness 2) at line 6
Warning: overfull hbox (badness 2) at line 7
Warning: overfull hbox (badness 2) at line 8
Warning: overfull hbox (badness 2) at line 9
Warning: overfull hbox (badness 2) at line 10
Warning: overfull hbox (badness 2) at line 11
Warning: overfull hbox (badness 2) at line 12
Warning: overfull hbox (badness 2) at line 13
Warning: overfull hbox (badness 2) at line 14
Warning: overfull hbox (badness 2) at line 15
Warning: overfull hbox (badness 2) at line 16
Warning: overfull hbox (badness 2) at line 17
Warning: overfull hbox (badness 2) at line 18
Warning: overfull hbox (badness 2) at line 19
Warning: overfull hbox (badness 2) at line 20
Warning: overfull hbox (badness 2) at line 21
Warning: overfull hbox (badness 2) at line 22
Warning: overfull hbox (badness 2) at line 23
Warning: overfull hbox (badness 2) at line 24
Warning: overfull hbox (badness 2) at line 25
Warning: overfull hbox (badness 2) at line 26
Warning: overfull hbox (badness 2) at line 27
and continues execution but all partials reported have their first few diagonal lines of cells missing. For example, this is the third partial reported:
Code: Select all
#C depth = 273
#C breadth = 6
#CLL state-numbering golly
x = 62, y = 60, rule = B3/S23
17bo$15b2o$14bo4$11bo$12bo$9bo2bo$7bobo2b2o$8bo3bobo$5bo6b4o$13bo
2bo$14bo8bo2bo$14b2o6b2ob2o$2bo13bo9bo$2o15bo2b3ob2o$17bo2bo4bo$
17bo4b2ob2o$21bob2o$21b4o$15b3o2b3obo4bo$14bobo3bo2b2o3bob2o$13b3o
4bo4bo3bobo$20b2ob3o2b3o$15bobo5bo2bob2o6bo$24b3o7b2obo$24b2o4bo2b
obo$23b2o2bo5bo4bo$23bo5b2o3b2o2b2o$29b2obobo2bo$32b3ob3o$29bo4bo
2bobo$28bo8bo3b2obo$26b2o7bobo3bo2b3o$28bo5bo3bob2o2b3o$30b6o2bobo
3b2o$32bo6bo$31bo6b2o$31bo4bo4b2o$34b2obo3b3obo$33bo3b2o2b2obo3b2o
4bo$34bo2bo4bo2b2o4b2obo$35b2o4b2o4bo2bo$42bo5bo2b2o$52bo$43b2o4bo
2bo$43b2o4bo2bo$42bo2bo2bo4b2o$48b3o2bob2o$44b2o3bobo2b3o$43bo11bo
$43b3o5b3obo$44b2o4bo2bobo$50b2o$59bo$58bobo$57bo2bo$57bo2b2o$59b
2o!
All partials have the same lines missing: all rle's start with "17bo$15b2o$14bo4..." etc.
Can i ignore this by blaming it on a problem producing the rle output, or is this a deeper bug which prevents the program from finding or reporting new ships?
I used the latest commit 6310c8e6562075303b41c9374f5db7435a97a05c compiled on ubuntu 20.04 linux