x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | depqbf-v1 | 0.11 | qestos | 0.72 | aspQ | 0.98 |
- | - | - | - | rareqs | 0.74 | depqbf-v3 | 1.07 |
- | - | - | - | - | - | depqbf-v2 | 3.11 |
- | - | - | - | - | - | xb-qsts | 3.72 |
- | - | - | - | - | - | xb-bid-qsts | 3.82 |
- | - | - | - | - | - | iprover-QBF-bloqqer | 5.65 |
cadet(0.09) | |
depqbf-v1(0.11) | |
qestos(0.72) | |
rareqs(0.74) | |
aspQ(0.98) | |
depqbf-v3(1.07) | |
depqbf-v2(3.11) | |
xb-qsts(3.72) | |
xb-bid-qsts(3.82) | |
iprover-QBF-bloqqer(5.65) | |
struqs-10(16.18) | |
squeezebf+struqs(16.24) | |
ghostq-cegar(19.21) | |
ghostq-plain(301.71) |