QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'19 - Prenex CNF Track
Best Solver: Hiqqer2019_1 Time: 7.35 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | Hiqqer2019_3 | 13.26 | - | - | Hiqqer2019_2 | 103.86 |
| - | - | - | - | - | - | caqe-pre | 456.75 |
| - | - | - | - | - | - | depqbf_prefix_opt_qdo | 630.02 |
| - | - | - | - | - | - | Caqe-hqspre | 726.75 |
| Hiqqer2019_1(7.35) |  |
| Hiqqer2019_3(13.26) |  |
| Hiqqer2019_2(103.86) |  |
| caqe-pre(456.75) |  |
| depqbf_prefix_opt_qdo(630.02) |  |
| Caqe-hqspre(726.75) |  |