x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | depqbf-pre | 6.24 | - | - | QuBE7-m | 148.14 |
- | - | depqbf | 6.82 | - | - | QuBE7 | 148.66 |
- | - | - | - | - | - | QuBE7-c | 153.36 |
aqme-10(3.42) | |
depqbf-pre(6.24) | |
depqbf(6.82) | |
QuBE7-m(148.14) | |
QuBE7(148.66) | |
QuBE7-c(153.36) | |
nenofex-qbfeval10(490.8) |