Page 1 of 6
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
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.
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.
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.
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!