Standard Out:

Termination proof found.
Execution time: 24.170000 sec

Standard Err:


real	0m24.729s
user	0m24.386s
sys	0m0.088s