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

c FILE: aim-50-6_0-yes1-4.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
1 21 24 0
-1 7 11 0
5 -11 48 0
5 7 -11 0
5 21 34 0
-5 24 34 0
-24 34 42 0
21 -24 -42 0
16 17 42 0
16 -17 42 0
15 31 42 0
15 -16 -31 0
15 -34 39 0
38 -39 41 0
-34 -38 -39 0
15 40 -41 0
15 -40 -41 0
21 45 50 0
21 -34 -45 0
-15 28 37 0
-15 21 -50 0
-15 21 -30 0
-28 -34 -50 0
9 -19 50 0
16 -19 -50 0
9 -16 50 0
9 -21 -50 0
-19 -21 32 0
4 -19 -21 0
-4 -19 -21 0
17 23 -32 0
17 -23 -28 0
6 9 26 0
9 -17 26 0
-9 24 26 0
12 22 24 0
12 -22 39 0
12 -22 24 0
7 24 38 0
-7 -19 38 0
-19 24 -26 0
1 -21 -24 0
-1 -21 -24 0
19 24 -41 0
19 -24 44 0
19 -41 -44 0
11 19 20 0
-11 19 20 0
-12 19 20 0
14 -20 41 0
-14 15 41 0
22 27 -45 0
-20 -22 27 0
1 -20 -45 0
-1 -20 -27 0
6 19 41 0
9 31 33 0
-2 27 -31 0
-2 9 -31 0
-2 -9 38 0
-2 -6 -38 0
1 -2 -33 0
-1 -2 -33 0
-15 36 50 0
4 6 31 0
-6 31 -50 0
4 -6 36 0
-15 -36 48 0
-4 -15 50 0
5 -6 50 0
-4 5 -48 0
-5 -6 -48 0
30 38 42 0
-5 30 -38 0
10 30 -42 0
30 -48 50 0
-6 18 -48 0
6 18 -48 0
-6 18 -37 0
-6 -18 50 0
5 10 25 0
2 5 -25 0
2 -5 10 0
-20 23 39 0
2 -23 37 0
-23 30 37 0
-23 37 39 0
-20 37 39 0
4 -10 42 0
4 37 -42 0
-4 -10 18 0
-4 -14 18 0
-20 -23 -39 0
-10 -18 37 0
32 38 41 0
-32 38 -50 0
3 32 -37 0
-2 -17 -37 0
30 39 47 0
-3 14 47 0
-14 -24 47 0
29 -37 43 0
-3 43 47 0
-3 -39 -43 0
2 -3 -47 0
-3 -32 -47 0
2 -37 -47 0
2 -17 48 0
2 26 -32 0
5 -32 -48 0
-26 -32 -48 0
-30 34 44 0
-17 -30 -44 0
24 -30 -34 0
6 -24 -30 0
2 -24 -30 0
-10 -30 -34 0
3 37 45 0
3 -37 45 0
-3 4 45 0
-3 42 45 0
-3 30 45 0
-10 17 -25 0
8 -37 43 0
-8 -37 43 0
20 23 -50 0
23 33 -50 0
28 -33 43 0
28 -33 -43 0
8 -28 -38 0
8 -38 -45 0
-8 23 -28 0
-8 -21 -28 0
17 25 29 0
31 -38 40 0
9 31 -40 0
-9 31 -40 0
-18 31 -40 0
22 25 -43 0
17 -38 44 0
-29 -31 32 0
17 -29 -48 0
-17 -31 35 0
-29 -31 -35 0
25 -29 -47 0
25 -39 -47 0
6 -29 -44 0
-6 32 -44 0
-29 38 -44 0
-25 -29 -38 0
-8 27 47 0
-8 -27 44 0
-8 -22 -44 0
7 8 41 0
7 -41 48 0
13 27 45 0
-7 -13 45 0
-7 15 -45 0
-7 27 -31 0
-7 16 28 0
-7 10 28 0
-7 -28 -31 0
9 -10 -31 0
8 10 -33 0
10 25 -40 0
-25 -33 -40 0
-10 25 -33 0
8 -33 48 0
8 -25 -48 0
23 33 48 0
22 33 48 0
12 -22 33 0
12 -13 14 0
-12 14 39 0
-13 -14 39 0
6 -13 49 0
-13 19 49 0
21 30 -49 0
-13 -21 -49 0
-9 -39 -49 0
4 46 -49 0
-4 22 46 0
-4 -22 37 0
-4 -13 -37 0
-39 -46 -49 0
12 -13 41 0
12 -13 -41 0
-19 33 41 0
-19 33 -41 0
-9 26 -27 0
2 16 -26 0
14 16 -44 0
-14 16 -26 0
-2 16 -26 0
-11 -12 13 0
-11 13 -14 0
3 22 25 0
22 -27 34 0
-25 -27 -34 0
3 -22 -27 0
1 11 12 0
11 -17 19 0
1 11 -17 0
1 -9 -11 0
-1 -9 32 0
7 -9 12 0
-7 -9 32 0
-12 -27 32 0
16 26 44 0
11 -16 30 0
11 -16 44 0
-15 -16 44 0
11 13 26 0
-12 44 45 0
43 44 -45 0
-21 43 -45 0
-12 -43 -45 0
41 42 -44 0
-12 17 -41 0
-12 -17 -41 0
-16 -28 47 0
-16 -28 -47 0
-28 -29 -42 0
-1 -16 25 0
-25 43 50 0
-25 43 -50 0
-1 27 -43 0
-25 36 -43 0
13 -36 -43 0
-27 -36 -43 0
1 10 18 0
10 -42 47 0
-1 10 -47 0
-10 -16 18 0
28 40 47 0
7 27 48 0
3 27 40 0
3 40 -45 0
3 7 -27 0
3 40 -47 0
-23 40 47 0
-23 -26 -47 0
-3 -26 40 0
28 42 -46 0
28 -42 -46 0
-30 38 -46 0
-18 -38 -46 0
-14 -18 -46 0
1 -5 46 0
-5 -12 46 0
-1 -5 46 0
13 23 32 0
13 15 23 0
13 33 -49 0
-2 13 -49 0
23 -32 -42 0
34 -42 -46 0
-23 29 -32 0
15 -23 -29 0
-15 -32 -49 0
28 -34 -42 0
7 29 -35 0
-7 29 -35 0
29 31 -35 0
20 -35 46 0
-20 -35 46 0
-18 33 -39 0
-18 -33 34 0
-18 -34 46 0
4 39 46 0
8 35 -36 0
-8 35 -36 0
11 22 36 0
5 -11 22 0
14 36 40 0
18 36 -40 0
-5 -18 36 0
-5 14 -39 0
14 -22 26 0
14 -22 49 0
-26 36 -49 0
-4 -14 -24 0
21 -30 48 0
18 -20 -36 0
6 -15 -46 0
-10 20 29 0
4 20 -44 0
34 -35 -40 0
35 36 -36 0
29 -35 49 0
-8 -36 0
8 26 34 0
-11 -14 49 0
-8 -26 35 0
-11 35 -43 0
20 29 -40 0
20 35 49 0
17 -35 49 0
35 -46 49 0
6 35 49 0