fork download
  1. (* your code goes here *)
  2. let ht = Sys.time () in
  3. let hl = [] in
  4.  
  5. for i = 1 to 10000000 do
  6. 10 :: 9 :: 8 :: 7 :: 6 :: 5 :: 4 :: 3 :: 2 :: 1 :: hl
  7. done;
  8. print_float (Sys.time () -. ht);
  9.  
  10.  
  11. let tt = Sys.time () in
  12. let tl = [] in
  13.  
  14. for i = 1 to 10000000 do
  15. tl @ [1] @ [2] @ [3] @ [4] @ [5] @ [6] @ [7] @ [8] @ [9] @ [10]
  16. done;
  17. print_float (Sys.time () -. tt)
Success #stdin #stdout 1.04s 4216KB
stdin
Standard input is empty
stdout
0.296018
0.760047