+ sort of cnf_files, * elapsed time computing