x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_unit | 19.67 | ijtihad_v2 | 105.72 | qbfrelay | 230.14 |
- | - | AIGSolve | 40.49 | heretiq | 106.09 | rev_qfun0.1 | 860.81 |
- | - | HQSpre_solver | 52.95 | ijtihad_v1 | 106.21 | - | - |
- | - | Qute_default | 72.29 | dynQBF-bloqqer-hqspre | 143.65 | - | - |
- | - | caqe_2017_v2 | 72.35 | rareqs | 161.62 | - | - |
- | - | Qute_random | 73.09 | - | - | - | - |
- | - | Qute_opt500 | 73.16 | - | - | - | - |
QELL_default(18.31) | |
QELL_unit(19.67) | |
AIGSolve(40.49) | |
HQSpre_solver(52.95) | |
Qute_default(72.29) | |
caqe_2017_v2(72.35) | |
Qute_random(73.09) | |
Qute_opt500(73.16) | |
ijtihad_v2(105.72) | |
heretiq(106.09) | |
ijtihad_v1(106.21) | |
dynQBF-bloqqer-hqspre(143.65) | |
rareqs(161.62) | |
qbfrelay(230.14) | |
rev_qfun0.1(860.81) |