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