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

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