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

InstanceResultTime
s00400_PR_9_90UNSAT0
s05378_PR_9_75UNSAT3.45
s09234_PR_9_5SAT4.1
s15850_PR_0_50FAIL900