x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
Quabs_2018(0) | |
GhostQ_PG___plain_qcir_2018(2.04) | |
GhostQ_PG___cegar_qcir_2018(6.06) | |
Cqesto_2018(11.61) | |
Qute_hybrid(17.7) | |
quabs___caqe-bloqqer(25.05) | |
QFUN(30.31) | |
quabs___caqe-hqspre(138.27) | |
Qute_opt993(249.47) | |
Qute_opt617(254.64) |