Instances of family uclid solved by depqbf-cert-v1
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
uclid-pipe3bFAIL603.32
uclid-pipe3aFAIL611.53
uclid-pipe2FAIL615.82