c exponential qdpll QBF family.  Allen Van Gelder.
c 20 levels , options 0 0
p cnf 216 90
e 6 0
a 7 0
e 1 2 3 4 0
a 9 0
e 10 11 15 16  0
a 19 0
e 20 21 25 26  0
a 29 0
e 30 31 35 36  0
a 39 0
e 40 41 45 46  0
a 49 0
e 50 51 55 56  0
a 59 0
e 60 61 65 66  0
a 69 0
e 70 71 75 76  0
a 79 0
e 80 81 85 86  0
a 89 0
e 90 91 95 96  0
a 99 0
e 100 101 105 106  0
a 109 0
e 110 111 115 116  0
a 119 0
e 120 121 125 126  0
a 129 0
e 130 131 135 136  0
a 139 0
e 140 141 145 146  0
a 149 0
e 150 151 155 156  0
a 159 0
e 160 161 165 166  0
a 169 0
e 170 171 175 176  0
a 179 0
e 180 181 185 186  0
a 189 0
e 190 191 195 196  0
a 199 0
e 200 201 205 206  0
a 209 0
e 210 211 215 216 0
6 210 0
6 211 0
-6 215 0
-6 216 0
-1 -2 7 0
-3 -4 -7 0
1 -10 -11 -9 0
2 -10 -11 9 0
3 -15 -16 -9 0
4 -15 -16 9 0
10 -20 -21 19 0
11 -20 -21 -19 0
15 -25 -26 19 0
16 -25 -26 -19 0
20 -30 -31 29 0
21 -30 -31 -29 0
25 -35 -36 29 0
26 -35 -36 -29 0
30 -40 -41 39 0
31 -40 -41 -39 0
35 -45 -46 39 0
36 -45 -46 -39 0
40 -50 -51 49 0
41 -50 -51 -49 0
45 -55 -56 49 0
46 -55 -56 -49 0
50 -60 -61 59 0
51 -60 -61 -59 0
55 -65 -66 59 0
56 -65 -66 -59 0
60 -70 -71 69 0
61 -70 -71 -69 0
65 -75 -76 69 0
66 -75 -76 -69 0
70 -80 -81 79 0
71 -80 -81 -79 0
75 -85 -86 79 0
76 -85 -86 -79 0
80 -90 -91 89 0
81 -90 -91 -89 0
85 -95 -96 89 0
86 -95 -96 -89 0
90 -100 -101 99 0
91 -100 -101 -99 0
95 -105 -106 99 0
96 -105 -106 -99 0
100 -110 -111 109 0
101 -110 -111 -109 0
105 -115 -116 109 0
106 -115 -116 -109 0
110 -120 -121 119 0
111 -120 -121 -119 0
115 -125 -126 119 0
116 -125 -126 -119 0
120 -130 -131 129 0
121 -130 -131 -129 0
125 -135 -136 129 0
126 -135 -136 -129 0
130 -140 -141 139 0
131 -140 -141 -139 0
135 -145 -146 139 0
136 -145 -146 -139 0
140 -150 -151 149 0
141 -150 -151 -149 0
145 -155 -156 149 0
146 -155 -156 -149 0
150 -160 -161 159 0
151 -160 -161 -159 0
155 -165 -166 159 0
156 -165 -166 -159 0
160 -170 -171 169 0
161 -170 -171 -169 0
165 -175 -176 169 0
166 -175 -176 -169 0
170 -180 -181 179 0
171 -180 -181 -179 0
175 -185 -186 179 0
176 -185 -186 -179 0
180 -190 -191 189 0
181 -190 -191 -189 0
185 -195 -196 189 0
186 -195 -196 -189 0
190 -200 -201 199 0
191 -200 -201 -199 0
195 -205 -206 199 0
196 -205 -206 -199 0
200 -210 -211 209 0
201 -210 -211 -209 0
205 -215 -216 209 0
206 -215 -216 -209 0