Instances of family Planning-CTE solved by qsts
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
driverlog03_7SAT0.52
pipesnotankage18_8FAIL596.71
pipesnotankage14_10FAIL598.43