Действительно, после подсчета зубьев и применения подсказанной Вадимом формулы получилось, что длина маятника должна составлять 16 см. С учетом длины подвеса на собственно маятник остаётся сантиметров 5.
Это меняет задачу по подбору маятника и корпуса...