3 ms·
Are you reading on your phone? Portrait orientation may lose columns. On the page you referenced: — secs is elapsed seconds aka wall time aka wall clock — me
by igouy 2y ago
Are you reading on your phone? Portrait orientation may lose columns.
On the page you referenced:
— secs is elapsed seconds aka wall time aka wall clock
— mem is memory use
— gz is source code size
— cpu secs is cpu seconds
secs, mem, cpu secs as reported by BenchExec