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