time measure
csv out for time
from promblem library (Galassi/Leardini generator) to problem lists in text files (#1)