Instances of family ISCAS89 solved by depqbf_prefix_opt_qdo
Prenex CNF Track

InstanceResultTime
s01423_PR_4_90UNSAT0
s01423_PR_4_75UNSAT0.01
s05378_PR_5_2SAT0.02
s09234_PR_7_2SAT0.02
s05378_PR_5_20SAT0.02
s09234_PR_7_20SAT0.02
s38584_PR_9_5SAT0.62
s38584_PR_9_50SAT0.63
s15850_PR_0_50SAT1.03
s15850_PR_6_10SAT1.09