The top documents of in2sol