x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | qbfrelay-limited-depqbf | 0.89 | rev_qfun0.1 | 5.87 | xb-qsts_bqsts2.0 | 24.56 |
- | - | rareqs | 1.09 | - | - | xb-qsts_xbqsts1.0 | 33.78 |
- | - | ijtihad_v1 | 1.15 | - | - | xb-qsts_xbqsts2.0 | 34.98 |
- | - | heretiq | 1.16 | - | - | iProver-qbf-bloqqer-2017-07-27-v3 | 46.9 |
- | - | ijtihad_v2 | 1.16 | - | - | - | - |
- | - | Qute_default | 1.3 | - | - | - | - |
- | - | Qute_random | 1.3 | - | - | - | - |
- | - | Qute_opt500 | 1.31 | - | - | - | - |
- | - | caqe_2017_v1 | 1.44 | - | - | - | - |
- | - | caqe_2017_v3 | 1.5 | - | - | - | - |
- | - | caqe_2017_v2 | 1.88 | - | - | - | - |
prefix-opt-depqbf(0.59) | |
qbfrelay-limited-depqbf(0.89) | |
rareqs(1.09) | |
ijtihad_v1(1.15) | |
heretiq(1.16) | |
ijtihad_v2(1.16) | |
Qute_default(1.3) | |
Qute_random(1.3) | |
Qute_opt500(1.31) | |
caqe_2017_v1(1.44) | |
caqe_2017_v3(1.5) | |
caqe_2017_v2(1.88) | |
rev_qfun0.1(5.87) | |
xb-qsts_bqsts2.0(24.56) | |
xb-qsts_xbqsts1.0(33.78) | |
xb-qsts_xbqsts2.0(34.98) | |
iProver-qbf-bloqqer-2017-07-27-v3(46.9) | |
qbfrelay(67.63) |