x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | rareqs | 17.16 |
- | - | - | - | - | - | ASPQ2 | 28.2 |
- | - | - | - | - | - | caqe_2017_v1 | 55.24 |
- | - | - | - | - | - | CUED1919_NL | 82.27 |
- | - | - | - | - | - | CUED1919_NNL | 128.19 |
GhostQ-PG_cegar(1.39) | |
rareqs(17.16) | |
ASPQ2(28.2) | |
caqe_2017_v1(55.24) | |
CUED1919_NL(82.27) | |
CUED1919_NNL(128.19) | |
xb-qsts_xbqsts1.0(156.82) | |
xb-qsts_xbqsts2.0(156.91) | |
xb-qsts_bqsts2.0(157.24) | |
QELL_unit(181.27) | |
QELL_default(186.34) | |
caqe_2017_v2(197.1) | |
caqe_2017_v3(198.24) | |
qesto(255.57) | |
GhostQ-PG_plain(428.26) |