Delete TrigSolver.write.1.tlog