QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'17 - Random QBFs Track
Best Solver: rev_qfun0.1 Time: 0.62 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | caqe_2017_v1 | 1.53 | heretiq | 4.43 | caqe_2017_v3 | 7.94 |
| - | - | rareqs | 3.05 | ijtihad_v2 | 4.52 | caqe_2017_v2 | 7.96 |
| - | - | - | - | ijtihad_v1 | 4.53 | ghostq-cegar | 13.73 |
| - | - | - | - | QELL_unit | 4.63 | GhostQ-PG_cegar | 13.81 |
| rev_qfun0.1(0.62) |  |
| caqe_2017_v1(1.53) |  |
| rareqs(3.05) |  |
| heretiq(4.43) |  |
| ijtihad_v2(4.52) |  |
| ijtihad_v1(4.53) |  |
| QELL_unit(4.63) |  |
| caqe_2017_v3(7.94) |  |
| caqe_2017_v2(7.96) |  |
| ghostq-cegar(13.73) |  |
| GhostQ-PG_cegar(13.81) |  |
| QELL_default(317.01) |  |