x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | QuBE7 | 15.42 | depqbf-pre | 27.86 |
- | - | - | - | - | - | depqbf | 34.2 |
- | - | - | - | - | - | QuBE7-c | 64.43 |
- | - | - | - | - | - | QuBE7-m | 84.58 |
aqme-10(2.07) | |
QuBE7(15.42) | |
depqbf-pre(27.86) | |
depqbf(34.2) | |
QuBE7-c(64.43) | |
QuBE7-m(84.58) | |
struqs-10(355.61) |