x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | rareqs | 1.76 |
- | - | - | - | - | - | ghostq-plain | 3.24 |
- | - | - | - | - | - | ghostq-cegar | 3.29 |
qsts(0.09) | |
rareqs(1.76) | |
ghostq-plain(3.24) | |
ghostq-cegar(3.29) | |
qesto(12.29) | |
caqe-minisat(18.6) | |
xb-qsts(19.61) | |
xb-bid-qsts(19.75) | |
caqe-picosat(20.42) | |
depqbf-v2(21.41) | |
hiqqer1(32.94) | |
hiqqer1ldsq(33.33) | |
depqbf-v3(65.62) | |
hiqqer3(127.16) | |
AIGSolve(167.36) |