x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | depqbf_pre_QxQBH | 5.45 | - | - | predyndep | 129.47 |
- | - | PortfolioDepQBFGhostQRaReQSQute___pf | 12.55 | - | - | Heretiq-cube | 162.31 |
depqbf_prefix_opt_qdo(3.49) | |
depqbf_pre_QxQBH(5.45) | |
PortfolioDepQBFGhostQRaReQSQute___pf(12.55) | |
predyndep(129.47) | |
Heretiq-cube(162.31) |