brock200_1.clq.cnf

c FILE:  brock200_1.b
c
c Graph Generator
c
c By: Mark Brockington (brock@cs.ualberta.ca)
c and Joe Culberson (joe@cs.ualberta.ca)
c
c Graph Size:200, Clique Size: 21
c Seed:0, Edge Density:  0.75000
c Depth 1 Hiding
c
c Clique Elements are:
c 133 17 92 177 38 19 84 134 107 89 
c 185 91 67 141 149 72 101 135 86 93 
c 80 
c
c Estimated Size of Uncompressed File:   0.1MB
c
p cnf 40 1132
1 2 0
-1 -2 0
1 3 0
-1 -3 0
1 4 0
-1 -4 0
1 6 0
-1 -6 0
1 7 0
-1 -7 0
1 8 0
-1 -8 0
1 9 0
-1 -9 0
1 10 0
-1 -10 0
1 12 0
-1 -12 0
1 13 0
-1 -13 0
1 14 0
-1 -14 0
1 16 0
-1 -16 0
1 17 0
-1 -17 0
1 18 0
-1 -18 0
1 19 0
-1 -19 0
1 20 0
-1 -20 0
1 22 0
-1 -22 0
1 23 0
-1 -23 0
1 24 0
-1 -24 0
1 31 0
-1 -31 0
1 33 0
-1 -33 0
1 34 0
-1 -34 0
1 36 0
-1 -36 0
1 38 0
-1 -38 0
1 39 0
-1 -39 0
2 3 0
-2 -3 0
2 4 0
-2 -4 0
2 5 0
-2 -5 0
2 6 0
-2 -6 0
2 7 0
-2 -7 0
2 10 0
-2 -10 0
2 11 0
-2 -11 0
2 12 0
-2 -12 0
2 14 0
-2 -14 0
2 15 0
-2 -15 0
2 16 0
-2 -16 0
2 17 0
-2 -17 0
2 18 0
-2 -18 0
2 19 0
-2 -19 0
2 20 0
-2 -20 0
2 22 0
-2 -22 0
2 23 0
-2 -23 0
2 25 0
-2 -25 0
2 27 0
-2 -27 0
2 28 0
-2 -28 0
2 29 0
-2 -29 0
2 31 0
-2 -31 0
2 33 0
-2 -33 0
2 34 0
-2 -34 0
2 35 0
-2 -35 0
2 38 0
-2 -38 0
2 40 0
-2 -40 0
3 4 0
-3 -4 0
3 5 0
-3 -5 0
3 7 0
-3 -7 0
3 9 0
-3 -9 0
3 10 0
-3 -10 0
3 11 0
-3 -11 0
3 13 0
-3 -13 0
3 14 0
-3 -14 0
3 15 0
-3 -15 0
3 16 0
-3 -16 0
3 17 0
-3 -17 0
3 18 0
-3 -18 0
3 19 0
-3 -19 0
3 20 0
-3 -20 0
3 21 0
-3 -21 0
3 23 0
-3 -23 0
3 24 0
-3 -24 0
3 25 0
-3 -25 0
3 26 0
-3 -26 0
3 27 0
-3 -27 0
3 29 0
-3 -29 0
3 30 0
-3 -30 0
3 32 0
-3 -32 0
3 33 0
-3 -33 0
3 34 0
-3 -34 0
3 36 0
-3 -36 0
3 37 0
-3 -37 0
3 38 0
-3 -38 0
4 5 0
-4 -5 0
4 6 0
-4 -6 0
4 7 0
-4 -7 0
4 8 0
-4 -8 0
4 10 0
-4 -10 0
4 11 0
-4 -11 0
4 12 0
-4 -12 0
4 13 0
-4 -13 0
4 14 0
-4 -14 0
4 15 0
-4 -15 0
4 16 0
-4 -16 0
4 17 0
-4 -17 0
4 19 0
-4 -19 0
4 20 0
-4 -20 0
4 21 0
-4 -21 0
4 22 0
-4 -22 0
4 23 0
-4 -23 0
4 24 0
-4 -24 0
4 25 0
-4 -25 0
4 27 0
-4 -27 0
4 29 0
-4 -29 0
4 30 0
-4 -30 0
4 31 0
-4 -31 0
4 32 0
-4 -32 0
4 33 0
-4 -33 0
4 35 0
-4 -35 0
4 36 0
-4 -36 0
4 37 0
-4 -37 0
4 39 0
-4 -39 0
4 40 0
-4 -40 0
5 6 0
-5 -6 0
5 7 0
-5 -7 0
5 9 0
-5 -9 0
5 10 0
-5 -10 0
5 12 0
-5 -12 0
5 13 0
-5 -13 0
5 14 0
-5 -14 0
5 15 0
-5 -15 0
5 18 0
-5 -18 0
5 19 0
-5 -19 0
5 20 0
-5 -20 0
5 21 0
-5 -21 0
5 23 0
-5 -23 0
5 24 0
-5 -24 0
5 25 0
-5 -25 0
5 26 0
-5 -26 0
5 27 0
-5 -27 0
5 29 0
-5 -29 0
5 30 0
-5 -30 0
5 31 0
-5 -31 0
5 32 0
-5 -32 0
5 34 0
-5 -34 0
5 35 0
-5 -35 0
5 36 0
-5 -36 0
5 37 0
-5 -37 0
5 39 0
-5 -39 0
5 40 0
-5 -40 0
6 7 0
-6 -7 0
6 8 0
-6 -8 0
6 9 0
-6 -9 0
6 10 0
-6 -10 0
6 11 0
-6 -11 0
6 12 0
-6 -12 0
6 13 0
-6 -13 0
6 15 0
-6 -15 0
6 16 0
-6 -16 0
6 17 0
-6 -17 0
6 18 0
-6 -18 0
6 19 0
-6 -19 0
6 21 0
-6 -21 0
6 22 0
-6 -22 0
6 23 0
-6 -23 0
6 24 0
-6 -24 0
6 25 0
-6 -25 0
6 26 0
-6 -26 0
6 27 0
-6 -27 0
6 29 0
-6 -29 0
6 30 0
-6 -30 0
6 31 0
-6 -31 0
6 32 0
-6 -32 0
6 34 0
-6 -34 0
6 35 0
-6 -35 0
6 36 0
-6 -36 0
6 37 0
-6 -37 0
6 38 0
-6 -38 0
6 39 0
-6 -39 0
6 40 0
-6 -40 0
7 8 0
-7 -8 0
7 9 0
-7 -9 0
7 13 0
-7 -13 0
7 15 0
-7 -15 0
7 17 0
-7 -17 0
7 18 0
-7 -18 0
7 20 0
-7 -20 0
7 21 0
-7 -21 0
7 22 0
-7 -22 0
7 23 0
-7 -23 0
7 24 0
-7 -24 0
7 25 0
-7 -25 0
7 26 0
-7 -26 0
7 30 0
-7 -30 0
7 31 0
-7 -31 0
7 33 0
-7 -33 0
7 35 0
-7 -35 0
7 36 0
-7 -36 0
7 37 0
-7 -37 0
8 9 0
-8 -9 0
8 10 0
-8 -10 0
8 11 0
-8 -11 0
8 12 0
-8 -12 0
8 13 0
-8 -13 0
8 15 0
-8 -15 0
8 16 0
-8 -16 0
8 17 0
-8 -17 0
8 18 0
-8 -18 0
8 19 0
-8 -19 0
8 20 0
-8 -20 0
8 21 0
-8 -21 0
8 24 0
-8 -24 0
8 25 0
-8 -25 0
8 26 0
-8 -26 0
8 27 0
-8 -27 0
8 32 0
-8 -32 0
8 34 0
-8 -34 0
8 35 0
-8 -35 0
8 37 0
-8 -37 0
8 38 0
-8 -38 0
8 39 0
-8 -39 0
8 40 0
-8 -40 0
9 10 0
-9 -10 0
9 11 0
-9 -11 0
9 12 0
-9 -12 0
9 13 0
-9 -13 0
9 14 0
-9 -14 0
9 15 0
-9 -15 0
9 17 0
-9 -17 0
9 19 0
-9 -19 0
9 23 0
-9 -23 0
9 24 0
-9 -24 0
9 25 0
-9 -25 0
9 26 0
-9 -26 0
9 28 0
-9 -28 0
9 30 0
-9 -30 0
9 31 0
-9 -31 0
9 32 0
-9 -32 0
9 33 0
-9 -33 0
9 34 0
-9 -34 0
9 36 0
-9 -36 0
9 38 0
-9 -38 0
9 39 0
-9 -39 0
9 40 0
-9 -40 0
10 11 0
-10 -11 0
10 12 0
-10 -12 0
10 13 0
-10 -13 0
10 14 0
-10 -14 0
10 15 0
-10 -15 0
10 17 0
-10 -17 0
10 18 0
-10 -18 0
10 19 0
-10 -19 0
10 20 0
-10 -20 0
10 21 0
-10 -21 0
10 22 0
-10 -22 0
10 23 0
-10 -23 0
10 25 0
-10 -25 0
10 28 0
-10 -28 0
10 29 0
-10 -29 0
10 30 0
-10 -30 0
10 31 0
-10 -31 0
10 33 0
-10 -33 0
10 35 0
-10 -35 0
10 37 0
-10 -37 0
10 39 0
-10 -39 0
10 40 0
-10 -40 0
11 12 0
-11 -12 0
11 13 0
-11 -13 0
11 15 0
-11 -15 0
11 18 0
-11 -18 0
11 20 0
-11 -20 0
11 21 0
-11 -21 0
11 22 0
-11 -22 0
11 24 0
-11 -24 0
11 26 0
-11 -26 0
11 27 0
-11 -27 0
11 28 0
-11 -28 0
11 29 0
-11 -29 0
11 30 0
-11 -30 0
11 31 0
-11 -31 0
11 32 0
-11 -32 0
11 33 0
-11 -33 0
11 34 0
-11 -34 0
11 35 0
-11 -35 0
11 38 0
-11 -38 0
11 39 0
-11 -39 0
12 13 0
-12 -13 0
12 14 0
-12 -14 0
12 15 0
-12 -15 0
12 16 0
-12 -16 0
12 17 0
-12 -17 0
12 18 0
-12 -18 0
12 20 0
-12 -20 0
12 21 0
-12 -21 0
12 22 0
-12 -22 0
12 23 0
-12 -23 0
12 24 0
-12 -24 0
12 25 0
-12 -25 0
12 26 0
-12 -26 0
12 28 0
-12 -28 0
12 29 0
-12 -29 0
12 30 0
-12 -30 0
12 31 0
-12 -31 0
12 32 0
-12 -32 0
12 33 0
-12 -33 0
12 35 0
-12 -35 0
12 36 0
-12 -36 0
12 37 0
-12 -37 0
12 38 0
-12 -38 0
12 40 0
-12 -40 0
13 14 0
-13 -14 0
13 15 0
-13 -15 0
13 16 0
-13 -16 0
13 17 0
-13 -17 0
13 18 0
-13 -18 0
13 19 0
-13 -19 0
13 20 0
-13 -20 0
13 21 0
-13 -21 0
13 23 0
-13 -23 0
13 26 0
-13 -26 0
13 27 0
-13 -27 0
13 30 0
-13 -30 0
13 31 0
-13 -31 0
13 34 0
-13 -34 0
13 35 0
-13 -35 0
13 36 0
-13 -36 0
13 37 0
-13 -37 0
13 38 0
-13 -38 0
13 40 0
-13 -40 0
14 15 0
-14 -15 0
14 16 0
-14 -16 0
14 17 0
-14 -17 0
14 20 0
-14 -20 0
14 26 0
-14 -26 0
14 27 0
-14 -27 0
14 28 0
-14 -28 0
14 29 0
-14 -29 0
14 30 0
-14 -30 0
14 31 0
-14 -31 0
14 32 0
-14 -32 0
14 33 0
-14 -33 0
14 35 0
-14 -35 0
14 36 0
-14 -36 0
14 37 0
-14 -37 0
14 38 0
-14 -38 0
14 39 0
-14 -39 0
14 40 0
-14 -40 0
15 16 0
-15 -16 0
15 17 0
-15 -17 0
15 19 0
-15 -19 0
15 20 0
-15 -20 0
15 21 0
-15 -21 0
15 22 0
-15 -22 0
15 23 0
-15 -23 0
15 25 0
-15 -25 0
15 26 0
-15 -26 0
15 27 0
-15 -27 0
15 28 0
-15 -28 0
15 29 0
-15 -29 0
15 30 0
-15 -30 0
15 31 0
-15 -31 0
15 34 0
-15 -34 0
15 36 0
-15 -36 0
15 37 0
-15 -37 0
15 38 0
-15 -38 0
15 40 0
-15 -40 0
16 17 0
-16 -17 0
16 18 0
-16 -18 0
16 19 0
-16 -19 0
16 20 0
-16 -20 0
16 21 0
-16 -21 0
16 22 0
-16 -22 0
16 25 0
-16 -25 0
16 26 0
-16 -26 0
16 27 0
-16 -27 0
16 29 0
-16 -29 0
16 31 0
-16 -31 0
16 32 0
-16 -32 0
16 33 0
-16 -33 0
16 34 0
-16 -34 0
16 35 0
-16 -35 0
16 36 0
-16 -36 0
16 37 0
-16 -37 0
16 39 0
-16 -39 0
16 40 0
-16 -40 0
17 18 0
-17 -18 0
17 19 0
-17 -19 0
17 21 0
-17 -21 0
17 22 0
-17 -22 0
17 23 0
-17 -23 0
17 24 0
-17 -24 0
17 26 0
-17 -26 0
17 27 0
-17 -27 0
17 28 0
-17 -28 0
17 30 0
-17 -30 0
17 31 0
-17 -31 0
17 33 0
-17 -33 0
17 34 0
-17 -34 0
17 35 0
-17 -35 0
17 36 0
-17 -36 0
17 38 0
-17 -38 0
18 20 0
-18 -20 0
18 21 0
-18 -21 0
18 22 0
-18 -22 0
18 23 0
-18 -23 0
18 24 0
-18 -24 0
18 26 0
-18 -26 0
18 28 0
-18 -28 0
18 29 0
-18 -29 0
18 31 0
-18 -31 0
18 33 0
-18 -33 0
18 34 0
-18 -34 0
18 35 0
-18 -35 0
18 36 0
-18 -36 0
18 38 0
-18 -38 0
18 40 0
-18 -40 0
19 20 0
-19 -20 0
19 21 0
-19 -21 0
19 22 0
-19 -22 0
19 23 0
-19 -23 0
19 24 0
-19 -24 0
19 25 0
-19 -25 0
19 26 0
-19 -26 0
19 27 0
-19 -27 0
19 29 0
-19 -29 0
19 30 0
-19 -30 0
19 33 0
-19 -33 0
19 34 0
-19 -34 0
19 35 0
-19 -35 0
19 36 0
-19 -36 0
19 37 0
-19 -37 0
20 21 0
-20 -21 0
20 22 0
-20 -22 0
20 23 0
-20 -23 0
20 27 0
-20 -27 0
20 32 0
-20 -32 0
20 35 0
-20 -35 0
20 37 0
-20 -37 0
20 38 0
-20 -38 0
20 39 0
-20 -39 0
21 22 0
-21 -22 0
21 24 0
-21 -24 0
21 25 0
-21 -25 0
21 26 0
-21 -26 0
21 27 0
-21 -27 0
21 28 0
-21 -28 0
21 29 0
-21 -29 0
21 30 0
-21 -30 0
21 31 0
-21 -31 0
21 32 0
-21 -32 0
21 33 0
-21 -33 0
21 35 0
-21 -35 0
21 36 0
-21 -36 0
21 37 0
-21 -37 0
22 23 0
-22 -23 0
22 24 0
-22 -24 0
22 25 0
-22 -25 0
22 26 0
-22 -26 0
22 28 0
-22 -28 0
22 31 0
-22 -31 0
22 32 0
-22 -32 0
22 33 0
-22 -33 0
22 34 0
-22 -34 0
22 35 0
-22 -35 0
22 36 0
-22 -36 0
22 37 0
-22 -37 0
22 40 0
-22 -40 0
23 25 0
-23 -25 0
23 26 0
-23 -26 0
23 27 0
-23 -27 0
23 28 0
-23 -28 0
23 32 0
-23 -32 0
23 33 0
-23 -33 0
23 35 0
-23 -35 0
23 36 0
-23 -36 0
23 37 0
-23 -37 0
23 39 0
-23 -39 0
23 40 0
-23 -40 0
24 25 0
-24 -25 0
24 27 0
-24 -27 0
24 29 0
-24 -29 0
24 32 0
-24 -32 0
24 33 0
-24 -33 0
24 36 0
-24 -36 0
24 37 0
-24 -37 0
24 38 0
-24 -38 0
24 39 0
-24 -39 0
24 40 0
-24 -40 0
25 26 0
-25 -26 0
25 27 0
-25 -27 0
25 28 0
-25 -28 0
25 29 0
-25 -29 0
25 30 0
-25 -30 0
25 31 0
-25 -31 0
25 32 0
-25 -32 0
25 33 0
-25 -33 0
25 34 0
-25 -34 0
25 35 0
-25 -35 0
25 37 0
-25 -37 0
25 38 0
-25 -38 0
25 39 0
-25 -39 0
25 40 0
-25 -40 0
26 27 0
-26 -27 0
26 28 0
-26 -28 0
26 29 0
-26 -29 0
26 31 0
-26 -31 0
26 32 0
-26 -32 0
26 33 0
-26 -33 0
26 34 0
-26 -34 0
26 35 0
-26 -35 0
26 36 0
-26 -36 0
26 37 0
-26 -37 0
26 38 0
-26 -38 0
26 39 0
-26 -39 0
26 40 0
-26 -40 0
27 28 0
-27 -28 0
27 30 0
-27 -30 0
27 31 0
-27 -31 0
27 32 0
-27 -32 0
27 33 0
-27 -33 0
27 34 0
-27 -34 0
27 35 0
-27 -35 0
27 36 0
-27 -36 0
27 37 0
-27 -37 0
27 38 0
-27 -38 0
27 39 0
-27 -39 0
28 31 0
-28 -31 0
28 32 0
-28 -32 0
28 33 0
-28 -33 0
28 34 0
-28 -34 0
28 35 0
-28 -35 0
28 36 0
-28 -36 0
28 38 0
-28 -38 0
28 40 0
-28 -40 0
29 31 0
-29 -31 0
29 32 0
-29 -32 0
29 33 0
-29 -33 0
29 34 0
-29 -34 0
29 35 0
-29 -35 0
29 36 0
-29 -36 0
29 37 0
-29 -37 0
29 38 0
-29 -38 0
29 39 0
-29 -39 0
30 31 0
-30 -31 0
30 32 0
-30 -32 0
30 33 0
-30 -33 0
30 35 0
-30 -35 0
30 38 0
-30 -38 0
30 39 0
-30 -39 0
30 40 0
-30 -40 0
31 32 0
-31 -32 0
31 33 0
-31 -33 0
31 37 0
-31 -37 0
31 39 0
-31 -39 0
31 40 0
-31 -40 0
32 33 0
-32 -33 0
32 34 0
-32 -34 0
32 35 0
-32 -35 0
32 36 0
-32 -36 0
32 39 0
-32 -39 0
32 40 0
-32 -40 0
33 35 0
-33 -35 0
33 37 0
-33 -37 0
33 38 0
-33 -38 0
33 39 0
-33 -39 0
34 35 0
-34 -35 0
34 37 0
-34 -37 0
34 40 0
-34 -40 0
35 36 0
-35 -36 0
35 37 0
-35 -37 0
35 38 0
-35 -38 0
35 40 0
-35 -40 0
36 38 0
-36 -38 0
36 39 0
-36 -39 0
36 40 0
-36 -40 0
37 38 0
-37 -38 0
37 39 0
-37 -39 0
38 39 0
-38 -39 0
39 40 0
-39 -40 0