| Current File : /home/inlingua/miniconda3/pkgs/pycosat-0.6.6-py312h5eee18b_2/info/recipe/uf20-098.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
-15 -1 8 0
-12 -1 -7 0
1 12 13 0
-20 -16 -9 0
8 -1 10 0
-9 13 10 0
3 -18 7 0
8 -18 20 0
-7 -15 18 0
-12 -4 -6 0
-4 3 -11 0
8 -14 2 0
2 -17 -9 0
-15 -9 11 0
18 12 -7 0
18 -6 2 0
1 4 3 0
-11 -10 -18 0
15 13 2 0
-9 2 -14 0
-15 -3 -1 0
6 -11 19 0
9 2 -16 0
20 16 6 0
-4 9 -12 0
12 20 16 0
-1 -6 -9 0
-15 8 4 0
-11 -6 5 0
20 7 -5 0
-4 -2 -7 0
20 -13 9 0
-19 20 -9 0
-4 7 18 0
-15 -8 10 0
3 13 12 0
2 17 -6 0
15 -19 -18 0
-16 -17 5 0
18 6 14 0
11 8 17 0
-8 -11 -18 0
10 -15 17 0
5 14 -6 0
14 -4 3 0
11 2 14 0
9 11 -13 0
-3 -12 8 0
-9 -3 19 0
-11 -5 -9 0
-20 -3 1 0
16 19 -15 0
2 6 9 0
-15 14 11 0
19 18 -6 0
7 9 -1 0
11 18 -9 0
-3 -8 18 0
19 12 17 0
-10 -4 -1 0
-13 18 19 0
-4 16 18 0
5 -3 12 0
6 -12 20 0
5 10 -8 0
-16 -18 -15 0
14 -15 -13 0
-11 -18 -9 0
-18 3 17 0
5 -12 10 0
-5 13 4 0
14 18 -19 0
-3 15 12 0
9 5 -8 0
16 18 15 0
-8 -3 10 0
10 2 11 0
16 -12 18 0
-9 1 10 0
-12 -8 2 0
-3 13 19 0
4 -11 17 0
4 -11 13 0
-4 -10 13 0
10 -7 -3 0
8 -10 -11 0
-6 8 -13 0
-17 14 -6 0
-1 -12 5 0
-14 1 11 0
-8 -13 -18 0