colored-poly-tests.lisp,0

cox-tests.lisp,222
(defun run 15,715
(defun test-1 18,814
(defun test-2 31,1169
(defun test-3 46,1657
(defun test-4 63,2350
(defun test-5 70,2571
(defun test-6 121,5866
(defun run-short-tests 129,6119
(defun run-long-tests 133,6204

grobner-tests.lisp,33
(defun run-grobner-test 25,1066

ratpoly-tests.lisp,0

tests.lisp,222
(defun run 14,649
(defun test-1 17,748
(defun test-2 30,1103
(defun test-3 45,1591
(defun test-4 62,2284
(defun test-5 69,2505
(defun test-6 120,5800
(defun run-short-tests 128,6053
(defun run-long-tests 132,6138