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

InstanceResultTime
driverlog01_7SAT0.21
driverlog03_7SAT0.43
pipesnotankage14_10FAIL108.12
pipesnotankage18_7FAIL364.22
pipesnotankage18_8FAIL369.92
driverlog10_6FAIL599.71
depots03_9FAIL599.71