MAYBE
* Step 1: TrivialSCCs MAYBE
    + Considered Problem:
        Rules:
          0. f12(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1) -> f12(A,C1,D1,E,E,G,G,A,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1)             [-2 + B1 >= 0                              (?,1)
                                                                                                                                                             && -4 + B + B1 >= 0                            
                                                                                                                                                             && -4 + B1 + S >= 0                            
                                                                                                                                                             && B1 + -1*S >= 0                              
                                                                                                                                                             && -4 + B1 + J >= 0                            
                                                                                                                                                             && -2 + B >= 0                                 
                                                                                                                                                             && -4 + B + S >= 0                             
                                                                                                                                                             && B + -1*S >= 0                               
                                                                                                                                                             && -4 + B + J >= 0                             
                                                                                                                                                             && 2 + -1*S >= 0                               
                                                                                                                                                             && J + -1*S >= 0                               
                                                                                                                                                             && -2 + S >= 0                                 
                                                                                                                                                             && -4 + J + S >= 0                             
                                                                                                                                                             && -2 + J >= 0                                 
                                                                                                                                                             && A >= 0                                      
                                                                                                                                                             && C1 >= 2]                                    
          1. f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1)  -> f1(A,B,C,D,E,F,G,H,I,1 + J,L,C1,L,D1,J,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1)          [-2 + I >= 0                               (?,1)
                                                                                                                                                             && -4 + I + S >= 0                             
                                                                                                                                                             && I + -1*S >= 0                               
                                                                                                                                                             && -4 + I + J >= 0                             
                                                                                                                                                             && I + -1*J >= 0                               
                                                                                                                                                             && 2 + -1*S >= 0                               
                                                                                                                                                             && J + -1*S >= 0                               
                                                                                                                                                             && -2 + S >= 0                                 
                                                                                                                                                             && -4 + J + S >= 0                             
                                                                                                                                                             && -2 + J >= 0                                 
                                                                                                                                                             && I >= 1 + J                                  
                                                                                                                                                             && J >= 0]                                     
          2. f8(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1)  -> f1(A,C1,C,D,E,F,G,H,C1,2,E1,F1,E1,N,O,D1,E1,G1,2,T,U,V,W,X,Y,Z,A1,B1)        [C1 >= 2]                                  (1,1)
          3. f8(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1)  -> f9(A,C1,0,D,0,F,G,H,N1,L1,O1,R1,Q1,N,O,M1,P1,R,S,D1,E1,F1,G1,K1,S1,T1,U1,B1) [0 >= H1 && 0 >= I1 && 0 >= C1 && 0 >= J1] (1,1)
          4. f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1)  -> f12(A,C1,D1,D,K,F,G,H,G1,F1,K1,N1,M1,N,O,P,L1,R,S,T,U,V,W,X,O1,P1,A1,E1)     [-2 + I >= 0                               (?,1)
                                                                                                                                                             && -4 + I + S >= 0                             
                                                                                                                                                             && I + -1*S >= 0                               
                                                                                                                                                             && -4 + I + J >= 0                             
                                                                                                                                                             && I + -1*J >= 0                               
                                                                                                                                                             && 2 + -1*S >= 0                               
                                                                                                                                                             && J + -1*S >= 0                               
                                                                                                                                                             && -2 + S >= 0                                 
                                                                                                                                                             && -4 + J + S >= 0                             
                                                                                                                                                             && -2 + J >= 0                                 
                                                                                                                                                             && J >= I                                      
                                                                                                                                                             && J >= 0                                      
                                                                                                                                                             && Q1 >= 2                                     
                                                                                                                                                             && F1 >= Q1                                    
                                                                                                                                                             && F1 >= 0                                     
                                                                                                                                                             && C1 >= 2                                     
                                                                                                                                                             && E1 >= C1]                                   
          5. f12(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1) -> f9(A,C1,0,D,0,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,D1,E1,F1,G1,K1,Y,L1,M1,B1)         [-2 + B1 >= 0                              (?,1)
                                                                                                                                                             && -4 + B + B1 >= 0                            
                                                                                                                                                             && -4 + B1 + S >= 0                            
                                                                                                                                                             && B1 + -1*S >= 0                              
                                                                                                                                                             && -4 + B1 + J >= 0                            
                                                                                                                                                             && -2 + B >= 0                                 
                                                                                                                                                             && -4 + B + S >= 0                             
                                                                                                                                                             && B + -1*S >= 0                               
                                                                                                                                                             && -4 + B + J >= 0                             
                                                                                                                                                             && 2 + -1*S >= 0                               
                                                                                                                                                             && J + -1*S >= 0                               
                                                                                                                                                             && -2 + S >= 0                                 
                                                                                                                                                             && -4 + J + S >= 0                             
                                                                                                                                                             && -2 + J >= 0                                 
                                                                                                                                                             && N1 >= 2                                     
                                                                                                                                                             && O1 >= 2                                     
                                                                                                                                                             && A >= 0                                      
                                                                                                                                                             && C1 >= 2                                     
                                                                                                                                                             && E = 0                                       
                                                                                                                                                             && C = 0]                                      
          6. f8(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1)  -> f9(A,1,K1,D,0,F,G,H,N1,L1,O1,R1,Q1,N,O,M1,P1,R,S,C1,D1,E1,F1,G1,S1,T1,U1,B1) [L = 0]                                    (1,1)
        Signature:
          {(f1,28);(f12,28);(f8,28);(f9,28)}
        Flow Graph:
          [0->{0,5},1->{1,4},2->{1,4},3->{},4->{0,5},5->{},6->{}]
        
    + Applied Processor:
        TrivialSCCs
    + Details:
        All trivial SCCs of the transition graph admit timebound 1.
* Step 2: Failure MAYBE
  + Considered Problem:
      Rules:
        0. f12(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1) -> f12(A,C1,D1,E,E,G,G,A,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1)             [-2 + B1 >= 0                              (?,1)
                                                                                                                                                           && -4 + B + B1 >= 0                            
                                                                                                                                                           && -4 + B1 + S >= 0                            
                                                                                                                                                           && B1 + -1*S >= 0                              
                                                                                                                                                           && -4 + B1 + J >= 0                            
                                                                                                                                                           && -2 + B >= 0                                 
                                                                                                                                                           && -4 + B + S >= 0                             
                                                                                                                                                           && B + -1*S >= 0                               
                                                                                                                                                           && -4 + B + J >= 0                             
                                                                                                                                                           && 2 + -1*S >= 0                               
                                                                                                                                                           && J + -1*S >= 0                               
                                                                                                                                                           && -2 + S >= 0                                 
                                                                                                                                                           && -4 + J + S >= 0                             
                                                                                                                                                           && -2 + J >= 0                                 
                                                                                                                                                           && A >= 0                                      
                                                                                                                                                           && C1 >= 2]                                    
        1. f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1)  -> f1(A,B,C,D,E,F,G,H,I,1 + J,L,C1,L,D1,J,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1)          [-2 + I >= 0                               (?,1)
                                                                                                                                                           && -4 + I + S >= 0                             
                                                                                                                                                           && I + -1*S >= 0                               
                                                                                                                                                           && -4 + I + J >= 0                             
                                                                                                                                                           && I + -1*J >= 0                               
                                                                                                                                                           && 2 + -1*S >= 0                               
                                                                                                                                                           && J + -1*S >= 0                               
                                                                                                                                                           && -2 + S >= 0                                 
                                                                                                                                                           && -4 + J + S >= 0                             
                                                                                                                                                           && -2 + J >= 0                                 
                                                                                                                                                           && I >= 1 + J                                  
                                                                                                                                                           && J >= 0]                                     
        2. f8(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1)  -> f1(A,C1,C,D,E,F,G,H,C1,2,E1,F1,E1,N,O,D1,E1,G1,2,T,U,V,W,X,Y,Z,A1,B1)        [C1 >= 2]                                  (1,1)
        3. f8(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1)  -> f9(A,C1,0,D,0,F,G,H,N1,L1,O1,R1,Q1,N,O,M1,P1,R,S,D1,E1,F1,G1,K1,S1,T1,U1,B1) [0 >= H1 && 0 >= I1 && 0 >= C1 && 0 >= J1] (1,1)
        4. f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1)  -> f12(A,C1,D1,D,K,F,G,H,G1,F1,K1,N1,M1,N,O,P,L1,R,S,T,U,V,W,X,O1,P1,A1,E1)     [-2 + I >= 0                               (1,1)
                                                                                                                                                           && -4 + I + S >= 0                             
                                                                                                                                                           && I + -1*S >= 0                               
                                                                                                                                                           && -4 + I + J >= 0                             
                                                                                                                                                           && I + -1*J >= 0                               
                                                                                                                                                           && 2 + -1*S >= 0                               
                                                                                                                                                           && J + -1*S >= 0                               
                                                                                                                                                           && -2 + S >= 0                                 
                                                                                                                                                           && -4 + J + S >= 0                             
                                                                                                                                                           && -2 + J >= 0                                 
                                                                                                                                                           && J >= I                                      
                                                                                                                                                           && J >= 0                                      
                                                                                                                                                           && Q1 >= 2                                     
                                                                                                                                                           && F1 >= Q1                                    
                                                                                                                                                           && F1 >= 0                                     
                                                                                                                                                           && C1 >= 2                                     
                                                                                                                                                           && E1 >= C1]                                   
        5. f12(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1) -> f9(A,C1,0,D,0,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,D1,E1,F1,G1,K1,Y,L1,M1,B1)         [-2 + B1 >= 0                              (1,1)
                                                                                                                                                           && -4 + B + B1 >= 0                            
                                                                                                                                                           && -4 + B1 + S >= 0                            
                                                                                                                                                           && B1 + -1*S >= 0                              
                                                                                                                                                           && -4 + B1 + J >= 0                            
                                                                                                                                                           && -2 + B >= 0                                 
                                                                                                                                                           && -4 + B + S >= 0                             
                                                                                                                                                           && B + -1*S >= 0                               
                                                                                                                                                           && -4 + B + J >= 0                             
                                                                                                                                                           && 2 + -1*S >= 0                               
                                                                                                                                                           && J + -1*S >= 0                               
                                                                                                                                                           && -2 + S >= 0                                 
                                                                                                                                                           && -4 + J + S >= 0                             
                                                                                                                                                           && -2 + J >= 0                                 
                                                                                                                                                           && N1 >= 2                                     
                                                                                                                                                           && O1 >= 2                                     
                                                                                                                                                           && A >= 0                                      
                                                                                                                                                           && C1 >= 2                                     
                                                                                                                                                           && E = 0                                       
                                                                                                                                                           && C = 0]                                      
        6. f8(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1)  -> f9(A,1,K1,D,0,F,G,H,N1,L1,O1,R1,Q1,N,O,M1,P1,R,S,C1,D1,E1,F1,G1,S1,T1,U1,B1) [L = 0]                                    (1,1)
      Signature:
        {(f1,28);(f12,28);(f8,28);(f9,28)}
      Flow Graph:
        [0->{0,5},1->{1,4},2->{1,4},3->{},4->{0,5},5->{},6->{}]
      
  + Applied Processor:
      Failing "Open problems left."
  + Details:
      Open problems left.
MAYBE