- if sres.(j).query_execution_time > s.query_execution_time
- then sres.(j) <- s;
- if (k==1) then
- sres.(j).memory_usage <- s.memory_usage;
+ sres.(j).query_execution_time <- s.query_execution_time;
+ sres.(j).query_compile_time <- s.query_compile_time;
+ if j == 1 then sres.(j).serialization_time <- s.serialization_time;
+ if k == 1 then sres.(j).memory_usage <- s.memory_usage;