Instances of family uclid solved by xb-qsts_xbqsts2.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
uclid-pipe2FAIL900
uclid-pipe3aFAIL900
uclid-pipe3bFAIL900