Data of run-time between two versions (old and new) of Leon simplifier