x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_unit | 3.12 | HQSpre_solver | 14.41 | qbfrelay | 28.94 |
- | - | ijtihad_v1 | 4.34 | caqe_2017_v2 | 19.35 | rev_qfun0.1 | 57.27 |
- | - | ijtihad_v2 | 4.35 | Qute_random | 22.07 | qbfrelay-limited-depqbf | 134.36 |
- | - | heretiq | 4.36 | Qute_default | 22.12 | - | - |
- | - | rareqs | 5.39 | Qute_opt500 | 22.3 | - | - |
- | - | AIGSolve | 8.68 | dynQBF-bloqqer-hqspre | 22.43 | - | - |
QELL_default(2.88) | |
QELL_unit(3.12) | |
ijtihad_v1(4.34) | |
ijtihad_v2(4.35) | |
heretiq(4.36) | |
rareqs(5.39) | |
AIGSolve(8.68) | |
HQSpre_solver(14.41) | |
caqe_2017_v2(19.35) | |
Qute_random(22.07) | |
Qute_default(22.12) | |
Qute_opt500(22.3) | |
dynQBF-bloqqer-hqspre(22.43) | |
qbfrelay(28.94) | |
rev_qfun0.1(57.27) | |
qbfrelay-limited-depqbf(134.36) | |
iProver-qbf-bloqqer-2017-07-27-v3(702.57) | |
iProver-qbf-2017-07-27-v3(838.91) | |
xb-qsts_bqsts2.0(861.61) | |
xb-qsts_xbqsts2.0(866.79) | |
xb-qsts_xbqsts1.0(868.05) |