Instances of family Planning-CTE solved by aqme-10
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
driverlog03_7SAT0.61
driverlog01_7SAT0.64
driverlog10_6UNSAT1.21
depots03_9UNSAT6.83
pipesnotankage14_10UNSAT334.9
pipesnotankage18_8FAIL600
pipesnotankage18_7FAIL600