x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | ghostq-plain | 6.95 |
- | - | - | - | - | - | ghostq-cegar | 7.3 |
qsts(0.15) | |
ghostq-plain(6.95) | |
ghostq-cegar(7.3) | |
rareqs(26.5) | |
qesto(73.47) | |
caqe-picosat(95.92) | |
aqua-s3o(121.17) | |
aqua-s2v(124.5) | |
aqua-f3v(127.61) | |
depqbf-v2(183.41) | |
xb-qsts(232.59) | |
xb-bid-qsts(234.22) | |
depqbf-v3(354.41) | |
AIGSolve(386.17) | |
hiqqer1(558.81) | |
hiqqer1ldsq(582.19) | |
hiqqer3(582.81) |