toy_100.cnf

c root node variable = 199
c  a1 = 1
c  a2 = 2
c  a3 = 3
c  a4 = 4
c  a5 = 5
c  a6 = 6
c  a7 = 7
c  a8 = 8
c  a9 = 9
c  a10 = 10
c  a11 = 11
c  a12 = 12
c  a13 = 13
c  a14 = 14
c  a15 = 15
c  a16 = 16
c  a17 = 17
c  a18 = 18
c  a19 = 19
c  a20 = 20
c  a21 = 21
c  a22 = 22
c  a23 = 23
c  a24 = 24
c  a25 = 25
c  a26 = 26
c  a27 = 27
c  a28 = 28
c  a29 = 29
c  a30 = 30
c  a31 = 31
c  a32 = 32
c  a33 = 33
c  a34 = 34
c  a35 = 35
c  a36 = 36
c  a37 = 37
c  a38 = 38
c  a39 = 39
c  a40 = 40
c  a41 = 41
c  a42 = 42
c  a43 = 43
c  a44 = 44
c  a45 = 45
c  a46 = 46
c  a47 = 47
c  a48 = 48
c  a49 = 49
c  a50 = 50
c  a51 = 51
c  a52 = 52
c  a53 = 53
c  a54 = 54
c  a55 = 55
c  a56 = 56
c  a57 = 57
c  a58 = 58
c  a59 = 59
c  a60 = 60
c  a61 = 61
c  a62 = 62
c  a63 = 63
c  a64 = 64
c  a65 = 65
c  a66 = 66
c  a67 = 67
c  a68 = 68
c  a69 = 69
c  a70 = 70
c  a71 = 71
c  a72 = 72
c  a73 = 73
c  a74 = 74
c  a75 = 75
c  a76 = 76
c  a77 = 77
c  a78 = 78
c  a79 = 79
c  a80 = 80
c  a81 = 81
c  a82 = 82
c  a83 = 83
c  a84 = 84
c  a85 = 85
c  a86 = 86
c  a87 = 87
c  a88 = 88
c  a89 = 89
c  a90 = 90
c  a91 = 91
c  a92 = 92
c  a93 = 93
c  a94 = 94
c  a95 = 95
c  a96 = 96
c  a97 = 97
c  a98 = 98
c  a99 = 99
c  a100 = 100
p cnf 199 198
199 0 
-199 1 198 0 
-198 2 0 
-198 197 0 
-197 3 0 
-197 196 0 
-196 4 0 
-196 195 0 
-195 5 0 
-195 194 0 
-194 6 0 
-194 193 0 
-193 7 0 
-193 192 0 
-192 8 0 
-192 191 0 
-191 9 0 
-191 190 0 
-190 10 0 
-190 189 0 
-189 11 0 
-189 188 0 
-188 12 0 
-188 187 0 
-187 13 0 
-187 186 0 
-186 14 0 
-186 185 0 
-185 15 0 
-185 184 0 
-184 16 0 
-184 183 0 
-183 17 0 
-183 182 0 
-182 18 0 
-182 181 0 
-181 19 0 
-181 180 0 
-180 20 0 
-180 179 0 
-179 21 0 
-179 178 0 
-178 22 0 
-178 177 0 
-177 23 0 
-177 176 0 
-176 24 0 
-176 175 0 
-175 25 0 
-175 174 0 
-174 26 0 
-174 173 0 
-173 27 0 
-173 172 0 
-172 28 0 
-172 171 0 
-171 29 0 
-171 170 0 
-170 30 0 
-170 169 0 
-169 31 0 
-169 168 0 
-168 32 0 
-168 167 0 
-167 33 0 
-167 166 0 
-166 34 0 
-166 165 0 
-165 35 0 
-165 164 0 
-164 36 0 
-164 163 0 
-163 37 0 
-163 162 0 
-162 38 0 
-162 161 0 
-161 39 0 
-161 160 0 
-160 40 0 
-160 159 0 
-159 41 0 
-159 158 0 
-158 42 0 
-158 157 0 
-157 43 0 
-157 156 0 
-156 44 0 
-156 155 0 
-155 45 0 
-155 154 0 
-154 46 0 
-154 153 0 
-153 47 0 
-153 152 0 
-152 48 0 
-152 151 0 
-151 49 0 
-151 150 0 
-150 50 0 
-150 149 0 
-149 51 0 
-149 148 0 
-148 52 0 
-148 147 0 
-147 53 0 
-147 146 0 
-146 54 0 
-146 145 0 
-145 55 0 
-145 144 0 
-144 56 0 
-144 143 0 
-143 57 0 
-143 142 0 
-142 58 0 
-142 141 0 
-141 59 0 
-141 140 0 
-140 60 0 
-140 139 0 
-139 61 0 
-139 138 0 
-138 62 0 
-138 137 0 
-137 63 0 
-137 136 0 
-136 64 0 
-136 135 0 
-135 65 0 
-135 134 0 
-134 66 0 
-134 133 0 
-133 67 0 
-133 132 0 
-132 68 0 
-132 131 0 
-131 69 0 
-131 130 0 
-130 70 0 
-130 129 0 
-129 71 0 
-129 128 0 
-128 72 0 
-128 127 0 
-127 73 0 
-127 126 0 
-126 74 0 
-126 125 0 
-125 75 0 
-125 124 0 
-124 76 0 
-124 123 0 
-123 77 0 
-123 122 0 
-122 78 0 
-122 121 0 
-121 79 0 
-121 120 0 
-120 80 0 
-120 119 0 
-119 81 0 
-119 118 0 
-118 82 0 
-118 117 0 
-117 83 0 
-117 116 0 
-116 84 0 
-116 115 0 
-115 85 0 
-115 114 0 
-114 86 0 
-114 113 0 
-113 87 0 
-113 112 0 
-112 88 0 
-112 111 0 
-111 89 0 
-111 110 0 
-110 90 0 
-110 109 0 
-109 91 0 
-109 108 0 
-108 92 0 
-108 107 0 
-107 93 0 
-107 106 0 
-106 94 0 
-106 105 0 
-105 95 0 
-105 104 0 
-104 96 0 
-104 103 0 
-103 97 0 
-103 102 0 
-102 98 0 
-102 101 0 
-101 99 0 
-101 100 0