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

InstanceResultTime
uclid-pipe2FAIL900
uclid-pipe3aFAIL900
uclid-pipe3bFAIL900