x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | areqs | 5.41 |
- | - | - | - | - | - | depqbf-v3 | 6.1 |
- | - | - | - | - | - | hiqqer1ldsq | 6.6 |
- | - | - | - | - | - | hiqqer1 | 6.64 |
- | - | - | - | - | - | depqbf-v1 | 6.71 |
- | - | - | - | - | - | rareqs | 7.41 |
- | - | - | - | - | - | aspQ | 7.78 |
- | - | - | - | - | - | hiqqer3 | 9.09 |
- | - | - | - | - | - | depqbf-v2 | 22.41 |
qsts(0.24) | |
areqs(5.41) | |
depqbf-v3(6.1) | |
hiqqer1ldsq(6.6) | |
hiqqer1(6.64) | |
depqbf-v1(6.71) | |
rareqs(7.41) | |
aspQ(7.78) | |
hiqqer3(9.09) | |
depqbf-v2(22.41) | |
xb-qsts(50.06) | |
xb-bid-qsts(53.16) | |
qestos(173.3) | |
ghostq-cegar(494.3) |