x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | rareqs | 7.4 | AIGSolve | 12.15 |
- | - | - | - | - | - | qestos | 31.53 |
- | - | - | - | - | - | ghostq-cegar | 69.77 |
qsts(0.85) | |
rareqs(7.4) | |
AIGSolve(12.15) | |
qestos(31.53) | |
ghostq-cegar(69.77) | |
iprover-QBF-bloqqer(88.4) | |
iprover-QBF(232.66) |