Error Parsing the Output

Exception

Traceback (most recent call last):

  File "./prover.py", line 154, in prover_aprove
    time = conv_timeline(err.readline())

  File "./prover.py", line 81, in conv_timeline
    line = line.strip().split("	")[1]

IndexError: list index out of range

Standard Out

YES

Standard Error