aim-50-6_0-yes1-1.cnf

c FILE: aim-50-6_0-yes1-1.cnf
c
c SOURCE: Kazuo Iwama, Eiji Miyano (miyano@cscu.kyushu-u.ac.jp),
c          and Yuichi Asahiro
c
c DESCRIPTION: Artifical instances from generator by source.  Generators
c              and more information in sat/contributed/iwama.
c
c NOTE: Satisfiable
c
p cnf 50 300
6 17 47 0
6 -17 43 0
-6 43 47 0
19 47 -48 0
-19 28 47 0
-28 43 47 0
-36 46 -48 0
-36 47 -48 0
8 -38 -47 0
-38 -47 48 0
6 -47 -48 0
-6 43 -48 0
-31 43 -47 0
8 28 33 0
-8 33 -43 0
1 38 47 0
1 28 -38 0
18 -43 -47 0
37 40 -47 0
28 -37 40 0
-15 28 40 0
1 22 -40 0
22 -23 -40 0
-22 -38 -40 0
1 -28 -38 0
13 40 49 0
-1 13 -40 0
-13 33 -38 0
-13 -33 49 0
-1 -38 -49 0
4 -27 38 0
28 29 42 0
-27 29 -42 0
16 28 42 0
14 16 42 0
16 29 -42 0
17 25 50 0
-25 34 50 0
-34 45 49 0
38 -45 50 0
-4 49 -50 0
16 41 -49 0
-4 -22 30 0
14 30 -41 0
14 -30 47 0
2 14 -27 0
-2 14 16 0
-4 -17 21 0
-17 -27 45 0
-17 -27 -45 0
-21 41 -49 0
-17 -21 -41 0
-4 -14 16 0
-16 20 38 0
-16 20 -35 0
-16 -20 -27 0
15 27 42 0
-15 21 42 0
-15 38 42 0
19 -37 -42 0
-19 38 -42 0
7 37 -47 0
29 37 -47 0
27 37 -47 0
11 27 37 0
1 27 37 0
7 -42 47 0
-3 8 27 0
-3 4 -8 0
-3 -4 15 0
-3 -8 -15 0
11 17 -42 0
11 -20 -42 0
11 -17 -42 0
23 27 -40 0
-7 -40 48 0
-7 -23 -40 0
-11 40 43 0
-2 3 27 0
-2 -27 30 0
3 -30 42 0
3 12 -30 0
-12 31 -42 0
3 -12 -31 0
3 -13 17 0
3 -13 -43 0
16 34 -43 0
16 22 -34 0
-22 -34 -43 0
2 -16 -48 0
3 -7 11 0
-7 11 26 0
11 -12 -26 0
-11 22 31 0
7 -22 46 0
3 37 46 0
4 -22 37 0
3 -22 -37 0
12 25 31 0
11 12 31 0
-7 -11 31 0
1 -11 -12 0
-1 -11 -12 0
-11 -22 -29 0
2 -31 46 0
-2 15 34 0
-2 -15 -31 0
-31 33 46 0
9 -33 46 0
-9 46 48 0
2 20 -46 0
-11 20 -46 0
-11 20 -39 0
18 27 -46 0
2 18 -46 0
18 -46 48 0
9 18 -46 0
-5 8 36 0
4 13 33 0
4 -13 -46 0
33 -36 39 0
-36 -39 -46 0
-9 -36 38 0
26 32 -33 0
-9 -26 -33 0
-9 -32 -33 0
8 9 -20 0
-8 9 33 0
9 -29 -33 0
-8 -9 -33 0
-9 -20 28 0
-28 -29 32 0
-20 -29 -32 0
-3 -29 39 0
-3 -28 -29 0
21 30 49 0
21 -30 48 0
17 48 -49 0
-18 -21 48 0
10 13 -20 0
-18 -20 36 0
7 8 -15 0
7 -8 -15 0
-7 -15 29 0
6 -9 49 0
-6 -18 49 0
6 -9 40 0
-6 40 -49 0
-9 -40 -49 0
2 -22 29 0
-2 -22 29 0
14 -19 32 0
-10 -19 -32 0
-4 5 22 0
-5 8 41 0
-4 -5 -8 0
2 45 46 0
22 -41 45 0
9 -12 22 0
2 -5 -45 0
-2 -4 24 0
-5 -24 38 0
-2 -5 -38 0
-6 -17 29 0
5 6 35 0
15 32 35 0
-6 15 -32 0
5 25 35 0
5 -20 25 0
-2 25 35 0
5 31 32 0
5 15 -32 0
29 -31 44 0
19 -29 44 0
-19 -29 44 0
-8 24 44 0
15 -24 -31 0
-24 -35 41 0
-31 -35 -41 0
15 17 35 0
4 -17 35 0
-5 15 35 0
-10 -14 38 0
-14 -36 -38 0
5 18 -35 0
5 10 -35 0
7 -10 13 0
7 -13 -35 0
4 -7 44 0
5 -35 -44 0
4 10 50 0
1 9 26 0
9 23 -26 0
1 9 -23 0
-10 44 50 0
-1 7 19 0
-1 26 43 0
-1 -26 -44 0
-3 43 -44 0
-1 -44 50 0
19 -44 50 0
-1 -10 -19 0
8 24 -37 0
17 24 -37 0
10 17 -37 0
-10 17 -27 0
-21 36 -37 0
-24 -36 -37 0
-21 37 45 0
14 41 -45 0
-21 -41 -45 0
14 -37 43 0
33 39 -43 0
-17 -21 -43 0
1 -21 -43 0
-1 -21 -39 0
-5 22 25 0
19 -30 44 0
19 -25 -30 0
19 -29 35 0
19 -30 -35 0
4 30 -45 0
7 24 -25 0
-7 -25 46 0
-7 18 -46 0
-18 44 -50 0
24 -25 32 0
-18 24 36 0
-32 40 44 0
-18 -32 -40 0
-24 -25 -50 0
-25 -48 -50 0
2 -12 -50 0
-12 -35 -50 0
11 21 45 0
12 33 45 0
-11 -12 45 0
10 16 36 0
10 36 -39 0
10 13 -16 0
-13 -16 -39 0
-8 10 -44 0
-10 23 35 0
23 36 -39 0
-10 -23 36 0
36 -43 -44 0
-36 -39 41 0
20 21 -44 0
27 -39 -44 0
21 31 -39 0
21 26 -27 0
21 -26 -31 0
6 -23 48 0
-23 25 48 0
-6 -23 -25 0
-23 -48 50 0
-23 -48 -50 0
23 30 32 0
23 32 39 0
34 41 50 0
34 39 49 0
39 -41 -49 0
18 -25 -50 0
13 32 39 0
13 -32 34 0
-4 13 34 0
-13 34 -50 0
-24 -34 39 0
20 30 -49 0
-24 30 -49 0
-24 30 -33 0
-30 39 41 0
-24 -30 -41 0
10 12 45 0
12 26 -28 0
-10 12 -26 0
-18 -28 -45 0
12 18 -28 0
-18 31 -34 0
-18 -28 -34 0
12 -28 -33 0
6 24 -41 0
-6 14 20 0
-14 20 -41 0
-6 -20 28 0
8 -34 41 0
-32 -34 49 0
23 -26 31 0
23 -26 34 0
23 -26 -34 0
-14 -16 -19 0
-3 -19 25 0
-3 6 -13 0
-14 -16 -36 0
-14 -16 26 0
-5 -14 -15 0
-14 42 0
24 26 -45 0
-19 25 40 0
22 26 -45 0