x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | ghostq-plain | 11.19 |
- | - | - | - | - | - | rareqs | 11.53 |
- | - | - | - | - | - | ghostq-cegar | 12.45 |
qsts(0.25) | |
ghostq-plain(11.19) | |
rareqs(11.53) | |
ghostq-cegar(12.45) | |
qesto(59.2) | |
xb-qsts(75.75) | |
xb-bid-qsts(76) | |
caqe-minisat(83.39) | |
caqe-picosat(87.72) | |
depqbf-v3(214.06) | |
AIGSolve(246.78) | |
hiqqer1(463.52) | |
hiqqer1ldsq(464.72) | |
depqbf-v2(480.01) |