2006:30 Benchmarking – a validation of UTDefect