increase performance. add first order logic solver.split files.