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

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