x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | ghostq-plain | 3.16 |
- | - | - | - | - | - | ghostq-cegar | 3.36 |
qsts(0.06) | |
ghostq-plain(3.16) | |
ghostq-cegar(3.36) | |
depqbf-v3(24.83) | |
rareqs(28.47) | |
caqe-minisat(30.77) | |
qesto(31.41) | |
AIGSolve(33.33) | |
caqe-picosat(34.32) | |
xb-qsts(45.86) | |
xb-bid-qsts(46) | |
depqbf-v2(62.11) | |
hiqqer1(76.86) | |
hiqqer1ldsq(77) | |
hiqqer3(128.05) |