all: 
	date +"NOW: %Y-%m-%d %H:%M:%S" >>timelog
	./benchall.ss >>timelog
	rm -f z*.scm z*.tex