The top documents of irsem