Instances of family uclid solved by semprop
QBFEVAL'05

InstanceResultTime
uclid-pipe3bFAIL900.98
uclid-pipe3aFAIL900.99
uclid-pipe2FAIL901