1. A non-transitory computer-readable recording medium storing a state machine dividing program that causes a computer to execute a process comprising: determining whether a design value based on circuit information that indicates a circuit that controls a computation process by using a state machine is greater than a predetermined reference value; and dividing, when the design value is greater than the reference value, the state machine into a plurality of state machines.