defrac benchmark suite