Standard Out:
Termination proof found. Execution time: 0.050000 sec
Standard Err:
real 0m0.761s user 0m0.236s sys 0m0.060s