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