Function emit

benchmarks/runners/run_ce_rubi.mjs:103–105

(tool, o)

];

function emit(tool, o) {
  process.stdout.write(JSON.stringify({ tool, packs: tool === 'ce-rubi', ...o }) + '\n');
}
function median(xs) {
  const s = [...xs].sort((a, b) => a - b);
  const m = Math.floor(s.length / 2);