x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QuAbS_2017 | 10.87 | ghostq-cegar | 82.9 | ghostq-plain | 102.2 |
- | - | - | - | - | - | qfun0.1 | 136.32 |
- | - | - | - | - | - | Qute_opt993 | 330.85 |
- | - | - | - | - | - | Qute_hybrid | 862.42 |
cqesto(9.65) | |
QuAbS_2017(10.87) | |
ghostq-cegar(82.9) | |
ghostq-plain(102.2) | |
qfun0.1(136.32) | |
Qute_opt993(330.85) | |
Qute_hybrid(862.42) |