Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

13 lines (11 sloc) 0.388 kb
;;; script for regenerating all problem files
;;; grep minutes make-prbs.log | sort -g -k7
;;; ls solutions/* | sed "s/solutions\/\(.*\)/\1/"
;;; sbcl < >& make-prbs.log &
(defvar t0 (get-internal-run-time))
(make-prbs '(s14 ))
;; time to do this is:
(format t "~F hours~%" (/ (- (get-internal-run-time) t0)
(* 3600 internal-time-units-per-second)))
Jump to Line
Something went wrong with that request. Please try again.