gsat-solver/benchmarks/uf20/uf20-014.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 
 14 -20 -11 0
-9 4 -14 0
-6 -7 -20 0
-13 12 -9 0
-9 -14 5 0
13 -9 -2 0
-1 -20 19 0
-14 -17 13 0
-9 6 1 0
-10 11 -18 0
-16 20 -2 0
-12 -4 13 0
17 11 -1 0
-19 12 1 0
3 -17 -12 0
-14 6 -17 0
-8 15 -3 0
4 -1 -10 0
-19 10 -4 0
-1 -11 -9 0
10 -5 4 0
5 6 1 0
-7 -9 -6 0
-9 11 -6 0
-4 10 -5 0
-10 -20 -14 0
1 5 -8 0
18 12 -11 0
1 14 -12 0
-19 12 -6 0
10 7 9 0
-6 -9 -10 0
-7 16 -6 0
17 -6 -7 0
2 -14 -5 0
-3 2 18 0
20 12 11 0
4 11 10 0
-5 14 10 0
15 -2 -8 0
-5 -16 -2 0
-8 5 17 0
20 18 -15 0
-3 -11 12 0
12 -2 -8 0
20 -16 7 0
14 -2 -7 0
-17 18 -13 0
11 -8 -4 0
-8 -10 -19 0
7 -14 15 0
8 -2 -17 0
3 9 -4 0
-17 5 16 0
-4 -1 18 0
11 -12 -18 0
13 -7 14 0
3 15 -18 0
-1 -20 4 0
-19 -18 6 0
-20 -6 -15 0
10 -4 -20 0
13 16 6 0
-9 2 -13 0
-16 -20 4 0
12 -20 -2 0
18 14 -1 0
2 -10 -3 0
5 7 4 0
18 9 -5 0
1 -3 12 0
8 -7 20 0
20 -13 -15 0
-14 1 20 0
20 18 -4 0
-10 -3 -7 0
-7 -2 -13 0
-14 7 11 0
10 -3 8 0
-5 8 11 0
4 11 13 0
10 9 -18 0
-17 -10 5 0
-3 -15 11 0
18 -4 -10 0
15 2 -9 0
12 -14 5 0
3 14 16 0
16 10 2 0
-7 18 5 0
14 1 4 0
%
0