Ikpx and grills

For scripts to aid with computation or simulation in cellular automata.
googleplex
Posts: 308
Joined: January 24th, 2018, 4:36 pm
Location: The hertzsprung gap

Ikpx and grills

Post by googleplex » March 10th, 2018, 3:53 pm

Thread for discussing ikpx, calcyman's search program.

when I run Ikpx I get this:

Code: Select all

$ python ikpx.py -v 2,1c/7

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

Incremental Knightship Partial Extend (ikpx)

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

Please enter fully-qualified target directory [/tmp/ikpx] : bb
Parsing velocity...
Parameters: {'dudy': 3, 'dudx': 1, 'dvdx': 0, 'dvdy': 7, 'a': 1, 'p': 7, 'b': 2,        'dudt': 1, 'dvdt': 2}
Neither head nor tail specified; defaulting to head.
Please enter lookahead for the search [30] : 15
Please enter number of CPU cores for the search [40] : 6
Directory bb already exists.
Ensuring iglucose is installed and operational:

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

Installing iglucose...
installers/add_iglucose.sh: line 8: unzip: command not found
/home/pltlf/metasat/scripts/iglucose.sh: line 10: compiled/iglucose: Is a direct       ory
Exit status: 126
Traceback (most recent call last):
  File "ikpx.py", line 988, in <module>
    clmain()
  File "ikpx.py", line 984, in clmain
    do_everything(psets, params, directory, encoding=args.encoding, loadhead=arg       s.loadhead)
  File "ikpx.py", line 728, in do_everything
    raise ValueError('iglucose exited with status %d' % status)
ValueError: iglucose exited with status 126
Last edited by googleplex on March 20th, 2018, 8:03 pm, edited 4 times in total.
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 10th, 2018, 4:31 pm

It seems you don't have the command unzip necessary to install iglucose. What platform are you using? If you're running Cygwin, then you may need to do setup-x86_64.exe again to ensure it's installed.

Also, as a separate issue, it's recommended that you enter a fully-qualified directory (i.e. an absolute path rather than relative path). I can modify ikpx so that it does path expansion itself, which is probably better.
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: Ixpx

Post by googleplex » March 10th, 2018, 5:26 pm

now this happens:

Code: Select all

$ python ikpx.py -v 2,1c/7
****************************************************************

Incremental Knightship Partial Extend (ikpx)

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

Please enter fully-qualified target directory [/tmp/ikpx] : ~/search
Parsing velocity...
Parameters: {'dudy': 3, 'dudx': 1, 'dvdx': 0, 'dvdy': 7, 'a': 1, 'p': 7, 'b': 2, 'dudt': 1, 'dvdt': 2}
Neither head nor tail specified; defaulting to head.
Please enter lookahead for the search [30] : 15
Please ent~/search created.cores for the search [40] : 6
Ensuring iglucose is installed and operational:

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

Installing iglucose...
Archive:  iGlucose.zip
   creating: tom-iGlucose/
   creating: tom-iGlucose/mtl/
  inflating: tom-iGlucose/mtl/XAlloc.h
  inflating: tom-iGlucose/mtl/IntTypes.h
  inflating: tom-iGlucose/mtl/Vec.h
  inflating: tom-iGlucose/mtl/config.mk
  inflating: tom-iGlucose/mtl/Sort.h
  inflating: tom-iGlucose/mtl/Queue.h
  inflating: tom-iGlucose/mtl/Alg.h
  inflating: tom-iGlucose/mtl/Map.h
  inflating: tom-iGlucose/mtl/Alloc.h
  inflating: tom-iGlucose/mtl/template.mk
  inflating: tom-iGlucose/mtl/Heap.h
   creating: tom-iGlucose/core/
  inflating: tom-iGlucose/core/depend.mk
  inflating: tom-iGlucose/core/Main.cc
  inflating: tom-iGlucose/core/Solver.cc
  inflating: tom-iGlucose/core/Constants.h
  inflating: tom-iGlucose/core/SolverTypes.h
  inflating: tom-iGlucose/core/Dimacs.h
  inflating: tom-iGlucose/core/Solver.h
  inflating: tom-iGlucose/core/BoundedQueue.h
  inflating: tom-iGlucose/core/Makefile
   creating: tom-iGlucose/simp/
  inflating: tom-iGlucose/simp/Makefile
  inflating: tom-iGlucose/simp/SimpSolver.cc
  inflating: tom-iGlucose/simp/SimpSolver.h
  inflating: tom-iGlucose/simp/Main.cc
   creating: tom-iGlucose/utils/
  inflating: tom-iGlucose/utils/ParseUtils.h
  inflating: tom-iGlucose/utils/System.cc
  inflating: tom-iGlucose/utils/Makefile
  inflating: tom-iGlucose/utils/System.h
  inflating: tom-iGlucose/utils/Options.h
  inflating: tom-iGlucose/utils/Options.cc
Linking: iGlucose ( /home/pltlf/metasat/iGlucose/core/Main.o /home/pltlf/metasat/iGlucose/core/Solver.o utils/Options.o utils/System.o )
/usr/lib/gcc/x86_64-pc-cygwin/6.4.0/../../../../x86_64-pc-cygwin/bin/ld: cannot find -lz
collect2: error: ld returned 1 exit status
make: *** [/home/pltlf/metasat/iGlucose/core/../mtl/template.mk:77: iGlucose] Error 1
/home/pltlf/metasat/scripts/iglucose.sh: line 10: compiled/iglucose: No such file or directory
Exit status: 127
Traceback (most recent call last):
  File "ikpx.py", line 988, in <module>
    clmain()
  File "ikpx.py", line 984, in clmain
    do_everything(psets, params, directory, encoding=args.encoding, loadhead=args.loadhead)
  File "ikpx.py", line 728, in do_everything
    raise ValueError('iglucose exited with status %d' % status)
ValueError: iglucose exited with status 127
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 10th, 2018, 7:43 pm

googleplex wrote:now this happens:

Code: Select all

$ python ikpx.py -v 2,1c/7
****************************************************************

Incremental Knightship Partial Extend (ikpx)

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

Please enter fully-qualified target directory [/tmp/ikpx] : ~/search
Parsing velocity...
Parameters: {'dudy': 3, 'dudx': 1, 'dvdx': 0, 'dvdy': 7, 'a': 1, 'p': 7, 'b': 2, 'dudt': 1, 'dvdt': 2}
Neither head nor tail specified; defaulting to head.
Please enter lookahead for the search [30] : 15
Please ent~/search created.cores for the search [40] : 6
Ensuring iglucose is installed and operational:

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

Installing iglucose...
Archive:  iGlucose.zip
   creating: tom-iGlucose/
   creating: tom-iGlucose/mtl/
  inflating: tom-iGlucose/mtl/XAlloc.h
  inflating: tom-iGlucose/mtl/IntTypes.h
  inflating: tom-iGlucose/mtl/Vec.h
  inflating: tom-iGlucose/mtl/config.mk
  inflating: tom-iGlucose/mtl/Sort.h
  inflating: tom-iGlucose/mtl/Queue.h
  inflating: tom-iGlucose/mtl/Alg.h
  inflating: tom-iGlucose/mtl/Map.h
  inflating: tom-iGlucose/mtl/Alloc.h
  inflating: tom-iGlucose/mtl/template.mk
  inflating: tom-iGlucose/mtl/Heap.h
   creating: tom-iGlucose/core/
  inflating: tom-iGlucose/core/depend.mk
  inflating: tom-iGlucose/core/Main.cc
  inflating: tom-iGlucose/core/Solver.cc
  inflating: tom-iGlucose/core/Constants.h
  inflating: tom-iGlucose/core/SolverTypes.h
  inflating: tom-iGlucose/core/Dimacs.h
  inflating: tom-iGlucose/core/Solver.h
  inflating: tom-iGlucose/core/BoundedQueue.h
  inflating: tom-iGlucose/core/Makefile
   creating: tom-iGlucose/simp/
  inflating: tom-iGlucose/simp/Makefile
  inflating: tom-iGlucose/simp/SimpSolver.cc
  inflating: tom-iGlucose/simp/SimpSolver.h
  inflating: tom-iGlucose/simp/Main.cc
   creating: tom-iGlucose/utils/
  inflating: tom-iGlucose/utils/ParseUtils.h
  inflating: tom-iGlucose/utils/System.cc
  inflating: tom-iGlucose/utils/Makefile
  inflating: tom-iGlucose/utils/System.h
  inflating: tom-iGlucose/utils/Options.h
  inflating: tom-iGlucose/utils/Options.cc
Linking: iGlucose ( /home/pltlf/metasat/iGlucose/core/Main.o /home/pltlf/metasat/iGlucose/core/Solver.o utils/Options.o utils/System.o )
/usr/lib/gcc/x86_64-pc-cygwin/6.4.0/../../../../x86_64-pc-cygwin/bin/ld: cannot find -lz
collect2: error: ld returned 1 exit status
make: *** [/home/pltlf/metasat/iGlucose/core/../mtl/template.mk:77: iGlucose] Error 1
/home/pltlf/metasat/scripts/iglucose.sh: line 10: compiled/iglucose: No such file or directory
Exit status: 127
Traceback (most recent call last):
  File "ikpx.py", line 988, in <module>
    clmain()
  File "ikpx.py", line 984, in clmain
    do_everything(psets, params, directory, encoding=args.encoding, loadhead=args.loadhead)
  File "ikpx.py", line 728, in do_everything
    raise ValueError('iglucose exited with status %d' % status)
ValueError: iglucose exited with status 127
I think that's because it's trying to link against zlib (which is not necessary because Tom removed the zlib support). I'll see if I can change it.

EDIT: I've removed the -lz option, which compiles fine on my machine. See if it works on your installation (Cygwin, I presume?).
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 10th, 2018, 8:30 pm

Yay, it works!
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

Post by googleplex » March 10th, 2018, 8:30 pm

how to input a partial?
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 10th, 2018, 10:15 pm

googleplex wrote:how to input a partial?
There are essentially two ways, depending on whether you want to incorporate a partial into an existing search tree (by the --loadhead option) or whether you want to begin a fresh search tree from some successive rows of that partial (by using the 'i' parameter).

Either way, you need to run golly2ikpx.py to convert a phase of a partial into phase-interleaved form, and then crop many rows from the end to ensure that what's left is a genuine partial.
What do you do with ill crystallographers? Take them to the mono-clinic!

fluffykitty
Posts: 1175
Joined: June 14th, 2014, 5:03 pm
Contact:

Re: Ikpx

Post by fluffykitty » March 11th, 2018, 12:28 am

Also, here's a link to IKPX: https://gitlab.com/apgoucher/metasat/bl ... er/ikpx.py
Also crash:

Code: Select all

Process Process-1:
Traceback (most recent call last):
  File "/System/Library/Frameworks/Python.framework/Versions/2.7/lib/python2.7/multiprocessing/process.py", line 258, in _bootstrap
    self.run()
  File "/System/Library/Frameworks/Python.framework/Versions/2.7/lib/python2.7/multiprocessing/process.py", line 114, in run
    self._target(*self._args, **self._kwargs)
  File "ikpx.py", line 651, in worker_function
    returned_work = perform_work(item)
  File "ikpx.py", line 636, in perform_work
    return multiple_work(*item)
  File "ikpx.py", line 622, in multiple_work
    satisfied = single_work(rows, w, W, K)
  File "ikpx.py", line 598, in single_work
    stages_completed, satisfied = px.exhaust(name, worker_root, master_queue, timeout=timeout)
  File "ikpx.py", line 160, in exhaust
    v0 = min(list(self.important_variables))
ValueError: min() arg is an empty sequence

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

Re: Ikpx

Post by calcyman » March 11th, 2018, 12:18 pm

fluffykitty wrote:Also, here's a link to IKPX: https://gitlab.com/apgoucher/metasat/bl ... er/ikpx.py
Also crash:
What command-line arguments did you use? And, more importantly, did you edit any of the other scripts (such as the definitions at the top of grills.py)?
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 11th, 2018, 1:31 pm

can someone tell me exactly how to input a partial?
I don't get it. I would like to extend the partial on the right.
How would I do this?

Code: Select all

x = 60, y = 28, rule = B3/S23
40bo$36bo3bo$37b3obo$6bo30bobob2o$5bo29bo5bob2o$4bob2o26b2o9bo$4bo4bo
23bo3bobo3bobo$2b3o4bo22b2ob2o3bob3o$3bo2bo3bo22bo4b2obob2o$obo3bo3b2o
21bo3bobobo2b2o$2bo3bo4bo27bo8bo$4bo4bob2o23b2obo4bo3bobo$4bo3bo3b2obo
23b3o3bo4bo$7b2o3bob2o23b3o2b3o$5b2o7bo29b2o4b2o$7bob3o30bobo4b3o$11bo
3b2o25b2o5bobo$9bob4o2bo31bo3b2o$10bob2o4bo30b2o4bo$13bobo34bo5bo$15bo
2bob2o25b2o2b2o$16b3o2bo25b2ob5obo$16b2o4bo32bo$18b2ob2o34bo$21bobo31b
o$18bo4b2o30bo2b2o$19bob3o33b2o$20b3o34bo!
Look at me! I make patterns in golly and go on the forums! I wanna be Famous!

User avatar
velcrorex
Posts: 339
Joined: November 1st, 2009, 1:33 pm

Re: Ikpx

Post by velcrorex » March 11th, 2018, 10:38 pm

It looks like I'm having trouble getting the directories to line up for installing iglucose, any ideas?

Code: Select all

$ python ikpx.py -v 2,1c/6

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

Incremental Knightship Partial Extend (ikpx)

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

Please enter fully-qualified target directory [/tmp/ikpx] : C:/cygwin64/home/Jos
h Ball/meta
Parsing velocity...
Parameters: {'dudy': -1, 'dudx': 2, 'dvdx': 0, 'dvdy': 3, 'a': 1, 'p': 6, 'b': 2
, 'dudt': 0, 'dvdt': 1}
Neither head nor tail specified; defaulting to head.
Please enter lookahead for the search [30] : 30
Please enter number of CPU cores for the search [40] : 1
Directory C:/cygwin64/home/Josh Ball/meta already exists.
Ensuring iglucose is installed and operational:

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

/home/Josh Ball/meta/scripts/iglucose.sh: line 2: cd: too many arguments
Installing iglucose...
bash: installers/add_iglucose.sh: No such file or directory
/home/Josh Ball/meta/scripts/iglucose.sh: line 10: compiled/iglucose: No such fi
le or directory
Exit status: 127
Traceback (most recent call last):
  File "ikpx.py", line 988, in <module>
    clmain()
  File "ikpx.py", line 984, in clmain
    do_everything(psets, params, directory, encoding=args.encoding, loadhead=arg
s.loadhead)
  File "ikpx.py", line 728, in do_everything
    raise ValueError('iglucose exited with status %d' % status)
ValueError: iglucose exited with status 127
-Josh Ball.

wildmyron
Posts: 1542
Joined: August 9th, 2013, 12:45 am
Location: Western Australia

Re: Ikpx

Post by wildmyron » March 11th, 2018, 11:26 pm

velcrorex wrote:It looks like I'm having trouble getting the directories to line up for installing iglucose, any ideas?

<snip>
Testing iglucose is failing because of a space in the path (specifically in directory "Josh Ball"). The easiest solution is to install everything to a location without spaces in the path. Otherwise you'll likely need to modify ikpx.py to ensure that it properly escapes spaces in the path. Calcyman's comment about entering a fully qualified directory is probably also relevant.
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.

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

Re: Ikpx

Post by 77topaz » March 11th, 2018, 11:28 pm

wildmyron wrote:
velcrorex wrote:It looks like I'm having trouble getting the directories to line up for installing iglucose, any ideas?

<snip>
Testing iglucose is failing because of a space in the path (specifically in directory "Josh Ball"). The easiest solution is to install everything to a location without spaces in the path. Otherwise you'll likely need to modify ikpx.py to ensure that it properly escapes spaces in the path. Calcyman's comment about entering a fully qualified directory is probably also relevant.
Ah, that's similar to how apgluxe doesn't work properly if there's a space in the path, as I'd found out when I first installed it. :P

User avatar
velcrorex
Posts: 339
Joined: November 1st, 2009, 1:33 pm

Re: Ikpx

Post by velcrorex » March 11th, 2018, 11:38 pm

Thanks. That's gotten me to other errors which have been addressed elsewhere in the thread.

I might as well ask: This looks like it's the Conway's Life rule only. To change the rule, I see in lines 98 + 99 in grills.py there's the rule specified. Is that the only line I would need to change, or are there other places?
-Josh Ball.

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

Re: Ikpx

Post by calcyman » March 12th, 2018, 12:04 am

velcrorex wrote:Thanks. That's gotten me to other errors which have been addressed elsewhere in the thread.

I might as well ask: This looks like it's the Conway's Life rule only. To change the rule, I see in lines 98 + 99 in grills.py there's the rule specified. Is that the only line I would need to change, or are there other places?
Basically, it's currently impossible to change the rule.
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 12th, 2018, 5:21 am

I've been running a (2,1)c/7 search on a six-core computer, but nothing's happened for 48 hours. Is this normal?
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:00 am

googleplex wrote:I've been running a (2,1)c/7 search on a six-core computer, but nothing's happened for 48 hours. Is this normal?
What do you mean by 'nothing's happened'? No partials have been printed? That's rather unusual indeed. Also, what value of k are you using?
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 12th, 2018, 11:10 am

What to do with a partial once I've put it through golly2ikpx?
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

Post by googleplex » March 12th, 2018, 3:18 pm

here's the log:

Code: Select all

pltlf@GAMING ~/metasat
$ python ikpx.py -v 2,1c/7

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

Incremental Knightship Partial Extend (ikpx)

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

Please enter fully-qualified target directory [/tmp/ikpx] : 21c7
Parsing velocity...
Parameters: {'dudy': 3, 'dudx': 1, 'dvdx': 0, 'dvdy': 7, 'a': 1, 'p': 7, 'b': 2, 'dudt': 1, 'dvdt': 2}
Neither head nor tail specified; defaulting to head.
Please enter lookahead for the search [30] : 15
Please enter number of CPU cores for the search [40] : 7
Directory 21c7 created.
Ensuring iglucose is installed and operational:

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

Installing iglucose...
Archive:  iGlucose.zip
   creating: tom-iGlucose/
   creating: tom-iGlucose/mtl/
  inflating: tom-iGlucose/mtl/XAlloc.h
  inflating: tom-iGlucose/mtl/IntTypes.h
  inflating: tom-iGlucose/mtl/Vec.h
  inflating: tom-iGlucose/mtl/config.mk
  inflating: tom-iGlucose/mtl/Sort.h
  inflating: tom-iGlucose/mtl/Queue.h
  inflating: tom-iGlucose/mtl/Alg.h
  inflating: tom-iGlucose/mtl/Map.h
  inflating: tom-iGlucose/mtl/Alloc.h
  inflating: tom-iGlucose/mtl/template.mk
  inflating: tom-iGlucose/mtl/Heap.h
   creating: tom-iGlucose/core/
  inflating: tom-iGlucose/core/depend.mk
  inflating: tom-iGlucose/core/Main.cc
  inflating: tom-iGlucose/core/Solver.cc
  inflating: tom-iGlucose/core/Constants.h
  inflating: tom-iGlucose/core/SolverTypes.h
  inflating: tom-iGlucose/core/Dimacs.h
  inflating: tom-iGlucose/core/Solver.h
  inflating: tom-iGlucose/core/BoundedQueue.h
  inflating: tom-iGlucose/core/Makefile
   creating: tom-iGlucose/simp/
  inflating: tom-iGlucose/simp/Makefile
  inflating: tom-iGlucose/simp/SimpSolver.cc
  inflating: tom-iGlucose/simp/SimpSolver.h
  inflating: tom-iGlucose/simp/Main.cc
   creating: tom-iGlucose/utils/
  inflating: tom-iGlucose/utils/ParseUtils.h
  inflating: tom-iGlucose/utils/System.cc
  inflating: tom-iGlucose/utils/Makefile
  inflating: tom-iGlucose/utils/System.h
  inflating: tom-iGlucose/utils/Options.h
  inflating: tom-iGlucose/utils/Options.cc
make: Warning: File '/home/pltlf/metasat/iGlucose/core/../mtl/template.mk' has modification time 19010 s in the future
Making dependencies
make: Warning: File '/home/pltlf/metasat/iGlucose/core/../mtl/template.mk' has modification time 18983 s in the future
Compiling: /home/pltlf/metasat/iGlucose/core/Main.o
In file included from /home/pltlf/metasat/iGlucose/core/Main.cc:36:0:
/home/pltlf/metasat/iGlucose/utils/Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
             fprintf(stderr, "%4"PRIi64, range.begin);
                             ^
/home/pltlf/metasat/iGlucose/utils/Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
             fprintf(stderr, "%4"PRIi64, range.end);
                             ^
/home/pltlf/metasat/iGlucose/utils/Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
         fprintf(stderr, "] (default: %"PRIi64")\n", value);
                         ^
/home/pltlf/metasat/iGlucose/core/Main.cc:49:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
     printf("c restarts              : %"PRIu64" (%"PRIu64" conflicts in avg)\n", solver.starts,(solver.starts>0 ?solver.conflicts/solver.starts : 0));
            ^
/home/pltlf/metasat/iGlucose/core/Main.cc:49:47: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
     printf("c restarts              : %"PRIu64" (%"PRIu64" conflicts in avg)\n", solver.starts,(solver.starts>0 ?solver.conflicts/solver.starts : 0));
                                               ^
/home/pltlf/metasat/iGlucose/core/Main.cc:50:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
     printf("c blocked restarts      : %"PRIu64" (multiple: %"PRIu64") \n", solver.nbstopsrestarts,solver.nbstopsrestartssame);
            ^
/home/pltlf/metasat/iGlucose/core/Main.cc:50:47: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
     printf("c blocked restarts      : %"PRIu64" (multiple: %"PRIu64") \n", solver.nbstopsrestarts,solver.nbstopsrestartssame);
                                               ^
/home/pltlf/metasat/iGlucose/core/Main.cc:51:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
     printf("c last block at restart : %"PRIu64"\n",solver.lastblockatrestart);
            ^
/home/pltlf/metasat/iGlucose/core/Main.cc:58:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
     printf("c conflicts             : %-12"PRIu64"   (%.0f /sec)\n", solver.conflicts   , solver.conflicts   /cpu_time);
            ^
/home/pltlf/metasat/iGlucose/core/Main.cc:59:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
     printf("c decisions             : %-12"PRIu64"   (%4.2f %% random) (%.0f /sec)\n", solver.decisions, (float)solver.rnd_decisions*100 / (float)solver.decisions, solver.decisions   /cpu_time);
            ^
/home/pltlf/metasat/iGlucose/core/Main.cc:60:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
     printf("c propagations          : %-12"PRIu64"   (%.0f /sec)\n", solver.propagations, solver.propagations/cpu_time);
            ^
/home/pltlf/metasat/iGlucose/core/Main.cc:61:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
     printf("c conflict literals     : %-12"PRIu64"   (%4.2f %% deleted)\n", solver.tot_literals, (solver.max_literals - solver.tot_literals)*100 / (double)solver.max_literals);
            ^
In file included from /home/pltlf/metasat/iGlucose/core/Main.cc:35:0:
/home/pltlf/metasat/iGlucose/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/home/pltlf/metasat/iGlucose/utils/ParseUtils.h:103:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
     while (*in >= '0' && *in <= '9')
     ^~~~~
/home/pltlf/metasat/iGlucose/utils/ParseUtils.h:107:2: note: ...this statement, but the latter is misleadingly indented as if it is guarded by the ‘while’
  if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
  ^~
/home/pltlf/metasat/iGlucose/core/Main.cc: At global scope:
/home/pltlf/metasat/iGlucose/core/Main.cc:76:13: warning: ‘void SIGINT_exit(int ’ defined but not used [-Wunused-function]
 static void SIGINT_exit(int signum) {
             ^~~~~~~~~~~
Compiling: /home/pltlf/metasat/iGlucose/core/Solver.o
In file included from /home/pltlf/metasat/iGlucose/core/Solver.h:35:0,
                 from /home/pltlf/metasat/iGlucose/core/Solver.cc:33:
/home/pltlf/metasat/iGlucose/utils/Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
             fprintf(stderr, "%4"PRIi64, range.begin);
                             ^
/home/pltlf/metasat/iGlucose/utils/Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
             fprintf(stderr, "%4"PRIi64, range.end);
                             ^
/home/pltlf/metasat/iGlucose/utils/Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
         fprintf(stderr, "] (default: %"PRIi64")\n", value);
                         ^
In file included from /home/pltlf/metasat/iGlucose/utils/Options.h:30:0,
                 from /home/pltlf/metasat/iGlucose/core/Solver.h:35,
                 from /home/pltlf/metasat/iGlucose/core/Solver.cc:33:
/home/pltlf/metasat/iGlucose/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/home/pltlf/metasat/iGlucose/utils/ParseUtils.h:103:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
     while (*in >= '0' && *in <= '9')
     ^~~~~
/home/pltlf/metasat/iGlucose/utils/ParseUtils.h:107:2: note: ...this statement, but the latter is misleadingly indented as if it is guarded by the ‘while’
  if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
  ^~
/home/pltlf/metasat/iGlucose/core/Solver.cc: In member function ‘unsigned int Glucose::Solver::computeLBD(const Glucose::vec<Glucose::Lit>&, int)’:
/home/pltlf/metasat/iGlucose/core/Solver.cc:379:16: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
       if(nbDone>=end) break;
          ~~~~~~^~~~~
/home/pltlf/metasat/iGlucose/core/Solver.cc: In member function ‘unsigned int Glucose::Solver::computeLBD(const Glucose::Clause&)’:
/home/pltlf/metasat/iGlucose/core/Solver.cc:408:16: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
       if(nbDone>=c.sizeWithoutSelectors()) break;
          ~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~
/home/pltlf/metasat/iGlucose/core/Solver.cc: In member function ‘Glucose::lbool Glucose::Solver::search(int)’:
/home/pltlf/metasat/iGlucose/core/Solver.cc:1147:19: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
      if(conflicts >=  curRestart * nbclausesbeforereduce )
         ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Compiling: utils/Options.o
In file included from /home/pltlf/metasat/iGlucose/core/../utils/Options.cc:21: :
/home/pltlf/metasat/iGlucose/utils/Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
             fprintf(stderr, "%4"PRIi64, range.begin);
                             ^
/home/pltlf/metasat/iGlucose/utils/Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
             fprintf(stderr, "%4"PRIi64, range.end);
                             ^
/home/pltlf/metasat/iGlucose/utils/Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
         fprintf(stderr, "] (default: %"PRIi64")\n", value);
                         ^
In file included from /home/pltlf/metasat/iGlucose/utils/Options.h:30:0,
                 from /home/pltlf/metasat/iGlucose/core/../utils/Options.cc:21:
/home/pltlf/metasat/iGlucose/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/home/pltlf/metasat/iGlucose/utils/ParseUtils.h:103:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
     while (*in >= '0' && *in <= '9')
     ^~~~~
/home/pltlf/metasat/iGlucose/utils/ParseUtils.h:107:2: note: ...this statement, but the latter is misleadingly indented as if it is guarded by the ‘while’
  if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
  ^~
/home/pltlf/metasat/iGlucose/core/../utils/Options.cc: In function ‘void Glucose::printUsageAndExit(int, char**, bool)’:
/home/pltlf/metasat/iGlucose/core/../utils/Options.cc:62:5: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation]
     if (usage != NULL)
     ^~
/home/pltlf/metasat/iGlucose/core/../utils/Options.cc:65:9: note: ...this statement, but the latter is misleadingly indented as if it is guarded by the ‘if’
         sort(Option::getOptionList(), Option::OptionLt());
         ^~~~
Compiling: utils/System.o
Linking: iGlucose ( /home/pltlf/metasat/iGlucose/core/Main.o /home/pltlf/metasat/iGlucose/core/Solver.o utils/Options.o utils/System.o )
make: warning:  Clock skew detected.  Your build may be incomplete.
/home/pltlf/metasat
Installed iglucose
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, 0, 0, 0, 0, 0, 0, 1), 'k': 15, 'j': 7, 'p': 7, 't': 600, 'w': 5}
Directory 21c7/backup created.
Backup file 21c7/backup/backup_head_location.txt not found
To quit the program, either Ctrl+C or run the command:
 kill -SIGINT -17956
Increasing head search width to 6...
...adaptive widening completed.
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

Post by googleplex » March 12th, 2018, 3:42 pm

how does -l work? does it take a golly2ikpx'd rle in the target directory?
Look at me! I make patterns in golly and go on the forums! I wanna be Famous!

User avatar
Rhombic
Posts: 1072
Joined: June 1st, 2013, 5:41 pm

Re: Ikpx

Post by Rhombic » March 12th, 2018, 4:39 pm

I think a tutorial on the wiki similar to the one on LLS would be greatly appreciated by a few of us. :D
SoL : FreeElectronics : DeadlyEnemies : 6a-ite : Rule X3VI
what is “sesame oil”?

User avatar
Apple Bottom
Posts: 1034
Joined: July 27th, 2015, 2:06 pm
Contact:

Re: Ikpx

Post by Apple Bottom » March 12th, 2018, 4:57 pm

Rhombic wrote:I think a tutorial on the wiki similar to the one on LLS would be greatly appreciated by a few of us. :D
Good idea! And the article on ikpx I just started could use some fleshing out as well. ;)
If you speak, your speech must be better than your silence would have been. — Arabian proverb

Catagolue: Apple Bottom • Life Wiki: Apple Bottom • Twitter: @_AppleBottom_

Proud member of the Pattern Raiders!

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

Re: Ikpx

Post by calcyman » March 12th, 2018, 5:31 pm

googleplex wrote:how does -l work? does it take a golly2ikpx'd rle in the target directory?
A golly2ikpx'd RLE, yes, but not necessarily in the target directory. It's easiest to just save the RLE in the same directory as the ikpx script. Also, you want to pull the latest commit ('git pull') so that it works even if the head of the partial is not already in the search tree.
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 12th, 2018, 5:54 pm

how to make it print partials?
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

Post by googleplex » March 12th, 2018, 6:19 pm

(2,1)c/7 partial:

Code: Select all

x = 21, y = 15, rule = B3/S23
obo4bo3b2o$b2o4bo2bobo$3bob2o3bo2bo$3b2o4b2ob2o$9b2o4bo$10b2o3b2o$9bob
o$8b2o6bo$8b4o2b3o$12b6o$17bo$17bobo$17b4o$17b2obo$18b2o!
Look at me! I make patterns in golly and go on the forums! I wanna be Famous!

Post Reply