Manticore Does Not Detect Any Issues in Smart Contract Analysis

[ngph2674]

I am using Manticore to analyze a dataset of Ethereum smart contracts (10 smart contracts), expecting it to detect vulnerabilities such as reentrancy, but global.findings remains empty, no vulnerable contracts were detected. However, another experiment using the same dataset reported that Manticore successfully detected vulnerabilities in 8 out of 10 contracts. I wonder whether my configuration is incorrect or if there are specific factors affecting Manticore’s analysis.
My setup: OS: Ubuntu 22.04 (x86_64)
Manticore version: 0.3.7
Z3 version 4.14.0 - 64 bit
I ran manticore with: manticore --smt.solver z3 path/to/smart/contract.sol
Execution completed, and ~/mcore_* folders were generated, global.findings files were always empty.

• but global.summary shows transactions were executed : Global runtime coverage:
  cb37f4304de8d1ca2df2474c6e3a00ab3e720462: 94.85%
  Known for globalsha3:
  b'00000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000'::a1b2b15e3a86c6a9b22b7d5bb222ecb64d09c89edcedda8dd5b2b2da0c41e073
• global.solver_stats shows timeout: 0
  unknown: 0
  z3: 125
  Anyone know what is wrong?