Instances of family uclid solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
uclid-pipe2FAIL299.83
uclid-pipe3aFAIL299.83
uclid-pipe3bFAIL299.89