

 Function non_linear18

    line 2 / 8
    1 + max(x3, 0)
    O(n^1)
    line 9 / 11
    [37;31mFAILED[0m to compute Bound ( AbstractionFailed (code 4))

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