x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | rareqs | 4.87 |
- | - | - | - | - | - | ghostq-plain | 5.66 |
- | - | - | - | - | - | ghostq-cegar | 5.83 |
qsts(0.1) | |
rareqs(4.87) | |
ghostq-plain(5.66) | |
ghostq-cegar(5.83) | |
qesto(17.02) | |
caqe-picosat(25.8) | |
caqe-minisat(26.08) | |
xb-bid-qsts(29.54) | |
xb-qsts(29.6) | |
hiqqer1ldsq(48.09) | |
hiqqer1(48.34) | |
hiqqer3(75.64) | |
depqbf-v3(116.98) | |
AIGSolve(175.05) | |
depqbf-v2(186.71) |