x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_default | 0.18 | caqe_2017_v2 | 0.79 | rareqs | 1.48 |
- | - | AIGSolve | 0.21 | caqe_2017_v3 | 0.8 | heretiq | 1.66 |
- | - | rev_qfun0.1 | 0.25 | caqe_2017_v1 | 0.96 | ijtihad_v2 | 1.68 |
- | - | - | - | - | - | ijtihad_v1 | 1.69 |
- | - | - | - | - | - | ghostq-cegar | 2.66 |
- | - | - | - | - | - | GhostQ-PG_cegar | 3.37 |
- | - | - | - | - | - | GhostQ-PG_plain | 4.41 |
- | - | - | - | - | - | prefix-opt-depqbf | 7.58 |
- | - | - | - | - | - | qbfrelay-limited-depqbf | 7.73 |
- | - | - | - | - | - | dynQBF-bloqqer-hqspre | 13.15 |
QELL_unit(0.14) | |
QELL_default(0.18) | |
AIGSolve(0.21) | |
rev_qfun0.1(0.25) | |
caqe_2017_v2(0.79) | |
caqe_2017_v3(0.8) | |
caqe_2017_v1(0.96) | |
rareqs(1.48) | |
heretiq(1.66) | |
ijtihad_v2(1.68) | |
ijtihad_v1(1.69) | |
ghostq-cegar(2.66) | |
GhostQ-PG_cegar(3.37) | |
GhostQ-PG_plain(4.41) | |
prefix-opt-depqbf(7.58) | |
qbfrelay-limited-depqbf(7.73) | |
dynQBF-bloqqer-hqspre(13.15) | |
HQSpre_solver(512.36) |