x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | dynQBF-bloqqer-hqspre | 7.85 | rev_qfun0.1 | 47.09 | GhostQ-PG_cegar | 71.77 |
- | - | AIGSolve | 13.28 | - | - | ghostq-cegar | 72.47 |
qbfrelay(6.74) | |
dynQBF-bloqqer-hqspre(7.85) | |
AIGSolve(13.28) | |
rev_qfun0.1(47.09) | |
GhostQ-PG_cegar(71.77) | |
ghostq-cegar(72.47) |