aim-50-1_6-no-3.cnf

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