Big performance improvement for table-generator when reading column values from log files stored in ZIP archives. Opening the ZIP archive for every file is extremely slow, even much slower than when opening each log file directly on disk.
Big performance improvement for table-generator
when reading column values from log files stored in ZIP archives.
Opening the ZIP archive for every file is extremely slow,
even much slower than when opening each log file directly on disk.

dbeyer/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,IljaZakharov/benchexec,ultimate-pa/benchexec,IljaZakharov/benchexec,ultimate-pa/benchexec,martin-neuhaeusser/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,IljaZakharov/benchexec,sosy-lab/benchexec,IljaZakharov/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,martin-neuhaeusser/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,sosy-lab/benchexec,martin-neuhaeusser/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,martin-neuhaeusser/benchexec