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)
