x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | ghostq-plain | 8.98 |
- | - | - | - | - | - | ghostq-cegar | 9.87 |
qsts(0.18) | |
ghostq-plain(8.98) | |
ghostq-cegar(9.87) | |
rareqs(20.35) | |
qesto(73.82) | |
caqe-picosat(95.86) | |
xb-bid-qsts(116.35) | |
xb-qsts(121.51) | |
caqe-minisat(131.16) | |
depqbf-v2(219.41) | |
hiqqer1(390.55) | |
hiqqer1ldsq(401.3) | |
AIGSolve(422.27) | |
depqbf-v3(438.04) | |
hiqqer3(571.87) |