x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
QFUN | 0 | - | - | - | - | quabs___caqe-bloqqer | 0.67 |
- | - | - | - | - | - | quabs___caqe-hqspre | 0.81 |
QFUN(0) | |
Qute_opt617(0) | |
quabs___caqe-bloqqer(0.67) | |
quabs___caqe-hqspre(0.81) | |
Cqesto_2018(2.04) | |
Quabs_2018(3.25) | |
GhostQ_PG___cegar_qcir_2018(8.9) | |
Qute_hybrid(23.97) |