Re: ubcsat in SPARC architecture

[Dave Tompkins]

Alejandro, can you try getting the newest beta version (1.2-beta 18) and trying that?

If you could follow up either way I'd appreciate it.

Thanks.

On Wed, Dec 12, 2012 at 1:12 AM, Alejandro Arbelaez <alejandro...@gmail.com> wrote:

Hi Dave,

Do you know if there is any problem running UBCSAT using a SPARC architecture. Actually, I am working with the UBCSAT version used  for the 2011 SAT competition (-alg sparrow -v sat11), it works fine when using INTEL processors but I have the following problem when using a SPARC processor:

./ubcsat -alg sparrow -v sat11 -i /home/c14000/Home/Instances/SAT11/random/large/unif-k3-r4.2-v30000-c126000-S1854039067-041-UNKNOWN.cnf -seed 1 -cutoff max -timeout 60

# 

# UBCSAT version 1.2-sparrow2011 (based on BETA 1.2-b10) SAT11 Sparrow Build

# 

# http://www.satlib.org/ubcsat

# 

# ubcsat -h for help

# 

Bus error

Thanks in advance for your help

Alejandro