x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | hiqqer1 | 3.36 | qesto | 25.73 | AIGSolve | 50.44 |
- | - | xb-qsts | 4.37 | qsts | 31.8 | - | - |
- | - | xb-bid-qsts | 4.38 | - | - | - | - |
- | - | caqe-picosat | 4.39 | - | - | - | - |
- | - | hiqqer3 | 4.4 | - | - | - | - |
- | - | caqe-minisat | 4.44 | - | - | - | - |
- | - | depqbf-v2 | 6.21 | - | - | - | - |
- | - | rareqs | 7.87 | - | - | - | - |
hiqqer1ldsq(3.35) | |
hiqqer1(3.36) | |
xb-qsts(4.37) | |
xb-bid-qsts(4.38) | |
caqe-picosat(4.39) | |
hiqqer3(4.4) | |
caqe-minisat(4.44) | |
depqbf-v2(6.21) | |
rareqs(7.87) | |
qesto(25.73) | |
qsts(31.8) | |
AIGSolve(50.44) |