x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | ghostq-cegar | 7.7 | xb-bid-qsts | 28.32 | rareqs-nn | 56.43 |
- | - | - | - | - | - | quabs-minisat | 137.42 |
xb-qsts(3.74) | |
ghostq-cegar(7.7) | |
xb-bid-qsts(28.32) | |
rareqs-nn(56.43) | |
quabs-minisat(137.42) | |
qsts(392.76) |