x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | QuBE7 | 119.94 | depqbf-pre | 150.55 |
- | - | - | - | - | - | QuBE7-c | 196.87 |
- | - | - | - | - | - | QuBE7-m | 244.42 |
- | - | - | - | - | - | depqbf | 323.53 |
aqme-10(12.36) | |
QuBE7(119.94) | |
depqbf-pre(150.55) | |
QuBE7-c(196.87) | |
QuBE7-m(244.42) | |
depqbf(323.53) |