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

InstanceResultTime
driverlog01_7SAT0.18
driverlog03_7SAT0.56
driverlog10_6UNSAT260.7
depots03_9FAIL599.82
pipesnotankage14_10FAIL600
pipesnotankage18_7FAIL600
pipesnotankage18_8FAIL600