x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QuBE7 | 3.08 | QuBE7-m | 13.89 | depqbf | 25.71 |
- | - | - | - | depqbf-pre | 20.45 | struqs-10 | 45.14 |
- | - | - | - | QuBE7-c | 22.66 | - | - |
aqme-10(2.27) | |
QuBE7(3.08) | |
QuBE7-m(13.89) | |
depqbf-pre(20.45) | |
QuBE7-c(22.66) | |
depqbf(25.71) | |
struqs-10(45.14) |