;;-*-mode:lisp;package:user-*-
(or (boundp '*benchmark-result-symbols*)
    (setq *benchmark-result-symbols* nil))
(or (memq '*S102-U753-MAR14-C-BENCHMARK* *benchmark-result-symbols*)
    (push '*S102-U753-MAR14-C-BENCHMARK* *benchmark-result-symbols*))


(DEFCONST *S102-U753-MAR14-C-BENCHMARK-DIGEST* (QUOTE ((BOYER :DISK-WAIT-TIME (2.25) :REAL-TIME (29.5)) (BROWSE :DISK-WAIT-TIME (4.466) :REAL-TIME (31.9)) (CTAK :DISK-WAIT-TIME (0.0) :REAL-TIME (4.1)) (DDERIV :DISK-WAIT-TIME (0.3) :REAL-TIME (7.1)) (DERIV :DISK-WAIT-TIME (0.0) :REAL-TIME (6.1)) (DESTRU :DISK-WAIT-TIME (0.0) :REAL-TIME (3.8)) (DIV2 :DISK-WAIT-TIME (0.033 0.066) :REAL-TIME (3.7 5.5)) (FFT :DISK-WAIT-TIME (0.5 0.3) :REAL-TIME (26.8 15.5)) (FPRINT :DISK-WAIT-TIME (7.55) :REAL-TIME (22.2)) (FREAD :DISK-WAIT-TIME (0.733) :REAL-TIME (16.6)) (FRPOLY :DISK-WAIT-TIME (0.216 0.2 0.0 0.133 0.1 0.0 0.0 0.0 0.0 0.033 0.233 0.066) :REAL-TIME (1.1 1.6 1.2 1.1 1.7 1.4 1.1 2.2 1.6 7.7 18.4 11.3)) (PUZZLE :DISK-WAIT-TIME (0.3) :REAL-TIME (27.6)) (STAK :DISK-WAIT-TIME (0.0) :REAL-TIME (6.3)) (TAK :DISK-WAIT-TIME (0.0) :REAL-TIME (1.4)) (TAKL :DISK-WAIT-TIME (0.133) :REAL-TIME (10.8)) (TAKR :DISK-WAIT-TIME (0.2) :REAL-TIME (1.9)) (TPRINT :DISK-WAIT-TIME (0.5) :REAL-TIME (7.1)) (TRAVERSE :DISK-WAIT-TIME (0.166 0.1) :REAL-TIME (19.4 134.3)) (TRIANG :DISK-WAIT-TIME (0.066) :REAL-TIME (495.3))))) 
(DEFCONST *S102-U753-MAR14-C-BENCHMARK* (QUOTE ((BOYER-1 27.25) (BROWSE-1 27.43400002) (CTAK-1 4.1) (DDERIV-1 6.8) (DERIV-1 6.1) (DESTRU-1 3.8) (DIV2-1 3.667) (DIV2-2 5.434) (FFT-1 26.3) (FFT-2 15.2) (FPRINT-1 14.650000006) (FREAD-1 15.86699999) (FRPOLY-1 0.8839999996) (FRPOLY-2 1.399999999) (FRPOLY-3 1.2) (FRPOLY-4 0.9669999997) (FRPOLY-5 1.600000001) (FRPOLY-6 1.4) (FRPOLY-7 1.1) (FRPOLY-8 2.2) (FRPOLY-9 1.6) (FRPOLY-10 7.667) (FRPOLY-11 18.16700001) (FRPOLY-12 11.234) (PUZZLE-1 27.3) (STAK-1 6.3) (TAK-1 1.4) (TAKL-1 10.666999996) (TAKR-1 1.7) (TPRINT-1 6.6) (TRAVERSE-1 19.23400001) (TRAVERSE-2 134.1999999) (TRIANG-1 495.234))))