x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | depqbf-pre | 0.25 | quantor-3.1 | 1.36 | aqme-10 | 3.19 |
depqbf(0.23) | |
depqbf-pre(0.25) | |
quantor-3.1(1.36) | |
aqme-10(3.19) | |
QuBE7(64.76) | |
QuBE7-m(65.86) | |
QuBE7-c(66.06) | |
nenofex-qbfeval10(98.25) |