x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | qsts | 3.47 | iprover-QBF-bloqqer | 18.69 | xb-qsts | 54.3 |
- | - | AIGSolve | 5.55 | iprover-QBF | 22.13 | - | - |
- | - | - | - | xb-bid-qsts | 24.83 | - | - |
rareqs(2.96) | |
qsts(3.47) | |
AIGSolve(5.55) | |
iprover-QBF-bloqqer(18.69) | |
iprover-QBF(22.13) | |
xb-bid-qsts(24.83) | |
xb-qsts(54.3) | |
caqe-picosat(330.97) | |
hiqqer3(418.03) |