Instances of family uclid solved by QUBE-BJ
QBFEVAL'04

InstanceResultTime
uclid-pipe2FAIL901.03
uclid-pipe3bFAIL901.03
uclid-pipe3aFAIL901.04