I want to get optimal solution.

[9mm.cool]

Hi!

My name is Ikuya Omatsu.

I'm studying SATsolver and Max-SAT solver in a graduation thesis.

I'm using UBCsat solver ver1.1.0.

I did the following thing.

「./ubcsat -alg irots -w -varinitfile /home/omatsu/result.txt

 -r out stdout found,time,best,best_w -cutoff max -timeout 3600 -i /home/omatsu/clause.wcnf」

The following results were given.

# F   CPU Time  Best         Best 

# N in seconds Sol'n     Solution 

# D (measured) Found      Quality 

# 

  0 3600.020000    77  77.00000000 

But,I did not understand how to use option.

Is "Best Solution Quality" a meaning "optimal solution" or "feasible solution"?

If it is feasible solution,

Is there "the command" guaranteeing the optimal solution?

I'd appreciate any help.

Best regards,