automation statistics – ProofJump Blog