x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | ghostq-plain | 35.27 |
- | - | - | - | - | - | ghostq-cegar | 37.06 |
qsts(0.45) | |
ghostq-plain(35.27) | |
ghostq-cegar(37.06) | |
rareqs(120.73) | |
xb-qsts(163.65) | |
xb-bid-qsts(226.41) | |
qesto(397.23) | |
caqe-picosat(473.52) |