File psl-1983/3-1/tests/simpler-time.sl from the latest check-in

(TESTSETUP)   % USE after each fresh start
(TIMEEVAL '(EMPTYTEST 10000))
(TIMEEVAL '(SLOWEMPTYTEST 10000))
(TIMEEVAL '(CDR1TEST 100))
(TIMEEVAL '(CDR2TEST 100))
(TIMEEVAL '(CDDRTEST 100))
(TIMEEVAL '(LISTONLYCDRTEST1))
(TIMEEVAL '(LISTONLYCDDRTEST1))
(TIMEEVAL '(LISTONLYCDRTEST2))
(TIMEEVAL '(LISTONLYCDDRTEST2))
(TIMEEVAL '(REVERSETEST 10))
(TIMEEVAL '(MYREVERSE1TEST 10))
(TIMEEVAL '(MYREVERSE2TEST 10))
(TIMEEVAL '(LENGTHTEST 100))
(TIMEEVAL '(ARITHMETICTEST 10000))
(TIMEEVAL '(EVALTEST 10000))
(TIMEEVAL '(TOPLEVELTAK 18 12 6))
(TIMEEVAL '(TOPLEVELGTAK 18 12 6))
(TIMEEVAL '(GTSTB 'G0))
(TIMEEVAL '(GTSTB 'G1))