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