#!/bin/bash

cat log_mph log_bv log_bfs log_transform > log
rm log_*
cat timings_mph timings_bv timings_obl timings_bfs timings_transform timings_obl2 timings_stats > timings
rm timings_*