Fast way to read integers from file in Python

read_ints_into_list_append.py

from datetime import datetime

import fileinput

start = datetime.now()
L = []
for line in fileinput.input():
    L.append(int(line))
print 'time to read 8000000 ints into list using append: ', datetime.now() - start

print L

read_ints_into_list_generator_map.py

from datetime import datetime

import fileinput

start = datetime.now()
A = map(int, [line for line in fileinput.input()])
print 'time to read 8000000 ints into list using generator and map: ', datetime.now() - start

print A

results.txt

time to read 8000000 ints into list using append:  0:00:10.719517
time to read 8000000 ints into list using append:  0:00:10.782932
time to read 8000000 ints into list using append:  0:00:10.777267

time to read 8000000 ints into list using generator and map:  0:00:09.966590
time to read 8000000 ints into list using generator and map:  0:00:09.888658
time to read 8000000 ints into list using generator and map:  0:00:09.799702