aim-50-2_0-no-4.cnf

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