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