add skipped devices to the --benchmark output