Instances of family uclid solved by caqe-minisat
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
uclid-pipe3aFAIL599.7
uclid-pipe2FAIL599.71
uclid-pipe3bFAIL599.74