Standard Out:
Termination proof found. Execution time: 0.770000 sec
Standard Err:
real 0m1.202s user 0m0.968s sys 0m0.088s