demonstrate two examples from CPSA

Understand the output of CPSA and figure out "time"

Edited by joydeep