Instances of family uclid solved by QUANTOR
QBFEVAL'04

InstanceResultTime
uclid-pipe3aFAIL11.36
uclid-pipe3bFAIL12.48
uclid-pipe2FAIL14.11