Standard Out:
Termination proof found.
Execution time: 1.850000 sec

Standard Err:

real	0m2.221s
user	0m2.044s
sys	0m0.068s