x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_default | 6.48 | GhostQ-PG_cegar | 15.2 | ghostq-cegar | 45.33 |
- | - | GhostQ-PG_plain | 14.51 | - | - | rev_qfun0.1 | 47.93 |
- | - | - | - | - | - | rareqs | 65.83 |
- | - | - | - | - | - | xb-qsts_bqsts2.0 | 74.26 |
- | - | - | - | - | - | caqe_2017_v1 | 97.56 |
- | - | - | - | - | - | Qute_default | 141.24 |
- | - | - | - | - | - | caqe_2017_v3 | 155.24 |
- | - | - | - | - | - | xb-qsts_xbqsts2.0 | 155.78 |
- | - | - | - | - | - | xb-qsts_xbqsts1.0 | 156.31 |
- | - | - | - | - | - | caqe_2017_v2 | 156.97 |
- | - | - | - | - | - | qesto | 272.43 |
QELL_unit(2.92) | |
QELL_default(6.48) | |
GhostQ-PG_plain(14.51) | |
GhostQ-PG_cegar(15.2) | |
ghostq-cegar(45.33) | |
rev_qfun0.1(47.93) | |
rareqs(65.83) | |
xb-qsts_bqsts2.0(74.26) | |
caqe_2017_v1(97.56) | |
Qute_default(141.24) | |
caqe_2017_v3(155.24) | |
xb-qsts_xbqsts2.0(155.78) | |
xb-qsts_xbqsts1.0(156.31) | |
caqe_2017_v2(156.97) | |
qesto(272.43) |