x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_unit | 1.47 | HQSpre_solver | 9.66 | dynQBF-bloqqer-hqspre | 21.38 |
- | - | heretiq | 3.59 | caqe_2017_v2 | 13.04 | qbfrelay | 22.9 |
- | - | ijtihad_v1 | 3.59 | caqe_2017_v3 | 13.08 | rev_qfun0.1 | 38.16 |
- | - | ijtihad_v2 | 3.61 | Qute_default | 13.76 | iProver-qbf-bloqqer-2017-07-27-v3 | 82.23 |
- | - | caqe_2017_v1 | 5.1 | Qute_opt500 | 13.84 | xb-qsts_bqsts2.0 | 83.57 |
- | - | rareqs | 5.65 | Qute_random | 13.84 | xb-qsts_xbqsts1.0 | 89.54 |
- | - | - | - | AIGSolve | 14.14 | xb-qsts_xbqsts2.0 | 89.61 |
- | - | - | - | - | - | qbfrelay-limited-depqbf | 103.41 |
- | - | - | - | - | - | iProver-qbf-2017-07-27-v3 | 136.13 |
QELL_default(1.43) | |
QELL_unit(1.47) | |
heretiq(3.59) | |
ijtihad_v1(3.59) | |
ijtihad_v2(3.61) | |
caqe_2017_v1(5.1) | |
rareqs(5.65) | |
HQSpre_solver(9.66) | |
caqe_2017_v2(13.04) | |
caqe_2017_v3(13.08) | |
Qute_default(13.76) | |
Qute_opt500(13.84) | |
Qute_random(13.84) | |
AIGSolve(14.14) | |
dynQBF-bloqqer-hqspre(21.38) | |
qbfrelay(22.9) | |
rev_qfun0.1(38.16) | |
iProver-qbf-bloqqer-2017-07-27-v3(82.23) | |
xb-qsts_bqsts2.0(83.57) | |
xb-qsts_xbqsts1.0(89.54) | |
xb-qsts_xbqsts2.0(89.61) | |
qbfrelay-limited-depqbf(103.41) | |
iProver-qbf-2017-07-27-v3(136.13) | |
prefix-opt-depqbf(246.67) |