Instances of family uclid solved by qbfrelay
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
uclid-pipe2FAIL7.76
uclid-pipe3aFAIL8.15
uclid-pipe3bFAIL751.89