Prototec maths has timed basic facts tests which mark themselves.