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

InstanceResultTime
uclid-pipe2FAIL0.14
uclid-pipe3aFAIL0.14
uclid-pipe3bFAIL3.35