QBF Solver Evaluation Portal
qbflib.orgResults for instance lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf.dqdimacs
QBFEVAL'19 - DQBF Solvers Track
| Solver | Time | Result |
|---|---|---|
| hqs | 5.37 | SAT |
| hqs+ql | 5.42 | SAT |
| hqs+ql+fs | 25.07 | SAT |
| dCaqe | 29.7 | SAT |
| iprover_hqspre | 900.05 | FAIL |