x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_unit | 15.86 | caqe_2017_v2 | 83.65 | heretiq | 189.23 |
- | - | HQSpre_solver | 65.99 | Qute_default | 84.89 | ijtihad_v1 | 198.41 |
- | - | - | - | Qute_random | 85.82 | ijtihad_v2 | 199.16 |
- | - | - | - | Qute_opt500 | 85.95 | rareqs | 216.59 |
- | - | - | - | caqe_2017_v3 | 86.5 | caqe_2017_v1 | 240.61 |
- | - | - | - | dynQBF-bloqqer-hqspre | 154.86 | qbfrelay | 245.8 |
- | - | - | - | - | - | rev_qfun0.1 | 859.51 |
QELL_default(15.55) | |
QELL_unit(15.86) | |
HQSpre_solver(65.99) | |
caqe_2017_v2(83.65) | |
Qute_default(84.89) | |
Qute_random(85.82) | |
Qute_opt500(85.95) | |
caqe_2017_v3(86.5) | |
dynQBF-bloqqer-hqspre(154.86) | |
heretiq(189.23) | |
ijtihad_v1(198.41) | |
ijtihad_v2(199.16) | |
rareqs(216.59) | |
caqe_2017_v1(240.61) | |
qbfrelay(245.8) | |
rev_qfun0.1(859.51) |