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