2 ms·[1] 12.54s < 11.14s ?by igouy 16y ago[1] 12.54s < 11.14s ?GregBuchholz 16y agoMy bad. I must have been confusing the SBCL time for the GCC time.