| \n \n"):
fprintf(file, " | \n"):
fprintf(file, " Problem | \n"):
fprintf(file, " # | \n"):
fprintf(file, " Necklaces | \n"):
fprintf(file, " Iterations | \n"):
fprintf(file, " Time | \n"):
fprintf(file, " Computer | \n \n"):
for NAME in Data[flagMan] do
read(sprintf("%s/%s.data",directory,NAME)):
fixMachine():
###############################
Time :=(PreTime+GroebnerTime+RealTime):
TotalGHZ_Time:=TotalGHZ_Time + Time*SPEED[Machine]/1000:
###############################
fprintf(file, " ",directory,NAME):
fprintf(file, "Data | \n"):
fprintf(file, " %s | \n",ProblemString(Small)):
fprintf(file, " %d | \n",NumberOfSolutions):
fprintf(file, " %d | \n",nops(Necklaces)):
iterations:= sum(Table[1][ll],ll=1..nops(Table[1])):
fprintf(file, " %d | \n",iterations):
if Time <60 then
fprintf(file, " %3.2f sec. | \n",Time):
fi:
if Time >=60 and Time < 3600 then
fprintf(file, " %3.2f min. | \n",Time/60):
fi:
if Time >=3600 and Time < 3600*24 then
fprintf(file, " %3.2f hr. | \n",Time/3600):
fi:
if Time >=3600*24 then
fprintf(file, " %3.2f da. | \n",Time/3600/24):
fi:
fprintf(file, " %s | \n \n",Machine):
od:
fprintf(file, " \n |