x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | depqbf-pre | 18.81 | QuBE7-m | 31 |
- | - | - | - | QuBE7-c | 19.33 | QuBE7 | 31.83 |
- | - | - | - | depqbf | 21.77 | struqs-10 | 109.3 |
- | - | - | - | - | - | quantor-3.1 | 159.95 |
aqme-10(2.23) | |
depqbf-pre(18.81) | |
QuBE7-c(19.33) | |
depqbf(21.77) | |
QuBE7-m(31) | |
QuBE7(31.83) | |
struqs-10(109.3) | |
quantor-3.1(159.95) |