x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | qfun0.1 | 1.19 |
- | - | - | - | - | - | Qute_opt617 | 6.55 |
- | - | - | - | - | - | ghostq-cegar | 9.04 |
- | - | - | - | - | - | Qute_hybrid | 10.6 |
cqesto(0.11) | |
qfun0.1(1.19) | |
Qute_opt617(6.55) | |
ghostq-cegar(9.04) | |
Qute_hybrid(10.6) |