gsat-solver/benchmarks/uf20/uf20-047.cnf

c This Formular is generated by mcnf
c
c    horn? no 
c    forced? no 
c    mixed sat? no 
c    clause length = 3 
c
p cnf 20  91 
 7 -12 10 0
-18 -1 -7 0
9 -15 6 0
-10 1 -2 0
11 1 -7 0
17 -11 6 0
-11 13 -1 0
-15 17 13 0
1 15 -8 0
1 20 -14 0
2 19 10 0
8 -16 18 0
7 2 19 0
7 1 14 0
-10 -9 -1 0
19 -11 -8 0
14 11 -10 0
9 -10 16 0
14 -2 -4 0
-15 -20 -2 0
13 15 -4 0
13 -14 -9 0
-17 -5 -20 0
-15 -5 18 0
-11 7 8 0
6 -14 -18 0
7 12 16 0
-6 11 7 0
-14 -8 19 0
-2 6 -14 0
-20 -14 -9 0
1 3 -11 0
-16 20 4 0
-7 10 4 0
-20 15 -3 0
13 -2 -16 0
6 7 -15 0
-7 -14 17 0
15 -18 16 0
6 10 -12 0
18 -4 9 0
-7 9 -1 0
18 3 -12 0
3 -20 13 0
-13 5 15 0
-15 11 -16 0
1 16 -8 0
17 -4 20 0
-7 15 -1 0
-3 -14 2 0
-4 -5 19 0
19 20 4 0
4 18 14 0
5 -13 -19 0
2 -15 13 0
11 -15 8 0
17 -12 7 0
11 1 -6 0
-8 -6 7 0
-14 12 20 0
-8 -17 -11 0
-14 3 -4 0
5 1 -18 0
16 -12 3 0
-19 4 -10 0
3 -19 -14 0
-5 -7 -16 0
14 -19 -2 0
20 -18 -12 0
17 -11 2 0
-12 -19 4 0
10 12 -1 0
8 10 -14 0
-18 -1 13 0
19 -2 15 0
-2 5 -10 0
-5 -12 -20 0
-19 -7 12 0
17 -16 -20 0
12 -11 15 0
13 -14 2 0
14 4 -20 0
4 8 -10 0
18 -19 12 0
18 -1 19 0
-17 -8 -20 0
-19 -10 -16 0
17 -18 4 0
18 17 -5 0
-13 1 15 0
-19 -2 -15 0
%
0