distr/dddmp/exp/4.cnf

   1 c # BDD stored by the DDDMP tool in CNF format
   2 c #
   3 c # Warning: AUX IDs missing ... equal to BDD IDs.
   4 c #
   5 c .ver DDDMP-2.0
   6 c .nnodes 35
   7 c .nvars 50
   8 c .nsuppvars 15
   9 c .suppvarnames V2 V3 V8 V9 V10 V12 V22 V23 V24 V37 V38 V39 V48 V49 V50
  10 c .orderedvarnames V1 V2 V3 V4 V5 V6 V7 V8 V9 V10 V11 V12 V13 V14 V15 V16 V17 V18 V19 V20 V21 V22 V23 V24 V25 V26 V27 V28 V29 V30 V31 V32 V33 V34 V35 V36 V37 V38 V39 V40 V41 V42 V43 V44 V45 V46 V47 V48 V49 V50
  11 c .ids  1 2 7 8 9 11 21 22 23 36 37 38 47 48 49
  12 c .permids  1 2 7 8 9 11 21 22 23 36 37 38 47 48 49
  13 c .auxids  1 2 7 8 9 11 21 22 23 36 37 38 47 48 49
  14 c .cnfids  2 3 8 9 10 12 22 23 24 37 38 39 48 49 50
  15 c .nroots 1
  16 c .rootids 1
  17 c .nAddedCnfVar 31
  18 c #
  19 c # Init CNF Clauses
  20 c #
  21 p cnf 130 108
  22 100 -49 0
  23 100 -50 0
  24 -100 49 50 0
  25 101 48 0
  26 101 -100 0
  27 -101 -48 100 0
  28 102 48 0
  29 102 -50 0
  30 -102 -48 50 0
  31 103 39 102 0
  32 -103 39 -102 0
  33 103 -39 -48 0
  34 -103 -39 48 0
  35 104 48 0
  36 104 -49 0
  37 -104 -48 49 0
  38 105 39 -101 0
  39 -105 39 101 0
  40 105 -39 -104 0
  41 -105 -39 104 0
  42 106 38 105 0
  43 -106 38 -105 0
  44 106 -38 -103 0
  45 -106 -38 103 0
  46 107 -37 0
  47 107 106 0
  48 -107 37 -106 0
  49 108 38 104 0
  50 -108 38 -104 0
  51 108 -38 -48 0
  52 -108 -38 48 0
  53 109 -37 0
  54 109 108 0
  55 -109 37 -108 0
  56 110 24 -109 0
  57 -110 24 109 0
  58 110 -24 -107 0
  59 -110 -24 107 0
  60 111 -37 0
  61 111 103 0
  62 -111 37 -103 0
  63 112 -37 0
  64 112 48 0
  65 -112 37 -48 0
  66 113 24 -112 0
  67 -113 24 112 0
  68 113 -24 -111 0
  69 -113 -24 111 0
  70 114 23 -113 0
  71 -114 23 113 0
  72 114 -23 -110 0
  73 -114 -23 110 0
  74 115 22 0
  75 115 -114 0
  76 -115 -22 114 0
  77 116 23 -112 0
  78 -116 23 112 0
  79 116 -23 -109 0
  80 -116 -23 109 0
  81 117 22 0
  82 117 -116 0
  83 -117 -22 116 0
  84 118 12 -117 0
  85 -118 12 117 0
  86 118 -12 -115 0
  87 -118 -12 115 0
  88 119 10 0
  89 119 -118 0
  90 -119 -10 118 0
  91 120 22 0
  92 120 -113 0
  93 -120 -22 113 0
  94 121 12 -120 0
  95 -121 12 120 0
  96 121 -12 -115 0
  97 -121 -12 115 0
  98 122 10 0
  99 122 -121 0
 100 -122 -10 121 0
 101 123 9 -122 0
 102 -123 9 122 0
 103 123 -9 -119 0
 104 -123 -9 119 0
 105 124 12 0
 106 124 -115 0
 107 -124 -12 115 0
 108 125 10 0
 109 125 -124 0
 110 -125 -10 124 0
 111 126 10 0
 112 126 -115 0
 113 -126 -10 115 0
 114 127 9 -126 0
 115 -127 9 126 0
 116 127 -9 -125 0
 117 -127 -9 125 0
 118 128 8 -127 0
 119 -128 8 127 0
 120 128 -8 -123 0
 121 -128 -8 123 0
 122 129 3 -128 0
 123 -129 3 128 0
 124 129 -3 -101 0
 125 -129 -3 101 0
 126 130 -2 0
 127 130 -129 0
 128 -130 2 129 0
 129 -130 0
 130 c # End of Cnf From dddmp-2.0