#!/bin/bash

ourdir=$(dirname $0)

mlrs="mlr"
if [ $# -ge 1 ]; then
    mlrs="$@"
fi
#mlrs="mlr5 ./mlr"

#reps="1"
reps="1 2 3"

echo; for mlr in $mlrs; do for k in $reps; do $ourdir/time-big-file csv     $mlr; done; done
echo; for mlr in $mlrs; do for k in $reps; do $ourdir/time-big-file csvlite $mlr; done; done
echo; for mlr in $mlrs; do for k in $reps; do $ourdir/time-big-file dkvp    $mlr; done; done
echo; for mlr in $mlrs; do for k in $reps; do $ourdir/time-big-file nidx    $mlr; done; done
echo; for mlr in $mlrs; do for k in $reps; do $ourdir/time-big-file xtab    $mlr; done; done
echo; for mlr in $mlrs; do for k in $reps; do $ourdir/time-big-file json    $mlr; done; done

