x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | rareqs | 1.18 | ghostq-plain | 4.19 |
- | - | - | - | - | - | ghostq-cegar | 4.29 |
- | - | - | - | - | - | qestos | 5.15 |
AIGSolve(0.18) | |
rareqs(1.18) | |
ghostq-plain(4.19) | |
ghostq-cegar(4.29) | |
qestos(5.15) | |
depqbf-v2(103.71) | |
xb-qsts(576.27) | |
xb-bid-qsts(577.01) |