distr/dddmp/exp/4xor5.bdd

   1 .ver DDDMP-2.0
   2 .mode A
   3 .varinfo 0
   4 .nnodes 105
   5 .nvars 50
   6 .nsuppvars 18
   7 .suppvarnames DUMMY1 DUMMY2 DUMMY7 DUMMY8 DUMMY9 DUMMY11 DUMMY19 DUMMY20 DUMMY21 DUMMY22 DUMMY23 DUMMY24 DUMMY36 DUMMY37 DUMMY38 DUMMY47 DUMMY48 DUMMY49
   8 .orderedvarnames DUMMY0 DUMMY1 DUMMY2 DUMMY3 DUMMY4 DUMMY5 DUMMY6 DUMMY7 DUMMY8 DUMMY9 DUMMY10 DUMMY11 DUMMY12 DUMMY13 DUMMY14 DUMMY15 DUMMY16 DUMMY17 DUMMY18 DUMMY19 DUMMY20 DUMMY21 DUMMY22 DUMMY23 DUMMY24 DUMMY25 DUMMY26 DUMMY27 DUMMY28 DUMMY29 DUMMY30 DUMMY31 DUMMY32 DUMMY33 DUMMY34 DUMMY35 DUMMY36 DUMMY37 DUMMY38 DUMMY39 DUMMY40 DUMMY41 DUMMY42 DUMMY43 DUMMY44 DUMMY45 DUMMY46 DUMMY47 DUMMY48 DUMMY49
   9 .ids 1 2 7 8 9 11 19 20 21 22 23 24 36 37 38 47 48 49
  10 .permids 1 2 7 8 9 11 19 20 21 22 23 24 36 37 38 47 48 49
  11 .auxids 1 2 7 8 9 11 19 20 21 22 23 24 36 37 38 47 48 49
  12 .nroots 1
  13 .rootids 105
  14 .nodes
  15 1 T 1 0 0
  16 2 24 11 1 -1
  17 3 23 10 1 -2
  18 4 22 9 3 -2
  19 5 21 8 4 -2
  20 6 23 10 1 -1
  21 7 22 9 6 -1
  22 8 21 8 7 -1
  23 9 20 7 5 8
  24 10 23 10 2 -1
  25 11 22 9 2 10
  26 12 21 8 11 2
  27 13 23 10 2 -2
  28 14 22 9 3 -13
  29 15 21 8 4 14
  30 16 20 7 12 15
  31 17 19 6 9 -16
  32 18 49 17 1 -1
  33 19 48 16 1 18
  34 20 47 15 19 1
  35 21 24 11 20 -20
  36 22 23 10 20 -21
  37 23 22 9 22 -21
  38 24 21 8 23 -21
  39 25 23 10 20 -20
  40 26 22 9 25 -20
  41 27 21 8 26 -20
  42 28 20 7 24 27
  43 29 23 10 21 -20
  44 30 22 9 21 29
  45 31 21 8 30 21
  46 32 23 10 21 -21
  47 33 22 9 22 -32
  48 34 21 8 23 33
  49 35 20 7 31 34
  50 36 19 6 28 -35
  51 37 47 15 1 -1
  52 38 47 15 18 1
  53 39 38 14 37 -38
  54 40 48 16 1 -1
  55 41 47 15 40 1
  56 42 38 14 41 20
  57 43 37 13 39 -42
  58 44 36 12 1 -43
  59 45 37 13 37 -41
  60 46 36 12 1 -45
  61 47 24 11 46 -46
  62 48 23 10 44 -47
  63 49 36 12 1 -39
  64 50 24 11 49 -49
  65 51 36 12 1 -37
  66 52 24 11 51 -51
  67 53 23 10 50 52
  68 54 22 9 48 -53
  69 55 21 8 54 -2
  70 56 23 10 44 -46
  71 57 23 10 49 51
  72 58 22 9 56 -57
  73 59 21 8 58 -1
  74 60 20 7 55 59
  75 61 24 11 44 -44
  76 62 23 10 61 47
  77 63 23 10 50 -51
  78 64 22 9 62 63
  79 65 21 8 64 2
  80 66 21 8 54 14
  81 67 20 7 65 66
  82 68 19 6 60 -67
  83 69 23 10 46 -47
  84 70 22 9 69 -52
  85 71 21 8 70 -2
  86 72 23 10 46 -46
  87 73 22 9 72 -51
  88 74 21 8 73 -1
  89 75 20 7 71 74
  90 76 23 10 52 -51
  91 77 22 9 47 76
  92 78 21 8 77 2
  93 79 21 8 70 14
  94 80 20 7 78 79
  95 81 19 6 75 -80
  96 82 11 5 68 81
  97 83 9 4 82 17
  98 84 23 10 49 -52
  99 85 22 9 84 -53
 100 86 21 8 85 -2
 101 87 23 10 49 -51
 102 88 22 9 87 -57
 103 89 21 8 88 -1
 104 90 20 7 86 89
 105 91 22 9 53 63
 106 92 21 8 91 2
 107 93 21 8 85 14
 108 94 20 7 92 93
 109 95 19 6 90 -94
 110 96 11 5 68 95
 111 97 9 4 96 17
 112 98 8 3 83 97
 113 99 11 5 68 17
 114 100 9 4 99 17
 115 101 9 4 68 17
 116 102 8 3 100 101
 117 103 7 2 98 102
 118 104 2 1 36 103
 119 105 1 0 17 104
 120 .end