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

InstanceResultTime
uclid-pipe2FAIL600
uclid-pipe3aFAIL600
uclid-pipe3bFAIL600