benchmark.html: put solver name at the end of each bar