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

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