x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | aqua-f3v | 4.68 | caqe-picosat | 19.14 |
- | - | - | - | xb-qsts | 7.07 | rareqs | 21.36 |
- | - | - | - | aqua-s2v | 7.3 | xb-bid-qsts | 38.04 |
aqua-s3o(0.89) | |
aqua-f3v(4.68) | |
xb-qsts(7.07) | |
aqua-s2v(7.3) | |
caqe-picosat(19.14) | |
rareqs(21.36) | |
xb-bid-qsts(38.04) | |
qesto(217.31) | |
caqe-minisat(232.8) |