QBF Solver Evaluation Portal
qbflib.orgResults for instance full_arbiter_unreal1_environment_1.dqdimacs
QBFEVAL'19 - DQBF Solvers Track
| Solver | Time | Result |
|---|---|---|
| dCaqe | 2.89 | SAT |
| iprover_hqspre | 5.79 | SAT |
| hqs+ql+fs | 7.62 | SAT |
| hqs | 7.66 | SAT |
| hqs+ql | 7.79 | SAT |