Instances of family uclid solved by squeezebf+struqs
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
uclid-pipe2FAIL599.71
uclid-pipe3aFAIL599.71
uclid-pipe3bFAIL599.71