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

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