x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | DynQBF-bloqqer-hqspre-it | 101 | - | - |
- | - | - | - | dynQBF-bloqqer-hqspre | 116.38 | - | - |
DynQBF-bloqqer-variant(17.11) | |
DynQBF-bloqqer-hqspre-it(101) | |
dynQBF-bloqqer-hqspre(116.38) |