Instances of family Planning-CTE solved by depqbf-cert-v2
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
driverlog01_7SAT0.21
driverlog03_7SAT0.51
driverlog10_6FAIL198.09
pipesnotankage18_7FAIL608.87
depots03_9FAIL617.22
pipesnotankage18_8FAIL642.95
pipesnotankage14_10FAIL681.17