c File: flat30_3_0.col
c
c SOURCE: Joseph Culberson (joe@cs.ualberta.ca)
c DESCRIPTION: Quasi-random coloring problem
c              generated with flatness = 0
c                             probability = 0.200
c                             known coloring = 3
c                             random seed = 229712
c              Creation Date:  Fri Nov 29 22:01:44 1996
c Maximum degree = 6 Minimum degree = 1
c
c cnf created by edge2cnf
p cnf 90 300
-1 -2 0
-1 -3 0
-2 -3 0
1 2 3 0
-4 -5 0
-4 -6 0
-5 -6 0
4 5 6 0
-7 -8 0
-7 -9 0
-8 -9 0
7 8 9 0
-10 -11 0
-10 -12 0
-11 -12 0
10 11 12 0
-13 -14 0
-13 -15 0
-14 -15 0
13 14 15 0
-16 -17 0
-16 -18 0
-17 -18 0
16 17 18 0
-19 -20 0
-19 -21 0
-20 -21 0
19 20 21 0
-22 -23 0
-22 -24 0
-23 -24 0
22 23 24 0
-25 -26 0
-25 -27 0
-26 -27 0
25 26 27 0
-28 -29 0
-28 -30 0
-29 -30 0
28 29 30 0
-31 -32 0
-31 -33 0
-32 -33 0
31 32 33 0
-34 -35 0
-34 -36 0
-35 -36 0
34 35 36 0
-37 -38 0
-37 -39 0
-38 -39 0
37 38 39 0
-40 -41 0
-40 -42 0
-41 -42 0
40 41 42 0
-43 -44 0
-43 -45 0
-44 -45 0
43 44 45 0
-46 -47 0
-46 -48 0
-47 -48 0
46 47 48 0
-49 -50 0
-49 -51 0
-50 -51 0
49 50 51 0
-52 -53 0
-52 -54 0
-53 -54 0
52 53 54 0
-55 -56 0
-55 -57 0
-56 -57 0
55 56 57 0
-58 -59 0
-58 -60 0
-59 -60 0
58 59 60 0
-61 -62 0
-61 -63 0
-62 -63 0
61 62 63 0
-64 -65 0
-64 -66 0
-65 -66 0
64 65 66 0
-67 -68 0
-67 -69 0
-68 -69 0
67 68 69 0
-70 -71 0
-70 -72 0
-71 -72 0
70 71 72 0
-73 -74 0
-73 -75 0
-74 -75 0
73 74 75 0
-76 -77 0
-76 -78 0
-77 -78 0
76 77 78 0
-79 -80 0
-79 -81 0
-80 -81 0
79 80 81 0
-82 -83 0
-82 -84 0
-83 -84 0
82 83 84 0
-85 -86 0
-85 -87 0
-86 -87 0
85 86 87 0
-88 -89 0
-88 -90 0
-89 -90 0
88 89 90 0
-43 -1 0
-44 -2 0
-45 -3 0
-52 -1 0
-53 -2 0
-54 -3 0
-67 -1 0
-68 -2 0
-69 -3 0
-76 -1 0
-77 -2 0
-78 -3 0
-79 -1 0
-80 -2 0
-81 -3 0
-31 -4 0
-32 -5 0
-33 -6 0
-46 -4 0
-47 -5 0
-48 -6 0
-70 -4 0
-71 -5 0
-72 -6 0
-73 -4 0
-74 -5 0
-75 -6 0
-85 -4 0
-86 -5 0
-87 -6 0
-49 -7 0
-50 -8 0
-51 -9 0
-58 -7 0
-59 -8 0
-60 -9 0
-61 -7 0
-62 -8 0
-63 -9 0
-70 -7 0
-71 -8 0
-72 -9 0
-76 -7 0
-77 -8 0
-78 -9 0
-37 -10 0
-38 -11 0
-39 -12 0
-43 -10 0
-44 -11 0
-45 -12 0
-46 -10 0
-47 -11 0
-48 -12 0
-31 -13 0
-32 -14 0
-33 -15 0
-49 -13 0
-50 -14 0
-51 -15 0
-58 -13 0
-59 -14 0
-60 -15 0
-70 -13 0
-71 -14 0
-72 -15 0
-46 -16 0
-47 -17 0
-48 -18 0
-34 -19 0
-35 -20 0
-36 -21 0
-40 -19 0
-41 -20 0
-42 -21 0
-49 -19 0
-50 -20 0
-51 -21 0
-64 -19 0
-65 -20 0
-66 -21 0
-82 -19 0
-83 -20 0
-84 -21 0
-88 -19 0
-89 -20 0
-90 -21 0
-37 -22 0
-38 -23 0
-39 -24 0
-58 -22 0
-59 -23 0
-60 -24 0
-67 -22 0
-68 -23 0
-69 -24 0
-79 -22 0
-80 -23 0
-81 -24 0
-61 -25 0
-62 -26 0
-63 -27 0
-88 -25 0
-89 -26 0
-90 -27 0
-34 -28 0
-35 -29 0
-36 -30 0
-43 -28 0
-44 -29 0
-45 -30 0
-61 -28 0
-62 -29 0
-63 -30 0
-67 -28 0
-68 -29 0
-69 -30 0
-79 -28 0
-80 -29 0
-81 -30 0
-64 -31 0
-65 -32 0
-66 -33 0
-73 -31 0
-74 -32 0
-75 -33 0
-88 -31 0
-89 -32 0
-90 -33 0
-70 -34 0
-71 -35 0
-72 -36 0
-79 -34 0
-80 -35 0
-81 -36 0
-61 -37 0
-62 -38 0
-63 -39 0
-76 -37 0
-77 -38 0
-78 -39 0
-79 -37 0
-80 -38 0
-81 -39 0
-76 -40 0
-77 -41 0
-78 -42 0
-67 -43 0
-68 -44 0
-69 -45 0
-64 -46 0
-65 -47 0
-66 -48 0
-76 -46 0
-77 -47 0
-78 -48 0
-88 -46 0
-89 -47 0
-90 -48 0
-61 -49 0
-62 -50 0
-63 -51 0
-70 -49 0
-71 -50 0
-72 -51 0
-73 -49 0
-74 -50 0
-75 -51 0
-82 -52 0
-83 -53 0
-84 -54 0
-67 -55 0
-68 -56 0
-69 -57 0
-82 -55 0
-83 -56 0
-84 -57 0
-82 -58 0
-83 -59 0
-84 -60 0