The problem is a stiff Differential Algebraic Equation of index 1,
consisting of 175 differential and 175 algebraic equations.
The problem originates from the analysis of two bit adding unit,
that computes the sum of two base-2 numbers (each two digits long)
and a carry bit.
A complete description of the problem could be found in
tba.pdf
