Instances of family uclid solved by aqua-f3v
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
uclid-pipe2FAIL599.81
uclid-pipe3aFAIL599.82
uclid-pipe3bFAIL599.83