c exponential qdpll QBF family.  Allen Van Gelder.
c 2 levels , options 0 0
p cnf 36 18
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
6 30 0
6 31 0
-6 35 0
-6 36 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