def _process_results(self, sub_experiments_times): results_file_data = "Time: " + str(time.time()-self._time_of_start) + "\n" index = 0 for i in range(self._number_of_experiments_produced): work_time = sub_experiments_times[i] parameters_values = self._best_results[i][0] time_of_solving = self._best_results[i][1] if index == 0: results_file_data += "On defaults. Best time = " \ + str(time_of_solving) + ". Parameters values: " + str(parameters_values) + "\n" else: if time_of_solving is None: break results_file_data += "Iteration №" + str(index) + ". Summary time = " + str(work_time) + ". Best time = " \ + str(time_of_solving) + ". Parameters values: " + str(parameters_values) + "\n" index += 1 FileModule.create_file(self._reports_folder_path + 'RESULTS.txt', results_file_data)
def __process_results(results, timeout): # results contains tuples: (cnf_name, time_of_solving) results_file_data = 'Max time of solving: ' + str(timeout) + ' seconds\n' for parameters_values, time_of_solving in results: results_file_data += parameters_values + ': ' + str(time_of_solving) + '\n' print('\n'+results_file_data) FileModule.create_file(Config.Filepaths.RESULTS_FOLDER + '/RESULTS.txt', results_file_data)
def __save_solver_output_data(reports_folder_path, output_file_name, output_data): FileModule.create_file(reports_folder_path + output_file_name, output_data)