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

InstanceResultTime
pipesnotankage18_8FAIL58.3
pipesnotankage14_10FAIL900.06