pareto verification data from benjamin