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

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