debie WCET benchmarks added