CSP2SAT: OSS benchmark results
Last modified: Sun Jul 15 16:31:51 2007 JST
OSS: Open-Shop Scheduling Problems
- CSP2SAT: version 0.3
- SAT Solver: MiniSAT v1.14
- Machine Spec.: Intel Xeon 2.8GHz 4GB memory, Linux
The following table shows the optimum values found and proved by CSP2SAT.
- The makespan value
1002 for j8-per10-2
is a new optimum value
found and proved by CSP2SAT.
- The makespan values
1048 for j7-per0-0
and
1039 for j8-per0-1
are optimum values
proved by CSP2SAT
(the values were known, but were not proved to be optimum).
Links
Naoyuki Tamura