x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | ghostq-plain | 9.85 |
- | - | - | - | - | - | ghostq-cegar | 11.07 |
- | - | - | - | - | - | rareqs | 15.34 |
qsts(0.26) | |
ghostq-plain(9.85) | |
ghostq-cegar(11.07) | |
rareqs(15.34) | |
qesto(59.75) | |
caqe-picosat(82.04) | |
xb-qsts(104.53) | |
xb-bid-qsts(104.77) | |
caqe-minisat(137.64) | |
AIGSolve(284.32) |