;;-*-mode:lisp;package:user-*-
(or (boundp '*benchmark-result-symbols*)
    (setq *benchmark-result-symbols* nil))
(or (memq '*S104-U1260-JUN29-E-BENCHMARK* *benchmark-result-symbols*)
    (push '*S104-U1260-JUN29-E-BENCHMARK* *benchmark-result-symbols*))


(DEFCONST *S104-U1260-JUN29-E-BENCHMARK-DIGEST* (QUOTE ((BOYER :DISK-WAIT-TIME (15.849999994) :REAL-TIME (40.59999996)) (BROWSE :DISK-WAIT-TIME (24.53299999) :REAL-TIME (50.09999996)) (CTAK :DISK-WAIT-TIME (0.0) :REAL-TIME (3.399999999)) (DDERIV :DISK-WAIT-TIME (9.816) :REAL-TIME (16.0)) (DERIV :DISK-WAIT-TIME (7.332999997) :REAL-TIME (12.7)) (DESTRU :DISK-WAIT-TIME (3.8) :REAL-TIME (7.4)) (DIV2 :DISK-WAIT-TIME (13.7 9.2) :REAL-TIME (17.0 14.2)) (FFT :DISK-WAIT-TIME (9.616 0.2) :REAL-TIME (38.89999998 12.599999994)) (FPRINT :DISK-WAIT-TIME (16.583) :REAL-TIME (24.6)) (FREAD :DISK-WAIT-TIME (2.0) :REAL-TIME (16.0)) (FRPOLY :DISK-WAIT-TIME (0.0065 0.01216 0.01033 0.075 0.15 0.1166 0.533 1.683 0.966 3.382999998 12.78299999 8.71599999) :REAL-TIME (0.015 0.023 0.02 0.1599999999 0.28 0.22 1.5 3.3 2.3 10.3 26.9 18.1)) (PUZZLE :DISK-WAIT-TIME (1.183) :REAL-TIME (24.69999999)) (STAK :DISK-WAIT-TIME (0.0) :REAL-TIME (5.299999997)) (TAK :DISK-WAIT-TIME (0.0) :REAL-TIME (1.199999999)) (TAKL :DISK-WAIT-TIME (0.083) :REAL-TIME (9.8)) (TAKR :DISK-WAIT-TIME (0.2659999998) :REAL-TIME (1.699999999)) (TPRINT :DISK-WAIT-TIME (0.8659999995) :REAL-TIME (7.0)) (TRAVERSE :DISK-WAIT-TIME (3.316 0.0) :REAL-TIME (21.0 116.29999995)) (TRIANG :DISK-WAIT-TIME (0.916) :REAL-TIME (427.4))))) 
(DEFCONST *S104-U1260-JUN29-E-BENCHMARK* (QUOTE ((BOYER-1 24.74999997) (BROWSE-1 25.56699997) (CTAK-1 3.399999999) (DDERIV-1 6.184) (DERIV-1 5.367000006) (DESTRU-1 3.599999998) (DIV2-1 3.299999997) (DIV2-2 5.0) (FFT-1 29.28399998) (FFT-2 12.39999999) (FPRINT-1 8.01699999) (FREAD-1 14.0) (FRPOLY-1 0.008499999996) (FRPOLY-2 0.01084) (FRPOLY-3 0.00967000001) (FRPOLY-4 0.0849999999) (FRPOLY-5 0.13) (FRPOLY-6 0.10339999996) (FRPOLY-7 0.967) (FRPOLY-8 1.617000001) (FRPOLY-9 1.334000001) (FRPOLY-10 6.917) (FRPOLY-11 14.11700001) (FRPOLY-12 9.384) (PUZZLE-1 23.51699999) (STAK-1 5.299999997) (TAK-1 1.199999999) (TAKL-1 9.717) (TAKR-1 1.433999999) (TPRINT-1 6.134) (TRAVERSE-1 17.684) (TRAVERSE-2 116.29999995) (TRIANG-1 426.4840002))))