SPEC Benchmark CINT92 Summary

SPECint92 (Volume 5, Issue 2, June 1993)

Control Data Systems Inc.

4440 Infoserver

Results:

                           SPEC                      
                      Reference                      
       Benchmark name Time(Sec) Time(Sec) SPEC ratio 
       -------------- --------- --------- ---------- 
       008.espresso        2270      44.9       50.6 
       022.li              6210      99.5       62.4 
       023.eqntott         1100      19.0       57.9 
       026.compress        2770      73.1       37.9 
       072.sc              4530      99.6       45.5 
       085.gcc             5460     130.3       41.9 
       

Geometric Mean (SPECint92):  48.6


Hardware
Model Number:               4440-103
CPU:                        50 MHz R4000 SC
FPU:                        Integrated
Number of CPUs:             1
Primary Cache:              8KBI+8KBD on chip
Secondary Cache:            1MB(I+D) off chip
Other Cache:                None
Memory:                     64MB
Disk Subsystem:             535MB SCSI
Other Hardware:             None

Software
O/S & Version:              EP/IX 2.1.1
Compilers & Version:        C 3.11
                            
Other Software:             None
File System Type:           Berkeley FFS
System State:               Multi-user

Hardware Availability:      Apr-93
Software Availability:      Apr-93

License #:  9
Tested :    Apr-93
By:         CD
Of:         Arden Hills, MN

Tuning Parameters/Notes/Summary Of Changes:
Default options all runs except as noted below: -Olimit 2000 -bestGnum -non_shared
Optimization all runs except as noted below: -O3 -mips2
085.gcc option -Olimit  1200 -Dalloca=__builtin_alloca
072.sc options: -DSYSV3 -DSIGVOID