smaller

4 jobs for horner_kernel in 13 minutes and 3 seconds (queued for 1 second)