x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | xb-qsts_bqsts2.0 | 120.89 | - | - | GhostQ-PG_cegar | 470.18 |
- | - | xb-qsts_xbqsts2.0 | 133.67 | - | - | caqe_2017_v1 | 660.39 |
- | - | xb-qsts_xbqsts1.0 | 134.17 | - | - | ASPQ2 | 663.46 |
rareqs(42.36) | |
xb-qsts_bqsts2.0(120.89) | |
xb-qsts_xbqsts2.0(133.67) | |
xb-qsts_xbqsts1.0(134.17) | |
GhostQ-PG_cegar(470.18) | |
caqe_2017_v1(660.39) | |
ASPQ2(663.46) |