uf20-030.cnf 1.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102
  1. c This Formular is generated by mcnf
  2. c
  3. c horn? no
  4. c forced? no
  5. c mixed sat? no
  6. c clause length = 3
  7. c
  8. p cnf 20 91
  9. -7 14 4 0
  10. 10 7 -15 0
  11. 4 12 -7 0
  12. 5 -19 9 0
  13. -2 -14 -5 0
  14. 12 -5 -15 0
  15. 12 19 20 0
  16. -17 16 -13 0
  17. 15 16 6 0
  18. 2 10 -4 0
  19. -5 10 -7 0
  20. -15 19 18 0
  21. -16 3 -14 0
  22. -7 5 17 0
  23. -16 -19 7 0
  24. 1 -3 -11 0
  25. 6 -14 16 0
  26. -5 -8 19 0
  27. 7 18 6 0
  28. -18 5 -15 0
  29. 14 6 2 0
  30. -18 -10 20 0
  31. 13 -18 2 0
  32. 6 2 16 0
  33. 16 -10 -5 0
  34. -11 -19 -13 0
  35. 7 -11 -1 0
  36. 2 13 16 0
  37. -11 -10 18 0
  38. -8 -5 12 0
  39. 7 -19 16 0
  40. -10 1 -17 0
  41. -5 -6 20 0
  42. -2 19 14 0
  43. 3 -18 19 0
  44. -1 15 -9 0
  45. -16 17 -9 0
  46. 5 -12 -16 0
  47. 6 -12 -11 0
  48. 6 -14 -10 0
  49. 9 8 3 0
  50. -18 -5 10 0
  51. -2 4 15 0
  52. -14 -19 -4 0
  53. -3 9 -5 0
  54. 19 -10 2 0
  55. -20 -2 -12 0
  56. 18 -8 16 0
  57. -19 14 13 0
  58. -18 -12 9 0
  59. 10 -13 9 0
  60. 8 -7 4 0
  61. 18 8 17 0
  62. -1 16 18 0
  63. 14 3 17 0
  64. -9 -12 -20 0
  65. 5 6 1 0
  66. 10 4 8 0
  67. 12 7 -6 0
  68. 13 -16 -14 0
  69. -17 6 7 0
  70. -11 -7 -10 0
  71. -12 -5 19 0
  72. -9 2 -10 0
  73. -5 -3 7 0
  74. 14 8 -10 0
  75. -5 15 -19 0
  76. -11 18 -9 0
  77. -5 -10 -3 0
  78. -5 2 -3 0
  79. 1 14 16 0
  80. 20 -5 16 0
  81. -4 16 15 0
  82. 4 -13 10 0
  83. 7 14 5 0
  84. -5 -7 4 0
  85. -1 -12 -13 0
  86. -2 -1 6 0
  87. 2 -4 -12 0
  88. 13 -7 20 0
  89. 6 -20 13 0
  90. 7 -3 15 0
  91. -3 -1 -10 0
  92. 20 -3 12 0
  93. 2 -19 -6 0
  94. -9 10 7 0
  95. 1 3 2 0
  96. 6 3 -16 0
  97. -4 -6 13 0
  98. 20 -16 -3 0
  99. 20 7 3 0
  100. %
  101. 0