<% import json %> Result on ${benchmark.pretty_name}

Result on ${benchmark.pretty_name}

% for name, val in result['sysinfo']['main'].items(): % if val != "": % endif % endfor
Solvers (Click on a solver to hide it or double click to hide all the others)