Instances of family ISCAS89 solved by CUED1919_NNL
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
s00400_PR_9_90FAIL0.01
s05378_PR_9_75FAIL0.6
s09234_PR_9_5FAIL0.73
s15850_PR_0_50FAIL11.15