x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_unit | 16.96 | ijtihad_v1 | 86.49 | qbfrelay | 214.22 |
- | - | HQSpre_solver | 49.99 | ijtihad_v2 | 87.84 | rev_qfun0.1 | 851.87 |
- | - | caqe_2017_v2 | 59.91 | heretiq | 90.57 | - | - |
- | - | Qute_opt500 | 60.48 | AIGSolve | 98.43 | - | - |
- | - | Qute_default | 61.35 | dynQBF-bloqqer-hqspre | 139.92 | - | - |
- | - | Qute_random | 61.5 | rareqs | 142.46 | - | - |
QELL_default(16.78) | |
QELL_unit(16.96) | |
HQSpre_solver(49.99) | |
caqe_2017_v2(59.91) | |
Qute_opt500(60.48) | |
Qute_default(61.35) | |
Qute_random(61.5) | |
ijtihad_v1(86.49) | |
ijtihad_v2(87.84) | |
heretiq(90.57) | |
AIGSolve(98.43) | |
dynQBF-bloqqer-hqspre(139.92) | |
rareqs(142.46) | |
qbfrelay(214.22) | |
rev_qfun0.1(851.87) |