Instances of family Planning-CTE solved by Cqesto_2018
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
pipesnotankage14_10FAIL900.01
pipesnotankage18_8FAIL900.03