x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | rareqs | 5.34 |
- | - | - | - | - | - | ghostq-plain | 6.42 |
- | - | - | - | - | - | ghostq-cegar | 6.88 |
qsts(0.15) | |
rareqs(5.34) | |
ghostq-plain(6.42) | |
ghostq-cegar(6.88) | |
qesto(19.44) | |
hiqqer1(25.92) | |
hiqqer1ldsq(25.98) | |
caqe-minisat(27.13) | |
caqe-picosat(32.75) | |
xb-qsts(39.53) | |
xb-bid-qsts(39.57) | |
depqbf-v2(60.37) | |
AIGSolve(73.66) | |
hiqqer3(149.03) | |
depqbf-v3(290.8) |