Part of that is good news (QLF loading is indeed somewhat faster), most is bad news: loading from source has become slower over the years. The is caused by source location propagation, making information about variables available to goal/term expansion and scanning for dict.key arguments. As QLF code is basically a set of VM instructions abstracted just enough to be machine independent, all this overhead is not associated with QLF files.