I am using pythonocc. I could successfully cut sphere and box. When I try same code with imported STL files, it does not perform cut. It does not give any error as well. Fude operation with same imported STL files work well.
The code and STL files are attached.