;;-*-mode:lisp;package:user-*-
(or (boundp '*benchmark-result-symbols*)
    (setq *benchmark-result-symbols* nil))
(or (memq '*S1-U186-JUN29-TI-BENCHMARK* *benchmark-result-symbols*)
    (push '*S1-U186-JUN29-TI-BENCHMARK* *benchmark-result-symbols*))


(DEFCONST *S1-U186-JUN29-TI-BENCHMARK-DIGEST* (QUOTE ((BOYER :DISK-WAIT-TIME (4.224) :REAL-TIME (33.59999996)) (BROWSE :DISK-WAIT-TIME (13.075) :REAL-TIME (66.29999995)) (CTAK :DISK-WAIT-TIME (0.038) :REAL-TIME (3.899999999)) (DDERIV :DISK-WAIT-TIME (6.891999997) :REAL-TIME (19.6)) (DERIV :DISK-WAIT-TIME (3.653) :REAL-TIME (15.599999994)) (DESTRU :DISK-WAIT-TIME (1.683) :REAL-TIME (5.699999996)) (DIV2 :DISK-WAIT-TIME (3.344 3.138999999) :REAL-TIME (6.9 8.39999999)) (FFT :DISK-WAIT-TIME (1.166999999 0.0) :REAL-TIME (24.79999998 13.0)) (FPRINT :DISK-WAIT-TIME (12.31999999) :REAL-TIME (18.9)) (FREAD :DISK-WAIT-TIME (0.5019999994) :REAL-TIME (13.7)) (FRPOLY :DISK-WAIT-TIME (0.002 0.00125 8.5e-4 0.0 0.0156 0.0132 0.3649999998 0.6289999997 0.327 1.302999999 5.327 2.366) :REAL-TIME (0.011 0.016 0.016 0.1 0.1900000001 0.1799999999 1.5 3.0 2.2 8.89999999 22.6 12.5)) (PUZZLE :DISK-WAIT-TIME (1.358999999) :REAL-TIME (28.79999998)) (STAK :DISK-WAIT-TIME (0.129) :REAL-TIME (5.4)) (TAK :DISK-WAIT-TIME (0.0) :REAL-TIME (1.799999999)) (TAKL :DISK-WAIT-TIME (0.0) :REAL-TIME (17.5)) (TAKR :DISK-WAIT-TIME (0.2659999998) :REAL-TIME (2.099999998)) (TPRINT :DISK-WAIT-TIME (0.3789999997) :REAL-TIME (8.8)) (TRAVERSE :DISK-WAIT-TIME (1.771 0.1209999999) :REAL-TIME (22.29999998 139.5999999)) (TRIANG :DISK-WAIT-TIME (0.779) :REAL-TIME (452.9))))) 
(DEFCONST *S1-U186-JUN29-TI-BENCHMARK* (QUOTE ((BOYER-1 29.37599996) (BROWSE-1 53.22499996) (CTAK-1 3.861999998) (DDERIV-1 12.708) (DERIV-1 11.947) (DESTRU-1 4.016999997) (DIV2-1 3.555999998) (DIV2-2 5.260999992) (FFT-1 23.63299999) (FFT-2 13.0) (FPRINT-1 6.580000013) (FREAD-1 13.19800001) (FRPOLY-1 0.009) (FRPOLY-2 0.01475) (FRPOLY-3 0.01515000001) (FRPOLY-4 0.1) (FRPOLY-5 0.1744) (FRPOLY-6 0.1667999999) (FRPOLY-7 1.135) (FRPOLY-8 2.371) (FRPOLY-9 1.873) (FRPOLY-10 7.59699999) (FRPOLY-11 17.273) (FRPOLY-12 10.134) (PUZZLE-1 27.44099998) (STAK-1 5.270999998) (TAK-1 1.799999999) (TAKL-1 17.5) (TAKR-1 1.833999998) (TPRINT-1 8.421) (TRAVERSE-1 20.52899998) (TRAVERSE-2 139.4789999) (TRIANG-1 452.121))))