Function gcdSolved

benchmarks/audit/wester.ts:389–389

(res: any)

  return { v: 'correct' };
}

console.error('Running CE (base) + CE+Rubi/Fungrim + SymPy + Wolfram over %d cases…', cases.length);
const sympyById = runSymPy();
const wolframById = runWolfram();