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