#!/bin/sh
for i in $*; do time boxer <$i.in.txt >$i.out.txt; done