x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | qestos | 50.92 |
- | - | - | - | - | - | ghostq-cegar | 63.83 |
- | - | - | - | - | - | iprover-QBF-bloqqer | 308.43 |
rareqs(3.65) | |
qestos(50.92) | |
ghostq-cegar(63.83) | |
iprover-QBF-bloqqer(308.43) |