Fichero .benchrc:
TEST_FILE = "titi" PROGRAM = "sort" FIRST = 40000 LAST = 60000 INC = 10000 TITLE = "SIZE" GRAIN = 1 TIMES = 3 OUTPUT_DEVICE = "/dev/null" COLUMNS = 3 GENERATE_INPUT = "generate_input" SUPPORT_FILE = "input.pl"