CSP2SAT: GCP benchmark results
Last modified: Sun Jul 15 16:32:29 2007 JST
GCP: Graph Coloring Problems
- CSP2SAT: version 0.3
- SAT Solver: MiniSAT v1.14
- Machine Spec.: Intel Xeon 2.8GHz 4GB memory, Linux
- Timeout: 7200 seconds
The following table shows the optimum values found and proved by CSP2SAT.
Links
Naoyuki Tamura