.md5sum
file was
created using md5sum
. We may add additional links from time to
time.
make regression-fresh
" was timed on
the same Linux machine for ACL2 images built on top of various Lisp
implementations. We have been told that CMUCL may not do nearly this well
comparatively under Solaris.
Below, the first number, User time, is probably the most relevant for comparisons. The format (from the man page) is:
%Uuser %Ssystem %Eelapsed %PCPU (%Xtext+%Ddata %Mmax)k %Iinputs+%Ooutputs (%Fmajor+%Rminor)pagefaults %Wswaps
18213.250u 139.380s 5:07:47.02 99.3% 0+0k 0+0io 6155670pf+0w
18866.940u 117.530s 5:38:11.36 93.5% 0+0k 0+0io 5799483pf+0w
23767.270u 278.500s 6:57:26.76 96.0% 0+0k 0+0io 5896083pf+0w
31533.540u 145.660s 8:49:25.99 99.7% 0+0k 0+0io 6398693pf+0w
83600.470u 300.510s 23:36:13.99 98.7% 0+0k 0+0io 3242033pf+0w