x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | Quabs_2018 | 5.94 | GhostQ___cegar_qcir_2019 | 25.96 | - | - |
- | - | QuAbS___quabs-caqe_2019 | 5.99 | - | - | - | - |
- | - | QFUN | 16.99 | - | - | - | - |
Cqesto_2018(3.8) | |
Quabs_2018(5.94) | |
QuAbS___quabs-caqe_2019(5.99) | |
QFUN(16.99) | |
GhostQ___cegar_qcir_2019(25.96) | |
quabs___caqe-hqspre(513.92) |