1 problem

Finite-termination conjecture. For $A\notin{\mathcal{CP}}^n$, Procedure with a suitable pivot rule in Step2(b) ends after finitely many iterations with a separating witness $W$.