instance | colours | vars | clauses | satisfiable? |
g125.18.cnf | 18 | 2250 | 70163 | yes |
g125.17.cnf | 17 | 2125 | 66272 | yes |
g250.15.cnf | 15 | 3750 | 233965 | yes |
g250.29.cnf | 29 | 7250 | 454622 | yes |
[JAMS89]
D.S. Johnson, C.R. Aragon, L.A. McGeoch, and C. Schevon.
Optimization by
Simulated Annealing: An Experimental Evaluation: Part II, Graph Coloring and Number
Partitioning.
Operations Research,, Vol. 37(6), pages 865-892, 1989. | |