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 is greater than a predetermined reference value, the design value being based on circuit information that includes various kinds of information indicating the performance or the attribute of a circuit that controls a computation process included in a state machine; and dividing, when the design value is greater than the reference value, the state machine into a plurality of state machines by distributing each of states held in the state machine into the plurality of state machines.