Five necessary conditions for the so-called formal correctness of
solutions of kinetic equations are formulated, which form a mathematical model
of the reaction kinetics in HV circuit breakers after current zero for a given
time-dependence of temperature and a given time-dependence of pressure or
volume. The conditions are based on the mass action law, knowledge
obtained from mathematical analysis of a system of ordinary differential
equations, the principles of numerical analysis and the equilibrium-state
principle of thermodynamics. Concrete solutions of kinetic equations
are given and analysed for the products of SF6 dissociation and
ionization. Two models are considered. In one model, the temperature drops
from 10 000 to 2500 K, in the other it drops from 12 000 K to room
temperature. A comparison of the time-dependent composition with the
equilibrium composition is offered for both models.