x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | QuBE7-c | 11.13 | struqs-10 | 26.25 |
- | - | - | - | QuBE7-m | 12.91 | - | - |
- | - | - | - | QuBE7 | 13.57 | - | - |
- | - | - | - | depqbf-pre | 14.85 | - | - |
- | - | - | - | depqbf | 16.76 | - | - |
aqme-10(1.93) | |
QuBE7-c(11.13) | |
QuBE7-m(12.91) | |
QuBE7(13.57) | |
depqbf-pre(14.85) | |
depqbf(16.76) | |
struqs-10(26.25) |