x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | ghostq-plain | 3.39 |
- | - | - | - | - | - | ghostq-cegar | 3.5 |
qsts(0.04) | |
ghostq-plain(3.39) | |
ghostq-cegar(3.5) | |
rareqs(5.87) | |
depqbf-v2(5.91) | |
depqbf-v3(6.11) | |
qesto(9.69) | |
caqe-picosat(15.41) | |
caqe-minisat(17.07) | |
xb-bid-qsts(20.17) | |
xb-qsts(20.18) | |
aqua-s3o(31.24) | |
aqua-s2v(31.27) | |
aqua-f3v(31.32) | |
hiqqer1(74.91) | |
hiqqer1ldsq(75.13) | |
hiqqer3(140.43) | |
AIGSolve(149.62) | |
squeezebf+struqs(505.23) | |
struqs-10(521.66) |