2003-11-26.15:46:02 [BUILD] del sumcol.se.exe
2003-11-26.15:46:02 [BUILD] copy sumcol.se sumcol.e
        1 file copiati.
2003-11-26.15:46:02 [BUILD] c:\elj-win32\SmallEiffel\bin\compile -boost -O3 -o sumcol.se.exe sumcol
2003-11-26.15:46:03 [BUILD] c:\elj-win32\SmallEiffel\bin\clean sumcol
2003-11-26.15:46:03 [BUILD] del sumcol.e
[RUN] sumcol.se.exe 100 -- OK
[RUN] sumcol.se.exe 100 -- OK
[RUN] sumcol.se.exe 100 -- OK
[RUN] sumcol.se.exe 400 -- OK
[RUN] sumcol.se.exe 400 -- OK
[RUN] sumcol.se.exe 400 -- OK
[RUN] sumcol.se.exe 700 -- OK
[RUN] sumcol.se.exe 700 -- OK
[RUN] sumcol.se.exe 700 -- OK
[RUN] sumcol.se.exe 1000 -- OK
[RUN] sumcol.se.exe 1000 -- OK
[RUN] sumcol.se.exe 1000 -- OK