Examples for the paper "Simulation Guided Contraction Analysis"