x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | caqe_2017_v2 | 4.45 | Qute_default | 14.49 | Qute_opt500 | 41.36 |
- | - | GhostQ-PG_cegar | 4.87 | ghostq-cegar | 19.94 | Qute_random | 41.98 |
- | - | rev_qfun0.1 | 11.34 | - | - | - | - |
GhostQ-PG_plain(2.69) | |
caqe_2017_v2(4.45) | |
GhostQ-PG_cegar(4.87) | |
rev_qfun0.1(11.34) | |
Qute_default(14.49) | |
ghostq-cegar(19.94) | |
Qute_opt500(41.36) | |
Qute_random(41.98) |