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

InstanceResultTime
s00400_PR_9_90UNSAT0.01
s09234_PR_9_5SAT0.42
s05378_PR_9_75UNSAT1.3
s15850_PR_0_50SAT3.26