x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | depqbf-pre | 1.02 | aqme-10 | 3.58 | QuBE7 | 14.88 |
- | - | - | - | - | - | QuBE7-m | 15.89 |
- | - | - | - | - | - | QuBE7-c | 16.06 |
depqbf(0.63) | |
depqbf-pre(1.02) | |
aqme-10(3.58) | |
QuBE7(14.88) | |
QuBE7-m(15.89) | |
QuBE7-c(16.06) | |
nenofex-qbfeval10(603.06) |