x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | depqbf-v2 | 8.41 | areqs | 13.89 | xb-bid-qsts | 36.03 |
- | - | - | - | - | - | ghostq-cegar | 76.62 |
hiqqer3(1.92) | |
depqbf-v2(8.41) | |
areqs(13.89) | |
xb-bid-qsts(36.03) | |
ghostq-cegar(76.62) |