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

InstanceResultTime
driverlog01_7SAT0.21
driverlog03_7SAT0.38
driverlog10_6UNSAT407.55
depots03_9FAIL599.73
pipesnotankage14_10FAIL600
pipesnotankage18_7FAIL600
pipesnotankage18_8FAIL600