x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | hiqqer1 | 19.39 | hiqqer3 | 46.6 | depqbf-v3 | 216.14 |
- | - | hiqqer1ldsq | 19.39 | - | - | - | - |
- | - | depqbf-v2 | 40.81 | - | - | - | - |
caqe-minisat(8.22) | |
hiqqer1(19.39) | |
hiqqer1ldsq(19.39) | |
depqbf-v2(40.81) | |
hiqqer3(46.6) | |
depqbf-v3(216.14) |