DIMEBOX/GCL 2.6.6/ACL2 2.9.2 RESULTS

; 8-Bit Memory ===========================================================

Repeatedly timing 2550000 loads:

real time       :      0.230 secs
real time       :      0.270 secs
real time       :      0.250 secs
real time       :      0.230 secs
real time       :      0.240 secs
real time       :      0.240 secs
real time       :      0.240 secs
real time       :      0.230 secs
real time       :      0.240 secs
real time       :      0.240 secs

Total time:    2.41
Average time:  .241
Avg load/sec:  10,580,912 loads/second


Repeatedly timing 2550000 stores:

real time       :      1.240 secs
real time       :      1.160 secs
real time       :      1.210 secs
real time       :      1.130 secs
real time       :      1.130 secs
real time       :      1.130 secs
real time       :      1.130 secs
real time       :      1.140 secs
real time       :      2.630 secs
real time       :      1.320 secs

Total time:     13.22
Average time:   1.322
Avg store/sec:  1,928,895 stores/second


; 16-Bit Memory ==========================================================

Repeatedly timing 6553500 loads:

real time       :      1.550 secs
real time       :      1.390 secs
real time       :      1.370 secs
real time       :      1.360 secs
real time       :      1.450 secs
real time       :      1.370 secs
real time       :      1.310 secs
real time       :      1.390 secs
real time       :      1.390 secs
real time       :      1.380 secs

Total time:     13.96
Average time:   1.396
Avg store/sec:  4,694,484 stores/second


Repeatedly timing 6553500 stores:

real time       :     13.030 secs
real time       :     11.630 secs
real time       :     10.950 secs
real time       :     10.550 secs
real time       :     11.380 secs
real time       :     10.460 secs
real time       :     10.080 secs
real time       :     10.460 secs
real time       :     10.460 secs
real time       :     10.460 secs

Total time:     109.46s
Average time:   10.946
Avg store/sec:  598,711 stores/second




; 32-Bit Memory ==========================================================

Repeatedly timing 100000 loads:

real time       :      0.130 secs
real time       :      0.090 secs
real time       :      0.100 secs
real time       :      0.060 secs
real time       :      0.110 secs
real time       :      0.060 secs
real time       :      0.070 secs
real time       :      0.070 secs
real time       :      0.100 secs
real time       :      0.060 secs

Total time:    .85
Average time:  .085
Avg load/sec:  1,176,470 loads/second

Repeatedly timing 100000 stores:

real time       :      0.420 secs
real time       :      0.320 secs
real time       :      0.300 secs
real time       :      0.410 secs
real time       :      0.340 secs
real time       :      0.310 secs
real time       :      0.290 secs
real time       :      0.290 secs
real time       :      0.380 secs
real time       :      0.350 secs

Total time:    3.41
Average time:  .341
Avg store/sec: 293,255



; 64-Bit Memory ==========================================================

Times for 100,000 loads

real time       :      0.420 secs
real time       :      0.320 secs
real time       :      0.350 secs
real time       :      0.350 secs
real time       :      0.320 secs
real time       :      0.320 secs
real time       :      0.360 secs
real time       :      0.320 secs
real time       :      0.310 secs
real time       :      0.320 secs

Total time:    3.389
Average time:  0.338
Avg load/sec:  294,986 loads/second


Times for 100,000 stores

real time       :      0.880 secs
real time       :      0.900 secs
real time       :      2.010 secs
real time       :      0.850 secs
real time       :      0.760 secs
real time       :      0.770 secs
real time       :      0.770 secs
real time       :      0.760 secs
real time       :      0.750 secs
real time       :      0.780 secs

Total time:    9.229
Average time:  0.922
Avg store/sec: 108,459 stores/second







; DIMEBOX ALLEGRO / ACL2 2.9.2

Times for 100,000 loads

; real time  224 msec
; real time  224 msec
; real time  224 msec
; real time  226 msec
; real time  224 msec
; real time  230 msec
; real time  235 msec
; real time  223 msec
; real time  226 msec
; real time  222 msec

Total time:   2.285
Average time: .228
Avg load/sec: 437,636 loads/second


Times for 100,000 stores

; real time  2,596 msec
; real time  2,643 msec
; real time  783 msec
; real time  599 msec
; real time  550 msec
; real time  541 msec
; real time  537 msec
; real time  536 msec
; real time  534 msec
; real time  533 msec

Total time:   9.852
Average time: .985
Avg store/sec: 101,522 stores/second

