x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_unit | 1.9 | rareqs | 9.27 | AIGSolve | 18.44 |
- | - | ijtihad_v2 | 6.98 | - | - | caqe_2017_v3 | 18.63 |
- | - | ijtihad_v1 | 7.01 | - | - | caqe_2017_v2 | 18.77 |
- | - | heretiq | 7.03 | - | - | Qute_default | 19.34 |
- | - | HQSpre_solver | 8.62 | - | - | Qute_random | 19.35 |
- | - | caqe_2017_v1 | 8.75 | - | - | Qute_opt500 | 19.41 |
- | - | - | - | - | - | dynQBF-bloqqer-hqspre | 37.34 |
- | - | - | - | - | - | qbfrelay | 40.77 |
- | - | - | - | - | - | rev_qfun0.1 | 54.55 |
- | - | - | - | - | - | xb-qsts_bqsts2.0 | 72.15 |
- | - | - | - | - | - | xb-qsts_xbqsts1.0 | 81.81 |
- | - | - | - | - | - | xb-qsts_xbqsts2.0 | 83.43 |
- | - | - | - | - | - | qbfrelay-limited-depqbf | 131.86 |
- | - | - | - | - | - | iProver-qbf-bloqqer-2017-07-27-v3 | 166.32 |
QELL_default(1.82) | |
QELL_unit(1.9) | |
ijtihad_v2(6.98) | |
ijtihad_v1(7.01) | |
heretiq(7.03) | |
HQSpre_solver(8.62) | |
caqe_2017_v1(8.75) | |
rareqs(9.27) | |
AIGSolve(18.44) | |
caqe_2017_v3(18.63) | |
caqe_2017_v2(18.77) | |
Qute_default(19.34) | |
Qute_random(19.35) | |
Qute_opt500(19.41) | |
dynQBF-bloqqer-hqspre(37.34) | |
qbfrelay(40.77) | |
rev_qfun0.1(54.55) | |
xb-qsts_bqsts2.0(72.15) | |
xb-qsts_xbqsts1.0(81.81) | |
xb-qsts_xbqsts2.0(83.43) | |
qbfrelay-limited-depqbf(131.86) | |
iProver-qbf-bloqqer-2017-07-27-v3(166.32) | |
iProver-qbf-2017-07-27-v3(184.36) | |
prefix-opt-depqbf(443.71) |