

 Function non_linear14

    line 16 / 22
    [37;31mFAILED[0m to compute RF  ( RFComputationFailed)
    line 9 / 25
    1 + max(0, (x2 + -1)) + max(0, (4 - __VERIFIER_nondet_int_4))
    O(n^1)

Total Complexity: [37;31mFAILED[0m
