aim-50-3_4-yes1-4.cnf

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