x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | qesto | 22.11 | xb-qsts | 39.15 | caqe-picosat | 77.52 |
- | - | qsts | 25.4 | xb-bid-qsts | 40.63 | depqbf-v2 | 92.42 |
- | - | - | - | hiqqer3 | 49.32 | aqua-s3o | 137.32 |
- | - | - | - | caqe-minisat | 52.55 | aqua-s2v | 139.89 |
- | - | - | - | hiqqer1ldsq | 63.05 | aqua-f3v | 141.67 |
- | - | - | - | hiqqer1 | 63.68 | qestos | 188.28 |
- | - | - | - | - | - | depqbf-v3 | 494.27 |
rareqs(7.17) | |
qesto(22.11) | |
qsts(25.4) | |
xb-qsts(39.15) | |
xb-bid-qsts(40.63) | |
hiqqer3(49.32) | |
caqe-minisat(52.55) | |
hiqqer1ldsq(63.05) | |
hiqqer1(63.68) | |
caqe-picosat(77.52) | |
depqbf-v2(92.42) | |
aqua-s3o(137.32) | |
aqua-s2v(139.89) | |
aqua-f3v(141.67) | |
qestos(188.28) | |
depqbf-v3(494.27) |