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