Instances of family uclid solved by par-pd-depqbf
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
uclid-pipe3bUNSAT1.01
uclid-pipe3aSAT43.15
uclid-pipe2FAIL600