x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | depqbf-pre | 26.06 |
- | - | - | - | - | - | depqbf | 29 |
- | - | - | - | - | - | QuBE7 | 53.54 |
- | - | - | - | - | - | QuBE7-c | 53.85 |
- | - | - | - | - | - | QuBE7-m | 65.07 |
- | - | - | - | - | - | struqs-10 | 209.7 |
aqme-10(2.5) | |
depqbf-pre(26.06) | |
depqbf(29) | |
QuBE7(53.54) | |
QuBE7-c(53.85) | |
QuBE7-m(65.07) | |
struqs-10(209.7) |