benchmark.html: remove failed tests by hand (for now)