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

InstanceResultTime
driverlog01_7SAT0.48
driverlog03_7SAT11.14
pipesnotankage18_8FAIL599.93
driverlog10_6FAIL601.05
pipesnotankage14_10FAIL601.42
pipesnotankage18_7FAIL610.43
depots03_9FAIL637.48