x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | caqe_2017_v1 | 27.43 | QELL_default | 38.79 |
- | - | - | - | GhostQ-PG_cegar | 28 | rareqs | 40.49 |
- | - | - | - | - | - | ghostq-cegar | 43.93 |
- | - | - | - | - | - | xb-qsts_bqsts2.0 | 63.94 |
- | - | - | - | - | - | caqe_2017_v2 | 69.26 |
- | - | - | - | - | - | rev_qfun0.1 | 69.26 |
- | - | - | - | - | - | caqe_2017_v3 | 69.52 |
- | - | - | - | - | - | xb-qsts_xbqsts2.0 | 105.83 |
- | - | - | - | - | - | xb-qsts_xbqsts1.0 | 106.09 |
- | - | - | - | - | - | QELL_unit | 149.64 |
GhostQ-PG_plain(3.33) | |
caqe_2017_v1(27.43) | |
GhostQ-PG_cegar(28) | |
QELL_default(38.79) | |
rareqs(40.49) | |
ghostq-cegar(43.93) | |
xb-qsts_bqsts2.0(63.94) | |
caqe_2017_v2(69.26) | |
rev_qfun0.1(69.26) | |
caqe_2017_v3(69.52) | |
xb-qsts_xbqsts2.0(105.83) | |
xb-qsts_xbqsts1.0(106.09) | |
QELL_unit(149.64) | |
qesto(681.31) |