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