benchmark.html: dispay only first 20 problems (temporary)