QBF Solver Evaluation Portal
qbflib.orgUnique instances for hqs+ql
QBFEVAL'19 - DQBF Solvers Track
| Instance | Time | Result |
|---|---|---|
| comp.blif_0.20_0.10_0_2_henkin.dqdimacs | 3.29 | UNSAT |
| pec_adder_n_bit_9_22.dqdimacs | 105.84 | UNSAT |
| C499.blif_0.10_1.00_9_2_henkin.dqdimacs | 95.19 | UNSAT |
| comp.blif_0.10_0.10_1_3_henkin.dqdimacs | 386.97 | UNSAT |