Module ctfsolver.test