QBF Solver Evaluation Portal
qbflib.orgUnique instances for hqs+ql+fs
QBFEVAL'19 - DQBF Solvers Track
| Instance | Time | Result |
|---|---|---|
| f600.shuffled.cnf.dqdimacs | 7.19 | SAT |
| mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf.dqdimacs | 1.08 | SAT |
| sgen3-n240-s78945233-sat.cnf.dqdimacs | 188.9 | SAT |
| sgen3-n260-s62321009-sat.cnf.dqdimacs | 447.18 | SAT |
| x1_80.shuffled.cnf.dqdimacs | 0 | UNSAT |