Instances of family Planning-CTE solved by depqbf-v3
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
driverlog01_7SAT0.15
driverlog03_7SAT2.26
pipesnotankage18_8FAIL599.71
depots03_9FAIL599.71
pipesnotankage14_10FAIL599.71
pipesnotankage18_7FAIL599.81
driverlog10_6FAIL599.81