Module ctfsolver.run