QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'17 - Prenex CNF Track
Best Solver: rev_qfun0.1 Time: 97.55 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | QELL_default | 130.18 | ghostq-cegar | 512.82 | - | - |
| - | - | QELL_unit | 233.19 | GhostQ-PG_cegar | 547.51 | - | - |
| - | - | ijtihad_v1 | 332.29 | - | - | - | - |
| - | - | ijtihad_v2 | 333.89 | - | - | - | - |
| - | - | heretiq | 347.4 | - | - | - | - |
| rev_qfun0.1(97.55) |  |
| QELL_default(130.18) |  |
| QELL_unit(233.19) |  |
| ijtihad_v1(332.29) |  |
| ijtihad_v2(333.89) |  |
| heretiq(347.4) |  |
| ghostq-cegar(512.82) |  |
| GhostQ-PG_cegar(547.51) |  |