;;-*-mode:lisp;package:user-*-
(or (boundp '*benchmark-result-symbols*)
    (setq *benchmark-result-symbols* nil))
(or (memq '*S110-U1383-FEB15-BENCHMARK* *benchmark-result-symbols*)
    (push '*S110-U1383-FEB15-BENCHMARK* *benchmark-result-symbols*))


(DEFCONST *S110-U1383-FEB15-BENCHMARK-DIGEST* (QUOTE ((BOYER :DISK-WAIT-TIME (6.284999996) :REAL-TIME (45.2)) (BROWSE :DISK-WAIT-TIME (5.831999995) :REAL-TIME (34.59999996)) (CTAK :DISK-WAIT-TIME (0.0) :REAL-TIME (4.0)) (DDERIV :DISK-WAIT-TIME (2.46) :REAL-TIME (14.39999999)) (DERIV :DISK-WAIT-TIME (0.11199999996) :REAL-TIME (11.2)) (DESTRU :DISK-WAIT-TIME (1.157) :REAL-TIME (4.799999997)) (DIV2 :DISK-WAIT-TIME (2.550999999 2.963) :REAL-TIME (7.9 13.2)) (FFT :DISK-WAIT-TIME (0.3739999998 0.07699999993) :REAL-TIME (35.7 14.7)) (FPRINT :DISK-WAIT-TIME (6.272) :REAL-TIME (24.19999999)) (FREAD :DISK-WAIT-TIME (0.443) :REAL-TIME (16.1)) (FRPOLY :DISK-WAIT-TIME (0.00202 0.00198 0.00217 0.0166 0.02079999998 0.04619999998 0.2509999997 0.1599999999 0.264 1.074999999 2.601 1.470999999) :REAL-TIME (0.011 0.013 0.014 0.11 0.1599999999 0.1799999999 1.299999999 2.0 1.699999999 8.39999999 19.0 11.7)) (PUZZLE :DISK-WAIT-TIME (0.2849999997) :REAL-TIME (23.5)) (STAK :DISK-WAIT-TIME (0.0) :REAL-TIME (6.4)) (TAK :DISK-WAIT-TIME (0.0) :REAL-TIME (1.4)) (TAKL :DISK-WAIT-TIME (0.0) :REAL-TIME (9.8)) (TAKR :DISK-WAIT-TIME (0.069) :REAL-TIME (1.699999999)) (TPRINT :DISK-WAIT-TIME (0.321) :REAL-TIME (9.3)) (TRAVERSE :DISK-WAIT-TIME (0.7859999994 0.0) :REAL-TIME (18.79999998 126.9)) (TRIANG :DISK-WAIT-TIME NIL :REAL-TIME NIL)))) 
(DEFCONST *S110-U1383-FEB15-BENCHMARK* (QUOTE ((BOYER-1 38.915) (BROWSE-1 28.76799998) (CTAK-1 4.0) (DDERIV-1 11.93999999) (DERIV-1 11.088) (DESTRU-1 3.642999997) (DIV2-1 5.349) (DIV2-2 10.237) (FFT-1 35.32599998) (FFT-2 14.623) (FPRINT-1 17.92799999) (FREAD-1 15.65699999) (FRPOLY-1 0.00898) (FRPOLY-2 0.01102) (FRPOLY-3 0.01183) (FRPOLY-4 0.0934) (FRPOLY-5 0.1392) (FRPOLY-6 0.1338) (FRPOLY-7 1.048999999) (FRPOLY-8 1.84) (FRPOLY-9 1.435999999) (FRPOLY-10 7.32499999) (FRPOLY-11 16.399) (FRPOLY-12 10.229) (PUZZLE-1 23.215) (STAK-1 6.4) (TAK-1 1.4) (TAKL-1 9.8) (TAKR-1 1.630999999) (TPRINT-1 8.978999995) (TRAVERSE-1 18.01399998) (TRAVERSE-2 126.9))))