#!/bin/sh
cd $HOME/pldi_work && \
./current_st profiled_sizes benchmark_list_spec_full_withboot_check
cat rawdata/current_check.out
cat rawdata/current_check.time
cd -