(ql:quickload :abcl-prove)

(time 
 (asdf:test-system :abcl-prove))