x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QuAbS___quabs-caqe_2019 | 5.38 | Cqesto_2018 | 29.5 | GhostQ___cegar_qcir_2019 | 53.91 |
- | - | GhostQ___plain_qcir_2019 | 15.5 | - | - | Qute_default | 62.14 |
- | - | - | - | - | - | QFUN | 89.67 |
Quabs_2018(5.37) | |
QuAbS___quabs-caqe_2019(5.38) | |
GhostQ___plain_qcir_2019(15.5) | |
Cqesto_2018(29.5) | |
GhostQ___cegar_qcir_2019(53.91) | |
Qute_default(62.14) | |
QFUN(89.67) |