x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | depqbf | 7.26 | QuBE7 | 34.2 | - | - |
- | - | aqme-10 | 8.85 | QuBE7-m | 35.31 | - | - |
- | - | - | - | QuBE7-c | 35.4 | - | - |
depqbf-pre(6.78) | |
depqbf(7.26) | |
aqme-10(8.85) | |
QuBE7(34.2) | |
QuBE7-m(35.31) | |
QuBE7-c(35.4) | |
nenofex-qbfeval10(887.32) |