Instances of family uclid solved by GRL
QBFEVAL'04

InstanceResultTime
uclid-pipe3bFAIL857.39
uclid-pipe2FAIL901
uclid-pipe3aFAIL901