x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | PortfolioDepQBFGhostQRaReQSQute___pf | 66.93 | - | - | depqbf_prefix_opt_qdo | 387.99 |
- | - | Caqe-hqspre | 126.68 | - | - | Cued_3_2018 | 826.4 |
- | - | - | - | - | - | Cued_2_2018 | 843.44 |
GhostQ-PG_cegar(36.4) | |
PortfolioDepQBFGhostQRaReQSQute___pf(66.93) | |
Caqe-hqspre(126.68) | |
depqbf_prefix_opt_qdo(387.99) | |
Cued_3_2018(826.4) | |
Cued_2_2018(843.44) |