Cannot reproduce the results of symbol solver

[xufangzhi]

Hi,
I follow the instruction to reproduce the results:
cd symbolic_solver
python test.py --label final --strategy final
But the obtained result is 40.27%, instead of the result 71.88% (in pred_results).
Can you help me with it?