make your own (linear) vtree!
p cnf 6 3 1 2 3 4 0 -2 -3 4 5 0 -4 -5 6 6 0
load cnf
Right Linear
Left Linear
Even Split
DTree (Min-Fill)
DTree (Linear)