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

InstanceResultTime
pipesnotankage14_10FAIL900.02
pipesnotankage18_8FAIL900.05