x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_unit | 0.7 | ijtihad_v1 | 3.19 | Qute_default | 11.39 |
- | - | - | - | heretiq | 3.22 | Qute_opt500 | 11.39 |
- | - | - | - | ijtihad_v2 | 3.23 | Qute_random | 11.42 |
- | - | - | - | rareqs | 3.34 | HQSpre_solver | 12.85 |
- | - | - | - | caqe_2017_v1 | 5.61 | rev_qfun0.1 | 14.44 |
- | - | - | - | - | - | ghostq-cegar | 15.26 |
- | - | - | - | - | - | GhostQ-PG_cegar | 16.66 |
- | - | - | - | - | - | xb-qsts_xbqsts2.0 | 37.02 |
- | - | - | - | - | - | xb-qsts_bqsts2.0 | 37.21 |
- | - | - | - | - | - | xb-qsts_xbqsts1.0 | 37.59 |
QELL_default(0.6) | |
QELL_unit(0.7) | |
ijtihad_v1(3.19) | |
heretiq(3.22) | |
ijtihad_v2(3.23) | |
rareqs(3.34) | |
caqe_2017_v1(5.61) | |
Qute_default(11.39) | |
Qute_opt500(11.39) | |
Qute_random(11.42) | |
HQSpre_solver(12.85) | |
rev_qfun0.1(14.44) | |
ghostq-cegar(15.26) | |
GhostQ-PG_cegar(16.66) | |
xb-qsts_xbqsts2.0(37.02) | |
xb-qsts_bqsts2.0(37.21) | |
xb-qsts_xbqsts1.0(37.59) | |
dynQBF-bloqqer-hqspre(76.02) | |
qbfrelay(197.39) | |
AIGSolve(828.75) |