Instances of family uclid solved by ssolve-A
QBFEVAL'08

InstanceResultTime
uclid-pipe2FAIL600
uclid-pipe3aFAIL600
uclid-pipe3bFAIL600