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

InstanceResultTime
s00400_PR_9_90UNSAT0
s05378_PR_9_75UNSAT0.46
s09234_PR_9_5SAT0.47
s15850_PR_0_50SAT2.41