import time


def make_name(args):
    """
    Create name for output file
    - Names are distinct from different runs
    - Names are descriptive
    """
    domain = args.seedfile.split('/')[-2]
    name = 'result_' + domain + '_' + args.rank + '_search-' + str(args.search) + '_count-' + str(args.count) + '_' + str(time.time()) + '.csv'
    return name