aim-50-2_0-yes1-3.cnf

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