(flet ((run (name)
         (with-standard-io-syntax
           (format T "~&==== ~S ====~%" name))
         (funcall name)))
  (run 'paiprolog-zebra::zebra-benchmark)
  (run 'clog-zebra::zebra-benchmark)
  (run 'clog-zebra::zebra-benchmark/))