x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | Qute_hybrid | 22.83 | - | - | qfun0.1 | 247.06 |
- | - | Qute_opt993 | 22.84 | - | - | ghostq-cegar | 381.58 |
- | - | Qute_opt617 | 22.92 | - | - | ghostq-plain | 383.1 |
- | - | - | - | - | - | QuAbS_2017 | 611.26 |
cqesto(13.63) | |
Qute_hybrid(22.83) | |
Qute_opt993(22.84) | |
Qute_opt617(22.92) | |
qfun0.1(247.06) | |
ghostq-cegar(381.58) | |
ghostq-plain(383.1) | |
QuAbS_2017(611.26) |