Instances of family ISCAS89 solved by xb-qsts_xbqsts2.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
s00400_PR_9_90UNSAT0.01
s05378_PR_9_75UNSAT3.8
s09234_PR_9_5SAT4.99
s15850_PR_0_50SAT31.6