x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | qbfrelay-limited-depqbf | 331.72 | - | - | - | - |
- | - | xb-qsts_bqsts2.0 | 365 | - | - | - | - |
- | - | xb-qsts_xbqsts2.0 | 374.3 | - | - | - | - |
- | - | xb-qsts_xbqsts1.0 | 374.92 | - | - | - | - |
- | - | heretiq | 648.1 | - | - | - | - |
- | - | Qute_random | 758.14 | - | - | - | - |
- | - | Qute_opt500 | 857 | - | - | - | - |
prefix-opt-depqbf(242.74) | |
qbfrelay-limited-depqbf(331.72) | |
xb-qsts_bqsts2.0(365) | |
xb-qsts_xbqsts2.0(374.3) | |
xb-qsts_xbqsts1.0(374.92) | |
heretiq(648.1) | |
Qute_random(758.14) | |
Qute_opt500(857) |