Page 1 of 4

Ikpx and grills

Posted: March 10th, 2018, 3:53 pm
by googleplex
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

Re: ikpx

Posted: March 10th, 2018, 4:31 pm
by calcyman
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.

Re: Ixpx

Posted: March 10th, 2018, 5:26 pm
by googleplex
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

Re: ikpx

Posted: March 10th, 2018, 7:43 pm
by calcyman
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?).

Re: Ikpx

Posted: March 10th, 2018, 8:30 pm
by googleplex
Yay, it works!

Re: Ikpx

Posted: March 10th, 2018, 8:30 pm
by googleplex
how to input a partial?

Re: Ikpx

Posted: March 10th, 2018, 10:15 pm
by calcyman
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.

Re: Ikpx

Posted: March 11th, 2018, 12:28 am
by fluffykitty
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

Re: Ikpx

Posted: March 11th, 2018, 12:18 pm
by calcyman
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)?

Re: Ikpx

Posted: March 11th, 2018, 1:31 pm
by googleplex
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!

Re: Ikpx

Posted: March 11th, 2018, 10:38 pm
by velcrorex
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

Re: Ikpx

Posted: March 11th, 2018, 11:26 pm
by wildmyron
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.

Re: Ikpx

Posted: March 11th, 2018, 11:28 pm
by 77topaz
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

Re: Ikpx

Posted: March 11th, 2018, 11:38 pm
by velcrorex
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?

Re: Ikpx

Posted: March 12th, 2018, 12:04 am
by calcyman
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.

Re: Ikpx

Posted: March 12th, 2018, 5:21 am
by googleplex
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?

Re: Ikpx

Posted: March 12th, 2018, 10:00 am
by calcyman
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?

Re: Ikpx

Posted: March 12th, 2018, 11:10 am
by googleplex
What to do with a partial once I've put it through golly2ikpx?

Re: Ikpx

Posted: March 12th, 2018, 3:18 pm
by googleplex
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.

Re: Ikpx

Posted: March 12th, 2018, 3:42 pm
by googleplex
how does -l work? does it take a golly2ikpx'd rle in the target directory?

Re: Ikpx

Posted: March 12th, 2018, 4:39 pm
by Rhombic
I think a tutorial on the wiki similar to the one on LLS would be greatly appreciated by a few of us. :D

Re: Ikpx

Posted: March 12th, 2018, 4:57 pm
by Apple Bottom
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. ;)

Re: Ikpx

Posted: March 12th, 2018, 5:31 pm
by calcyman
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.

Re: Ikpx

Posted: March 12th, 2018, 5:54 pm
by googleplex
how to make it print partials?

Re: Ikpx

Posted: March 12th, 2018, 6:19 pm
by googleplex
(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!