#!/bin/sh 

ABAC_PROVER_PATH=`which abac_prover_yap | sed 's/\/abac_prover_yap//'`
export ABAC_PROVER_PATH

echo '\n'
echo 'getting libabac SCALING times...'
.runall gettime