- Converter: convert from benchmarks from
ascii
tobinary
format and vice versa. - Benchmark:
Since the experiments are performed on different machines,
download this file, untar, compile the program
dfmax
, run the program onr500.b
, and report the resulting computation time.
File | Vertices | Edges | Sol | Category | Note | |
---|---|---|---|---|---|---|
1 | (*)DSJC125.1.col | 125 | 736 | ? | DSJ | |
2 | (*)DSJC125.5.col | 125 | 3891 | ? | DSJ | |
3 | (*)DSJC125.9.col | 125 | 6961 | ? | DSJ | |
4 | (*)DSJC250.1.col | 250 | 3218 | ? | DSJ | |
5 | (*)DSJC250.5.col | 250 | 15668 | ? | DSJ | |
6 | (*)DSJC250.9.col | 250 | 27897 | ? | DSJ | |
7 | (*)DSJC500.1.col | 500 | 12458 | ? | DSJ | |
8 | (*)DSJC500.5.col | 500 | 62624 | ? | DSJ | |
9 | (*)DSJC500.9.col | 500 | 224874 | ? | DSJ | # edges should be[fn:1] 112437 |
10 | (*)DSJR500.1.col | 500 | 3555 | ? | DSJ | |
11 | (*)DSJR500.1c.col | 500 | 121275 | ? | DSJ | |
12 | (*)DSJR500.5.col | 500 | 58862 | ? | DSJ | |
13 | (*)DSJC1000.1.col | 1000 | 49629 | ? | DSJ | |
14 | (*)DSJC1000.5.col | 1000 | 249826 | ? | DSJ | |
15 | (*)DSJC1000.9.col | 1000 | 449449 | ? | DSJ | |
16 | fpsol2.i.1.col | 496 | 11654 | 65 | REG | |
17 | fpsol2.i.2.col | 451 | 8691 | 30 | REG | |
18 | fpsol2.i.3.col | 425 | 8688 | 30 | REG | |
19 | inithx.i.1.col | 864 | 18707 | 54 | REG | |
20 | inithx.i.2.col | 645 | 13979 | 31 | REG | |
21 | inithx.i.3.col | 621 | 13969 | 31 | REG | |
22 | (*)latin_square_10.col | 900 | 307350 | ? | LAT | |
23 | (*)le450_15a.col | 450 | 8168 | 15 | LEI | |
24 | (*)le450_15b.col | 450 | 8169 | 15 | LEI | |
25 | (*)le450_15c.col | 450 | 16680 | 15 | LEI | |
26 | (*)le450_15d.col | 450 | 16750 | 15 | LEI | |
27 | (*)le450_25a.col | 450 | 8260 | 25 | LEI | |
28 | (*)le450_25b.col | 450 | 8263 | 25 | LEI | |
29 | (*)le450_25c.col | 450 | 17343 | 25 | LEI | |
30 | (*)le450_25d.col | 450 | 17425 | 25 | LEI | |
31 | (*)le450_5a.col | 450 | 5714 | 5 | LEI | |
32 | (*)le450_5b.col | 450 | 5734 | 5 | LEI | |
33 | (*)le450_5c.col | 450 | 9803 | 5 | LEI | |
34 | (*)le450_5d.col | 450 | 9757 | 5 | LEI | |
35 | mulsol.i.1.col | 197 | 3925 | 49 | REG | |
36 | mulsol.i.2.col | 188 | 3885 | 31 | REG | |
37 | mulsol.i.3.col | 184 | 3916 | 31 | REG | |
38 | mulsol.i.4.col | 185 | 3946 | 31 | REG | |
39 | mulsol.i.5.col | 186 | 3973 | 31 | REG | |
40 | school1.col | 385 | 19095 | ? | SCH | |
41 | (*)school1_nsh.col | 352 | 14612 | ? | SCH | |
42 | zeroin.i.1.col | 211 | 4100 | 49 | REG | |
43 | zeroin.i.2.col | 211 | 3541 | 30 | REG | |
44 | zeroin.i.3.col | 206 | 3540 | 30 | REG | |
45 | anna.col | 138 | 493 | 11 | SGB | |
46 | david.col | 87 | 406 | 11 | SGB | |
47 | homer.col | 561 | 1629 | 13 | SGB | # edges should be[fn:1] 1628 + 1 self-loop edge[fn:2] |
48 | huck.col | 74 | 301 | 11 | SGB | |
49 | jean.col | 80 | 254 | 10 | SGB | |
50 | games120.col | 120 | 638 | 9 | SGB | |
51 | miles1000.col | 128 | 3216 | 42 | SGB | |
52 | miles1500.col | 128 | 5198 | 73 | SGB | |
53 | miles250.col | 128 | 387 | 8 | SGB | |
54 | miles500.col | 128 | 1170 | 20 | SGB | |
55 | miles750.col | 128 | 2113 | 31 | SGB | |
56 | queen5_5.col | 25 | 160 | 5 | SGB | |
57 | queen6_6.col | 36 | 290 | 7 | SGB | |
58 | queen7_7.col | 49 | 476 | 7 | SGB | |
59 | (*)queen8_12.col | 96 | 1368 | 12 | SGB | |
60 | (*)queen8_8.col | 64 | 728 | 9 | SGB | |
61 | (*)queen9_9.col | 81 | 2112 | 10 | SGB | # edges should be[fn:1] 1056 |
62 | (*)queen10_10.col | 100 | 2940 | ? | SGB | # edges should be[fn:1] 1470 |
63 | (*)queen11_11.col | 121 | 3960 | 11 | SGB | # edges should be[fn:1] 1980 |
64 | (*)queen12_12.col | 144 | 5192 | ? | SGB | # edges should be[fn:1] 2596 |
65 | (*)queen13_13.col | 169 | 6656 | 13 | SGB | # edges should be[fn:1] 3328 |
66 | (*)queen14_14.col | 196 | 8372 | ? | SGB | # edges should be[fn:1] 4186 |
67 | (*)queen15_15.col | 225 | 10360 | ? | SGB | # edges should be[fn:1] 5180 |
68 | (*)queen16_16.col | 256 | 12640 | ? | SGB | # edges should be[fn:1] 6320 |
69 | myciel3.col | 11 | 20 | 4 | MYC | |
70 | myciel4.col | 23 | 71 | 5 | MYC | |
71 | (*)myciel5.col | 47 | 236 | 6 | MYC | |
72 | (*)myciel6.col | 95 | 755 | 7 | MYC | |
73 | (*)myciel7.col | 191 | 2360 | 8 | MYC | |
74 | mugg88_1.col | 88 | 146 | 4 | MIZ | |
75 | mugg88_25.col | 88 | 146 | 4 | MIZ | |
76 | mugg100_1.col | 100 | 166 | 4 | MIZ | |
77 | (*)mugg100_25.col | 100 | 166 | 4 | MIZ | |
78 | abb313GPIA.col | 1557 | 53356 | ? | HOS | corrected 12/29/03 |
79 | ash331GPIA.col | 662 | 4185 | ? | HOS | |
80 | ash608GPIA.col | 1216 | 7844 | ? | HOS | |
81 | ash958GPIA.col | 1916 | 12506 | ? | HOS | |
82 | will199GPIA.col | 701 | 6772 | ? | HOS | corrected 12/29/03 |
83 | (*)1-Insertions_4.col | 67 | 232 | 4 | CAR | |
84 | (*)1-Insertions_5.col | 202 | 1227 | ? | CAR | |
85 | (*)1-Insertions_6.col | 607 | 6337 | ? | CAR | |
86 | (*)2-Insertions_3.col | 37 | 72 | 4 | CAR | |
87 | (*)2-Insertions_4.col | 149 | 541 | 4 | CAR | |
88 | (*)2-Insertions_5.col | 597 | 3936 | ? | CAR | |
89 | (*)3-Insertions_3.col | 56 | 110 | 4 | CAR | |
90 | (*)3-Insertions_4.col | 281 | 1046 | ? | CAR | |
91 | (*)3-Insertions_5.col | 1406 | 9695 | ? | CAR | |
92 | (*)4-Insertions_3.col | 79 | 156 | 3 | CAR | |
93 | (*)4-Insertions_4.col | 475 | 1795 | ? | CAR | |
94 | (*)1-FullIns_3.col | 30 | 100 | ? | CAR | |
95 | (*)1-FullIns_4.col | 93 | 593 | ? | CAR | |
96 | (*)1-FullIns_5.col | 282 | 3247 | ? | CAR | |
97 | (*)2-FullIns_3.col | 52 | 201 | ? | CAR | |
98 | (*)2-FullIns_4.col | 212 | 1621 | ? | CAR | |
99 | (*)2-FullIns_5.col | 852 | 12201 | ? | CAR | |
100 | (*)3-FullIns_3.col | 80 | 346 | ? | CAR | |
101 | (*)3-FullIns_4.col | 405 | 3524 | ? | CAR | |
102 | (*)3-FullIns_5.col | 2030 | 33751 | ? | CAR | |
103 | (*)4-FullIns_3.col | 114 | 541 | ? | CAR | |
104 | (*)4-FullIns_4.col | 690 | 6650 | ? | CAR | |
105 | (*)4-FullIns_5.col | 4146 | 77305 | ? | CAR | |
106 | (*)5-FullIns_3.col | 154 | 792 | ? | CAR | |
107 | (*)5-FullIns_4.col | 1085 | 11395 | ? | CAR | |
108 | wap01a.col | 2368 | 110871 | ? | KOS | |
109 | wap02a.col | 2464 | 111742 | ? | KOS | |
110 | wap03a.col | 4730 | 286722 | ? | KOS | |
111 | wap04a.col | 5231 | 294902 | ? | KOS | # vertices > 5000 |
112 | wap05a.col | 905 | 43081 | ? | KOS | |
113 | wap06a.col | 947 | 43571 | ? | KOS | |
114 | wap07a.col | 1809 | 103368 | ? | KOS | |
115 | wap08a.col | 1870 | 104176 | ? | KOS | |
116 | qg.order30.col | 900 | 26100 | 30 | GOM | |
117 | qg.order40.col | 1600 | 62400 | 40 | GOM | |
118 | qg.order60.col | 3600 | 212400 | 60 | GOM | |
119 | qg.order100.col | 10000 | 990000 | 100 | GOM | # vertices > 5000 |
In the following, some or all nodes must choose from the sets given by the f
lines.
The following can be used in bandwidth (edge weights) multicoloring (node weights) or both simply by ignoring unwanted information (edge weights for multicoloring and node weights for bandwidth). They can even be used for graph coloring by ignoring both!
- DSJ
- (From David Johnson, [email protected]) Random graphs used in his paper with Aragon, McGeoch, and Schevon, “Optimization by Simulated Annealing: An Experimental Evaluation; Part II, Graph Coloring and Number Partitioning”, Operations Research, 31, 378–406 (1991).
DSJC are standard (n , p) random graphs. DSJR are geometric graphs with DSJR..c being complements of geometric graphs. In some papers the edge count is twice that given here since both (i , j) and (j , i) are counted.
- CUL
- (From Joe Culberson ([email protected])) Quasi-random coloring problem.
- REG
- (From Gary Lewandowski ([email protected])) Problem based on register allocation for variables in real codes.
- LEI
- (From Craig Morgenstern ([email protected])) Leighton graphs with guaranteed coloring size. A reference is F.T. Leighton, Journal of Research of the National Bureau of Standards, 84: 489–505 (1979).
- SCH
- (From Gary Lewandowski ([email protected])): Class scheduling graphs with and without study halls.
- LAT
- (From Gary Lewandowski ([email protected])): Latin square problem.
- SGB
- (From Michael Trick ([email protected]) Graphs from Donald Knuth’s Stanford GraphBase. These can be divided into:
- Book Graphs
- Given a work of literature, a graph is created where each node represents a character. Two nodes are connected by an edge if the corresponding characters encounter each other in the book. Knuth creates the graphs for five classic works: Tolstoy’s Anna Karenina (
anna
), Dicken’s David Copperfield (david
), Homer’s Iliad (homer
), Twain’s Huckleberry Finn (huck
), and Hugo’s Les Miserables (jean
). - Game Graphs
- A graph representing the games played in a college football season can be represented by a graph where the nodes represent each college team. Two teams are connected by an edge if they played each other during the season. Knuth gives the graph for the 1990 college football season.
- Miles Graphs
- These graphs are similar to geometric graphs in that nodes are placed in space with two nodes connected if they are close enough. These graphs , however , are not random. The nodes represent a set of United States cities and the distance between them is given by by road mileage from 1947. These graphs are also due to Kuth.
- Queen Graphs
- Given an n by n chessboard , a queen graph is a graph on n^2 nodes , each corresponding to a square of the board. Two nodes are connected by an edge if the corresponding squares are in the same row , column , or diagonal. Unlike some of the other graphs , the coloring problem on this graph has a natural interpretation: Given such a chessboard , is it possible to place n sets of n queens on the board so that no two queens of the same set are in the same row , column , or diagonal? The answer is yes if and only if the graph has coloring number n. Vasek Chvatal has a page on such colorings.
- MYC
- (From Michael Trick ([email protected])) Graphs based on the Mycielski transformation. These graphs are difficult to solve because they are triangle free (clique number 2) but the coloring number increases in problem size.
- MYC
- (From Kuzunori Mizuno ([email protected]) Graphs that are almost 3-colorable, but have a hard-to-find four clique embedded.
- HOS
- (From Shahadat Hossain) Graphs obtained from a matrix partitioning problem in the segmented columns approach to determine sparse Jacobian matrices.
- CAR
- (From M. Caramia ([email protected]) and P. Dell’Olmo ([email protected])) k-Insertion graphs and Full Insertion graphs are a generalization of myciel graphs with inserted nodes to increase graph size but not density.
- KOS
- (From Arie Koster [email protected]) From real-life optical network design problems. Each vertex corresponds to a lightpath in the network; edges correspond to intersecting paths. (Corrected June 28 , 2002 and replaced by wap?a.col instances: nodes now numbered from 1 to n)
- GOM
- (From Carla Gomes [email protected]) Latin squares (standard encoding).
- GOM1
- Encodings of latin square problem.
- GEO
- Geometric graphs generated by Michael Trick. Points are generated in a 10,000 by 10,000 grid and are connected by an edge if they are close enough together. Edge weights are inversely proportional to the distance between nodes; Node weights are uniformly generated. (Note, I do not know how hard this problem is, so if the 120 is too easy, let me know so I can generate larger instances). The GEOMn instances are sparse; GEOMa and GEOMb instances are denser; GEOMb requires fewer colors per node.
- MUC
- Other instances are for multicoloring: the “g.col” are the corresponding coloring instances with node weights uniformly generated between 1 and 5; the “gb.col” have node weights uniformly generated between 1 and 20.
Back to benchmark instances page
[fn:1] duplicated: edges counted twice (e.g., e v1 v2 , e v2 v1) [fn:2] self-loop: e v1 v1