x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QuAbS_2017 | 102.28 | - | - | Qute_hybrid | 569.33 |
- | - | qfun0.1 | 137.68 | - | - | ghostq-cegar | 743.49 |
Qute_opt993(42.14) | |
QuAbS_2017(102.28) | |
qfun0.1(137.68) | |
Qute_hybrid(569.33) | |
ghostq-cegar(743.49) |