Instances of family ISCAS89 solved by Hiqqer2019_3
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
s01488_PR_1_10SAT0
s05378_PR_4_90UNSAT0
s09234_PR_9_90UNSAT0
s00420_PR_1_20SAT0
s00838_PR_6_90UNSAT0
s15850_PR_8_90UNSAT0.9
s38417_PR_4_50SAT1.2
s38584_PR_9_90SAT1.77
s38584_PR_8_50SAT3.14
s15850_PR_0_50SAT9.28