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