A polishing solution for metal films that comprises an oxidizing agent, a metal oxide solubilizer, a metal corrosion preventing agent, a water-soluble polymer and water, wherein the water-soluble polymer is a copolymer of acrylic acid and methacrylic acid, the copolymerization ratio of methacrylic acid in the copolymer being 1-20 mol % based on the total of acrylic acid and methacrylic acid. The resolver includes a disc-shaped resolver stator held on the motor casing and having a surface on which a thin-film-shaped coil is formed, and a disc-shaped resolver rotor provided on an end face of the motor rotor and having a surface on which a thin-film-shaped coil is formed. A user places a sale order including information associated with a product to be listed on a website, and a market price for the product is calculated based on the stored sale characteristics of the product. The method further includes generating a first test case based on data of the integrated circuit design contained within the rectangle.