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


(DEFCONST *S102-U753-MAR14-UC-BENCHMARK-DIGEST* (QUOTE ((TRAVERSEU :DISK-WAIT-TIME (0.033 0.0) :REAL-TIME (10.89999999 50.2)) (BOYERU :DISK-WAIT-TIME (0.2) :REAL-TIME (0.2)) (BROWSEU :DISK-WAIT-TIME (4.6) :REAL-TIME (23.69999999)) (DERIVU :DISK-WAIT-TIME (0.083) :REAL-TIME (3.7)) (DESTRUU :DISK-WAIT-TIME (0.033) :REAL-TIME (2.5)) (DIV2U :DISK-WAIT-TIME (1.382999999 0.166) :REAL-TIME (4.199999996 2.8)) (FFTU :DISK-WAIT-TIME (0.2 0.1) :REAL-TIME (24.29999998 13.3)) (PUZZLEU :DISK-WAIT-TIME (0.6159999995) :REAL-TIME (18.79999998)) (STAKU :DISK-WAIT-TIME (0.016) :REAL-TIME (5.199999996)) (TAKU :DISK-WAIT-TIME (0.0) :REAL-TIME (0.0)) (TAKLU :DISK-WAIT-TIME (0.016) :REAL-TIME (5.0)) (TRIANGU :DISK-WAIT-TIME (0.066) :REAL-TIME (208.7)) (FRPOLYU :DISK-WAIT-TIME (0.05 0.1159999999 0.0 0.066 0.0 0.033 0.05 0.033 0.016 0.1329999999 0.55 0.233) :REAL-TIME (0.5 0.8999999994 0.8 0.5 1.1 0.8999999994 0.5999999996 1.6 1.1 4.0 14.89999999 7.9))))) 
(DEFCONST *S102-U753-MAR14-UC-BENCHMARK* (QUOTE ((TRAVERSEU-1 10.86699999) (TRAVERSEU-2 50.2) (BOYERU-1 0.0) (BROWSEU-1 19.1) (DERIVU-1 3.616999999) (DESTRUU-1 2.467) (DIV2U-1 2.816999996) (DIV2U-2 2.634000001) (FFTU-1 24.09999998) (FFTU-2 13.199999996) (PUZZLEU-1 18.18399999) (STAKU-1 5.183999997) (TAKU-1 0.0) (TAKLU-1 4.984) (TRIANGU-1 208.6340001) (FRPOLYU-1 0.45) (FRPOLYU-2 0.7839999995) (FRPOLYU-3 0.8) (FRPOLYU-4 0.434) (FRPOLYU-5 1.1) (FRPOLYU-6 0.8669999996) (FRPOLYU-7 0.55) (FRPOLYU-8 1.567) (FRPOLYU-9 1.084) (FRPOLYU-10 3.867) (FRPOLYU-11 14.349999994) (FRPOLYU-12 7.667))))