This is SBCL 2.0.2, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses.  See the CREDITS and COPYING files in the
distribution for more information.

("SBCL" "2.0.2") 
(BENCH-SUBSEQ "CONS") 
Evaluation took:
  1.256 seconds of real time
  1.260000 seconds of total run time (1.248000 user, 0.012000 system)
  [ Run times consist of 0.028 seconds GC time, and 1.232 seconds non-GC time. ]
  100.32% CPU
  4,513,098,219 processor cycles
  480,008,144 bytes consed
  

(BENCH-DISPLACED "CONS") 
Evaluation took:
  2.246 seconds of real time
  2.244000 seconds of total run time (2.240000 user, 0.004000 system)
  [ Run times consist of 0.024 seconds GC time, and 2.220 seconds non-GC time. ]
  99.91% CPU
  8,068,489,371 processor cycles
  1,279,982,032 bytes consed
  

(BENCH-SUBSEQ "FIND-SYMBOL") 
Evaluation took:
  1.516 seconds of real time
  1.516000 seconds of total run time (1.516000 user, 0.000000 system)
  [ Run times consist of 0.004 seconds GC time, and 1.512 seconds non-GC time. ]
  100.00% CPU
  5,445,535,455 processor cycles
  640,024,000 bytes consed
  

(BENCH-DISPLACED "FIND-SYMBOL") 
Evaluation took:
  2.542 seconds of real time
  2.544000 seconds of total run time (2.544000 user, 0.000000 system)
  [ Run times consist of 0.004 seconds GC time, and 2.540 seconds non-GC time. ]
  100.08% CPU
  9,130,101,050 processor cycles
  1,439,997,360 bytes consed
  

(BENCH-SUBSEQ "FIND-SYMBOL") 
Evaluation took:
  1.516 seconds of real time
  1.516000 seconds of total run time (1.512000 user, 0.004000 system)
  [ Run times consist of 0.004 seconds GC time, and 1.512 seconds non-GC time. ]
  100.00% CPU
  5,447,110,455 processor cycles
  639,991,184 bytes consed
  

(BENCH-DISPLACED "FIND-SYMBOL") 
Evaluation took:
  2.543 seconds of real time
  2.544000 seconds of total run time (2.536000 user, 0.008000 system)
  [ Run times consist of 0.024 seconds GC time, and 2.520 seconds non-GC time. ]
  100.04% CPU
  9,135,069,828 processor cycles
  1,439,997,280 bytes consed
  

(BENCH-SUBSEQ "LEAST-POSITIVE-SINGLE-FLOAT") 
Evaluation took:
  2.356 seconds of real time
  2.356000 seconds of total run time (2.356000 user, 0.000000 system)
  100.00% CPU
  8,463,329,961 processor cycles
  1,279,996,512 bytes consed
  

(BENCH-DISPLACED "LEAST-POSITIVE-SINGLE-FLOAT") 
Evaluation took:
  3.380 seconds of real time
  3.380000 seconds of total run time (3.380000 user, 0.000000 system)
  100.00% CPU
  12,139,694,568 processor cycles
  2,080,011,648 bytes consed