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

InstanceResultTime
uclid-pipe3aSAT273.71
uclid-pipe2FAIL900