x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | rareqs | 2.09 | dynQBF-bloqqer-hqspre | 12.02 | qbfrelay-limited-depqbf | 83.57 |
- | - | ASPQ2 | 2.34 | DynQBF-bloqqer-hqspre-it | 12.07 | - | - |
- | - | ijtihad_v2 | 4.48 | xb-qsts_xbqsts2.0 | 13.5 | - | - |
- | - | qesto | 4.65 | qbfrelay | 13.55 | - | - |
- | - | xb-qsts_bqsts2.0 | 4.97 | xb-qsts_xbqsts1.0 | 13.61 | - | - |
- | - | heretiq | 6.05 | - | - | - | - |
- | - | ijtihad_v1 | 6.06 | - | - | - | - |
caqe_2017_v1(1.46) | |
rareqs(2.09) | |
ASPQ2(2.34) | |
ijtihad_v2(4.48) | |
qesto(4.65) | |
xb-qsts_bqsts2.0(4.97) | |
heretiq(6.05) | |
ijtihad_v1(6.06) | |
dynQBF-bloqqer-hqspre(12.02) | |
DynQBF-bloqqer-hqspre-it(12.07) | |
xb-qsts_xbqsts2.0(13.5) | |
qbfrelay(13.55) | |
xb-qsts_xbqsts1.0(13.61) | |
qbfrelay-limited-depqbf(83.57) |