Page 6 of 6
Re: Ikpx and grills
Posted: September 5th, 2020, 9:58 am
by calcyman
LaundryPizza03 wrote: ↑September 4th, 2020, 10:28 pm
It seems that 1 thread causes the program to get nowhere. For instance:
Code: Select all
# 256 iterations completed: queuesize = 10; heapsize = 18999; treesize = 41933
# 512 iterations completed: queuesize = 10; heapsize = 18999; treesize = 41933
# 768 iterations completed: queuesize = 10; heapsize = 18999; treesize = 41933
What parameters are you using? The CI process runs with
-p 1 without causing any problems:
https://gitlab.com/apgoucher/ikpx2/-/jobs/715514278
Re: Ikpx and grills
Posted: September 7th, 2020, 1:41 am
by LaundryPizza03
Then I don't know.
I've found a new OTCA spaceship with ikpx2 in the rule B36/S13578. See
this post.
Re: Ikpx and grills
Posted: June 12th, 2021, 3:34 pm
by googoIpIex
ikpx2 isnt installing, its doing this instead:
Code: Select all
leo@ubuntu-20:~/ikpx2$ ./recompile.sh
Rule unspecified; assuming b3s23.
Updating submodules...
libkissat.a already detected
Building cadical solver...
configure: reusing default 'build' directory
configure: building in default '/home/leo/ikpx2/cadical/build'
configure: root directory '/home/leo/ikpx2/cadical'
configure: error: test compilation './configure-hello-world.cpp' (check also 'configure.log')
I suspect i might be missing a module but I cant tell what.
EDIT:
Yeah I forgot G++.