QBF Solver Evaluation Portal
qbflib.orgResults for instance pec_adder_n_bit_3_1.dqdimacs
QBFEVAL'19 - DQBF Solvers Track
| Solver | Time | Result |
|---|---|---|
| dCaqe | 11.47 | UNSAT |
| hqs+ql+fs | 41.58 | UNSAT |
| hqs | 64.61 | UNSAT |
| hqs+ql | 82.9 | UNSAT |
| iprover_hqspre | 900.11 | FAIL |