x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | dynQBF-bloqqer-hqspre | 10.48 | rev_qfun0.1 | 52.92 | ghostq-cegar | 105.25 |
- | - | AIGSolve | 16.63 | - | - | GhostQ-PG_cegar | 118.56 |
qbfrelay(8.92) | |
dynQBF-bloqqer-hqspre(10.48) | |
AIGSolve(16.63) | |
rev_qfun0.1(52.92) | |
ghostq-cegar(105.25) | |
GhostQ-PG_cegar(118.56) |