Instances of family ISCAS89 solved by ijtihad
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
s38417_PR_4_50SAT0
s09234_PR_9_90UNSAT0
s05378_PR_4_90UNSAT0
s01488_PR_1_10SAT0
s00838_PR_6_90UNSAT0
s00420_PR_1_20SAT0
s38584_PR_9_90SAT0.7
s15850_PR_8_90UNSAT0.86
s38584_PR_8_50SAT1.07
s15850_PR_0_50SAT2.37