123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102 |
- 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 -2 5 0
- -16 -15 17 0
- -16 -14 -7 0
- 14 2 4 0
- -10 -16 20 0
- -12 -16 -8 0
- 7 -8 13 0
- -5 16 3 0
- 5 20 4 0
- -11 -15 -5 0
- -14 3 -1 0
- 1 -15 -11 0
- -9 -10 2 0
- -5 -16 -8 0
- -4 14 -2 0
- -7 13 20 0
- -15 -5 -10 0
- -16 -13 15 0
- -7 10 3 0
- -7 -8 -4 0
- 20 -14 -17 0
- -19 -18 -1 0
- 8 4 14 0
- 14 -11 17 0
- 10 -4 5 0
- 3 11 18 0
- -5 -1 10 0
- -5 -15 3 0
- 6 -19 2 0
- -19 7 2 0
- -7 -6 -11 0
- 11 -5 -12 0
- -17 16 -8 0
- 17 -1 -14 0
- 5 -15 -4 0
- 11 -17 -1 0
- -18 16 8 0
- 17 6 11 0
- 5 7 -17 0
- -14 17 16 0
- -10 -4 11 0
- 9 11 -13 0
- -5 -6 7 0
- 16 -19 -6 0
- -20 17 14 0
- -9 -6 -4 0
- -4 -5 10 0
- -13 17 15 0
- 8 5 -13 0
- 9 1 5 0
- -16 9 10 0
- 18 10 15 0
- 19 1 -6 0
- -12 -6 -2 0
- -16 2 -19 0
- -7 16 8 0
- 1 3 7 0
- 14 -9 15 0
- 14 -2 -1 0
- -12 11 15 0
- -14 -13 -17 0
- 19 -16 -4 0
- 1 -6 8 0
- -7 13 12 0
- -9 4 -20 0
- 6 17 9 0
- 2 5 10 0
- -9 -7 -17 0
- -19 -11 -9 0
- -6 3 11 0
- -4 -12 7 0
- -18 7 17 0
- -6 -14 3 0
- -16 2 10 0
- -18 -5 -11 0
- 20 16 6 0
- -15 6 -10 0
- 17 10 -20 0
- -2 4 9 0
- 12 10 -19 0
- -7 17 18 0
- -8 -10 11 0
- -16 3 -17 0
- 15 12 2 0
- -12 17 -16 0
- 3 12 -13 0
- -2 -13 -6 0
- -19 8 -2 0
- -14 -17 3 0
- -1 11 6 0
- 14 3 1 0
- %
- 0
|