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