x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | rareqs | 19.93 | xb-qsts_bqsts2.0 | 128.31 | dynQBF-bloqqer-hqspre | 294.98 |
- | - | ASPQ2 | 25.29 | xb-qsts_xbqsts1.0 | 135.34 | - | - |
- | - | qbfrelay | 26.25 | xb-qsts_xbqsts2.0 | 135.56 | - | - |
- | - | qesto | 41.25 | - | - | - | - |
- | - | ijtihad_v2 | 46.81 | - | - | - | - |
- | - | ijtihad_v1 | 49.79 | - | - | - | - |
- | - | heretiq | 79.04 | - | - | - | - |
caqe_2017_v1(18.9) | |
rareqs(19.93) | |
ASPQ2(25.29) | |
qbfrelay(26.25) | |
qesto(41.25) | |
ijtihad_v2(46.81) | |
ijtihad_v1(49.79) | |
heretiq(79.04) | |
xb-qsts_bqsts2.0(128.31) | |
xb-qsts_xbqsts1.0(135.34) | |
xb-qsts_xbqsts2.0(135.56) | |
dynQBF-bloqqer-hqspre(294.98) |