x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QuAbS_2017 | 6.95 | - | - | qfun0.1 | 57.07 |
- | - | - | - | - | - | ghostq-cegar | 66.55 |
- | - | - | - | - | - | ghostq-plain | 95.42 |
- | - | - | - | - | - | Qute_opt617 | 420.69 |
cqesto(4.8) | |
QuAbS_2017(6.95) | |
qfun0.1(57.07) | |
ghostq-cegar(66.55) | |
ghostq-plain(95.42) | |
Qute_opt617(420.69) | |
Qute_opt993(489.14) |