x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | aqua-s2v | 4.25 | depqbf-v2 | 14.61 | caqe-picosat | 63.11 |
- | - | aqua-s3o | 5.19 | - | - | qesto | 130.57 |
- | - | rareqs | 13.21 | - | - | caqe-minisat | 180.54 |
- | - | xb-qsts | 14.31 | - | - | - | - |
- | - | xb-bid-qsts | 14.43 | - | - | - | - |
aqua-f3v(2.9) | |
aqua-s2v(4.25) | |
aqua-s3o(5.19) | |
rareqs(13.21) | |
xb-qsts(14.31) | |
xb-bid-qsts(14.43) | |
depqbf-v2(14.61) | |
caqe-picosat(63.11) | |
qesto(130.57) | |
caqe-minisat(180.54) |