

 Function non_linear12

    line 20 / 22
    [37;31mFAILED[0m to compute Bound ( AbstractionFailed (code 4))
    line 4 / 18
    1 + max(x4, 0)
    O(n^1)

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