x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | depqbf-pre | 5.09 | QuBE7-c | 12.18 | struqs-10 | 38.49 |
- | - | depqbf | 6 | QuBE7-m | 15.41 | quantor-3.1 | 49.38 |
- | - | QuBE7 | 7.57 | - | - | - | - |
aqme-10(1.97) | |
depqbf-pre(5.09) | |
depqbf(6) | |
QuBE7(7.57) | |
QuBE7-c(12.18) | |
QuBE7-m(15.41) | |
struqs-10(38.49) | |
quantor-3.1(49.38) |