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