googoIpIex wrote:Doesn’t ikpx usually print out partials?
None of the partials at those widths are long enough for ikpx to output them.
Also, it's worth noting that ikpx won't find the ship calcyman mentioned above because by default it only searches for ships with one cell on the leading edge. Use the i parameter to modify this behaviour.
My post above gives an example for c/3.
googoIpIex wrote:I checked without pipe and now I get this error:
Code: Select all
leo@HAL2300:~/metasat$ python ikpx.py -v 4c9 -f p4kw12a1000 -e split -d ikpx/4c9
****************************************************************
Incremental Knightship Partial Extend (ikpx)
****************************************************************
Parsing velocity...
Parameters: {'dudy': 0, 'dudx': 1, 'dvdx': 0, 'dvdy': 9, 'a': 0, 'p': 9, 'b': 4, 'dudt': 0, 'dvdt': 4}
Traceback (most recent call last):
File "ikpx.py", line 1182, in <module>
clmain()
File "ikpx.py", line 1166, in clmain
psets['head'] = parse_descriptor(args.head, tsize, 'head', 6*params['dvdy'] + 12)
File "ikpx.py", line 1034, in parse_descriptor
d = {k : eval(v) for (k, v) in d.iteritems()}
File "ikpx.py", line 1034, in <dictcomp>
d = {k : eval(v) for (k, v) in d.iteritems()}
File "<string>", line 0
^
SyntaxError: unexpected EOF while parsing
You specified k in the list of parameters, but didn't provide a value.
Incidentally, what do you mean by "I checked without pipe"?
A few notes:
- a1000 is pointless, ikpx will never exhaust that search space so you may as well omit it (i.e. unlimited adaptive widening).
- "-e split" is the default, so no need to specify that either.
- w12 is a very wide start for this search. Even though there is no 4c/9 ship of width 11, an ikpx search at that width will still search as yet unexplored parts of the search space due to the floating rows feature.
- For the previous c/2 search, k100 seems rather high. I expect that once you get to widths where spaceships start to be found iglucose will start to get bogged down and you'll spend a lot of time waiting for your SAT problems to be solved.
The
5S project (Smallest Spaceships Supporting Specific Speeds) is now maintained by AforAmpere. The latest collection is hosted on
GitHub and contains well over 1,000,000 spaceships.
Semi-active here - recovering from a severe case of
LWTDS.