workflow, exhaustive, benchmark in aproximate