#!/bin/sh
cd $HOME/pldi_work && \
echo "./current_tail profiled_sizes benchmark_list_spec_full_withboot" | at now && \
cd -