Instances of family uclid solved by ssolveB
QBFEVAL'08

InstanceResultTime
uclid-pipe2FAIL600
uclid-pipe3aFAIL600
uclid-pipe3bFAIL600