Instances of family uclid solved by rev_qfun0.1
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
uclid-pipe3aSAT36.95
uclid-pipe3bUNSAT150.13
uclid-pipe2FAIL900