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