Implementation of defrac benchmark